AoU: ETAS_RTACAR_SM_OS_191
**************************

The ETAS_RTACAR_SM_OS 191 AoU requires that if the ``Fast Terminate`` optimization is configured in the generated-OS,
you must ensure that all the tasks in the application do only terminate inside their entry function.

Verification Approach
=====================

The verification is performed by analyzing the OS ECUC configuration files (ARXML) provided via the
``--os-arxml`` parameter or discovered in the project directory specified by ``--dir``.

The tool performs the following steps:

1. **Configuration Loading**: Parses the ARXML files to extract the OS ECUC configuration.

2. **Configuration Options Detection**: Identifies ``Fast Terminate`` configuration options.

3. **Configuration Options Validation**: Checks that the ``Fast Terminate`` value is consistent
   across all configuration files. When multiple entries are present and incompatible values are detected,
   manual verification is required.

4. **Result Reporting**: Generates a result based on the analysis outcome.


.. important:: Automated Verification Scope

   The current implementation **detects** the presence of ``Fast Terminate`` in the ECUC configuration but
   does **not yet implement full automated verification** of tasks termination inside their entry function.

When the ``Fast Terminate`` option is **disabled** (the default value is assumed when it is not explicitly set
in the ECUC ARXML configuration), the tool reports a **pass** result, indicating that the AoU is trivially satisfied.

When an enabled ``Fast Terminate`` option is detected, the tool reports a **review** result, requiring manual verification
to confirm compliance with the complete AoU requirement.


ARXML Configuration Requirements
================================

To enable this check, the OS ECUC configuration must be provided in AUTOSAR ARXML format. The tool
analyzes:

- **Fast Terminate configuration options** ``Fast Terminate`` option Enabled/Disabled
- **Multiple Fast Terminate configuration options** to ensure configuration consistency


.. include:: ../rules/ETAS_RTACAR_SM_OS_191.rst

See Also
=========

- :ref:`os_command_options` for information on providing ARXML files via ``--os-arxml`` or ``--dir``