MFx Library (Mfx)

This routine makes an addition between the two arguments.

This routine makes a subtraction between the two arguments.

This routine computes the absolute value of a signed value.

This routine computes the absolute value of a difference between 2 values.

This routine makes a multiplication between the two arguments.

These routines make a division between the two arguments.

These routines make a division between the two arguments.

These routines make a multiplication between the two arguments and a division by the third argument.

These routines make a multiplication between the two arguments and a division by the third argument.

This routine makes a multiplication between the two arguments and applies a shift right defined by the third argument.

This routine applies a shift left defined by the third argument to the first argument, and then makes a division by the second argument.

This routine returns the remainder of the division x_value / y_value if y_value is not zero.

This routine limits the input value between Lower Bound and Upper Bound.

The routine limits a value to a minimum or a maximum that depends on the sign of the minmax_ value.

This routine returns the minimum between two values.

This routine returns the maximum between two values.

The routine converts a scaled 16-bit integer to a scaled 8-bit integer.

The routine converts a scaled 8-bit integer to a scaled 16-bit integer.

The routine converts a scaled 32-bit integer to a scaled 16-bit integer.

The routine converts a scaled 16-bit integer to a scaled 32-bit integer.

The routine multiplies two 16-bit integers with scaling factors set by input parameters.

The routine multiplies two 32-bit integers with scaling factors set by input parameters.

The routine divides two 16-bit integers with scaling factors set by input parameters.

The routine divides two 32-bit integers with scaling factors set by input parameters.

The routine adds two 16-bit integers with scaling factors set by input parameters.

The routine adds two 32-bit integers with scaling factors set by input parameters.

The routine subtracts two 16-bit integers with scaling factors set by input parameters.

The routine subtracts two 32-bit integers with scaling factors set by input parameters.

The routine subtracts and takes the absolute value of two 16-bit integers with scaling factors set by input parameters.

The routine takes the absolute value of a 16-bit integer with scaling factors set by input parameters.

The routine takes the absolute value of a 32-bit integer with scaling factors set by input parameters.

Returns the version information of this library.

Signum function. Extract the sign of an integer value.

The MFX module shall provide the following files: • C files, Mfx_<name>.c used to implement the library. All C files shall be prefixed with 'Mfx'.

This routine makes an addition between the two arguments: Return-value = x_value + y_value

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

Here is the list of implemented functions.

This routine makes a subtraction between the two arguments: Return-value = x_value - y_value

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

Here is the list of implemented functions.

This routine computes the absolute value of a signed value: Return-value = | x_value |

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

Here is the list of implemented functions.

This routine computes the absolute value of a difference between 2 values: Return-value = | x_value - y_value |

Return-value shall be saturated to boundary values in the event of overflow.

Here is the list of implemented functions.

This routine makes a multiplication between the two arguments: Return-value = x_value * y_value

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

Here is the list of implemented functions.

These routines make a division between the two arguments: Return-value = x_value / y_value

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

The result after division by zero is defined by: * If x_value  0 then the function returns the maximum value of the output type * If x_value < 0 then the function returns the minimum value of the output type

The result is rounded towards 0.

Here is the list of implemented functions.

These routines make a division between the two arguments: Return-value = x_value / y_value

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

The result after division by zero is defined by: * If x_value  0 then the function returns the maximum value of the output type * If x_value < 0 then the function returns the minimum value of the output type

The result is rounded off.

Here is the list of implemented functions.

These routines make a multiplication between the two arguments and a division by the third argument: Return-value = x_value * y_value / z_value

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

The result after division by zero is defined by: * If x_value*y_value  0 then the function returns the maximum value of the output type * If x_value*y_value < 0 then the function returns the minimum value of the output type

The result is rounded towards 0.

Here is the list of implemented functions.

These routines make a multiplication between the two arguments and a division by the third argument: Return-value = x_value * y_value / z_value

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

The result after division by zero is defined by: * If x_value*y_value  0 then the function returns the maximum value of the output type * If x_value*y_value < 0 then the function returns the minimum value of the output type

The result is rounded off.

Here is the list of implemented functions.

This routine makes a multiplication between the two arguments and applies a shift right defined by the third argument: Return-value = (x_value * y_value) >> shift

We precise that for the shift right of a negative number, we always keep the bit of sign.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

Here is the list of implemented functions.

This routine applies a shift left defined by the third argument to the first argument, and then makes a division by the second argument: Return-value = (x_value << shift) / y_value

We precise that for the shift left of a negative number, we always keep the bit of sign.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

The result after division by zero is defined by: * If x_value  0 then the function returns the maximum value of the output type * If x_value < 0 then the function returns the minimum value of the output type

Here is the list of implemented functions.

If y_value is zero, the result is zero.

In other cases, Return-value = x_value mod y_value

The sign of the remainder is the same than the sign of x_value.

Here is the list of implemented functions.

Return-value = min_value if value < min_value

Return-value = max_value if value > max_value

Return-value = value in the other cases

Here is the list of implemented functions.

minmax_value if minmax_value  0 and value > minmax_value

minmax_value if minmax_value < 0 and value < minmax_value

value in the other cases

Here is the list of implemented functions.

Return-value = x_value if x_value < y_value

Return-value = y_value in the other case

Return-value = x_value if x_value > y_value

Return-value = y_value in the other case

Here is the list of implemented functions.

The function returns the integer value of the fixed point conversion (C), determined by C = 2ˆ(c-a) * x.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point conversion (C), determined by C = 2ˆ(c-a) * x.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point conversion (C), determined by C = 2ˆ(c-a) * x.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point conversion (C), determined by C = 2ˆ(c-a) * x.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point multiplica- tion (C), determined by C = 2ˆ(c-b-a) * [x * y].

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point multiplica- tion (C), determined by C = 2ˆ(c-b-a) * [x * y].

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point quotient (C), determined by C = [2ˆ(c+b-a) * x] / y.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If the divisor, y, is zero, the result is defined by: * If x  0 then the function returns the maximum value of the output type * If x < 0 then the function returns the minimum value of the output type

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point quotient (C), determined by C = [2ˆ(c+b-a) * x] / y.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If the divisor, y, is zero, the result is defined by: * If x  0 then the function returns the maximum value of the output type * If x < 0 then the function returns the minimum value of the output type

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point sum (C), determined by a  b: C = 2ˆ(c-a) * [x + (y * 2ˆ(a-b))], a < b: C = 2ˆ(c-b) * [(x * 2ˆ(b-a)) + y].

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point sum (C), determined by a  b: C = 2ˆ(c-a) * [x + (y * 2ˆ(a-b))], a < b: C = 2ˆ(c-b) * [(x * 2ˆ(b-a)) + y]

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point difference (C), determined by a  b: C = 2ˆ(c-a) * [x - (y * 2ˆ(a-b))], a < b: C = 2ˆ(c-b) * [(x * 2ˆ(b-a)) - y]

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point difference (C), determined by a  b: C = 2ˆ(c-a) * [x - (y * 2ˆ(a-b))], a < b: C = 2ˆ(c-b) * [(x * 2ˆ(b-a)) - y].

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point absolute difference (C), determined by a  b: C = 2ˆ(c-a) * |x - (y * 2ˆ(a-b))|, a < b: C = 2ˆ(c-b) * |(x * 2ˆ(b-a)) - y|.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point absolute value (C), deter-mined by C = 2ˆ(c-a) * |x|.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

The function returns the integer value of the fixed point absolute value (C), deter-mined by C = 2ˆ(c-a) * |x|.

Return-value shall be saturated to boundary values in the event of negative or positive overflow.

If it is necessary to round the result of this equation, it is rounded toward zero.

Here is the list of implemented functions.

MFX library shall not require initialization phase. A Library func- tion may be called at the very first step of ECU initialization, e.g. even by the OS or EcuM, thus the library shall be ready.

MFX library shall not require a shutdown operation phase.

MFX API can be directly called from BSW modules or SWC. No port definition is required. It is a pure function call.

Using a library should be documented. if a BSW module or a SWC uses a Library, the developer should add an Implementation-DependencyOnAr- tifact in the BSW/SWC template. minVersion and maxVersion parameters correspond to the supplier version. In case of AUTOSAR library, these parameters may be left empty because a SWC or BSW module may rely on a library behaviour, not on a supplier implementation. However, the SWC or BSW modules shall be compatible with the AUTOSAR platform where they are integrated.

The MFX library shall be implemented in a way that the code can be shared among callers in different memory partitions.

Usage of macros should be avoided. The function should be de- clared as function or inline function. Macro #define should not be used.

A library function shall not call any BSW modules functions, e.g. the DET. A library function can call other library functions. Because a library function shall be re-entrant. But other BSW modules functions may not be re-entrant.

The library, written in C programming language, should conform to the MISRA C Standard. Please refer to SWS_BSW_00115 for more details.

Each AUTOSAR library Module implementation <library>*.c and <library>*.h shall map their code to memory sections using the AUTOSAR memory mapping mechanism.

Each AUTOSAR library Module implementation <library>*.c, that uses AUTOSAR integer data types and/or the standard return, shall include the header file Std_Types.h.

All AUTOSAR library Modules should use the AUTOSAR data types (integers, boolean) instead of native C data types, unless this library is clearly identified to be compliant only with a platform.

All AUTOSAR library Modules should avoid direct use of compiler and platform specific keyword, unless this library is clearly identified to be compliant only with a platform.

The standardized common published parameters as required by SRS_BSW_00402 in the SRS General on Basic Software Modules [chapter 3.1] shall be published within the header file of this module and need to be provided in the BSW Module De- scription. The according module abbreviation can be found in the List of Basic Software Modules [chapter 3.1] .

If source code for caller and callee of Mfx_ GetVersionInfo is avail- able, the Mfx library should realize Mfx_ GetVersionInfo as a macro defined in the module's header file.

The functions shall not call the DET for error notification .

The MFX library shall not have any configuration options that may affect the functional behavior of the routines. I.e. for a given set of input parameters, the outputs shall be always the same. For example, the returned value in case of error shall not be configurable.

Error detection: Function should check at runtime (both in pr o- duction and development code) the value of input parameters, especially cases where erroneous value can bring to fatal error or unpredictable result, if they have the va l ues allowed by the function specification. All the error cases shall be listed in SWS and the function should return a spec i fied value (in SWS) that is not configurable. This value is dependant of the function and the error case so it is determined case by case. If values passed to the routines are not valid and out o f the function specification, then such error are not detected. E.g. If passed value > 32 for a bit - position or a negative number of samples of an axis distribution is passed to a routine.

These requirements are not applicable to this specification.

Extract the sign of an integer value. It is defined as follows: Return-value = -1, if x_value < 0; 0, if x_value == 0; 1, if x_value > 0

Integral promotion has to be adhered to when implementing Mfx services. Thus, to obtain maximal precision, intermediate results shall not be limited.

Section 7.1 "Error Handling" of the document "General Specifica- tion of Basic Software Modules" describes the error handling of the Basic Software in detail. Above all, it constitutes a classification scheme consisting of five error types which may occur in BSW modules.