AoU: ETAS_RTACAR_SM_OS_190
**************************

The ETAS_RTACAR_SM_OS 190 AoU requires that if the ``Disallow Upwards Activation`` optimization is enabled,
no task directly activates a higher priority task in any way.

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 ``Disallow Upwards Activation`` configuration options.

3. **Configuration Options Validation**: Checks that the ``Disallow Upwards Activation`` 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 ``Disallow Upwards Activation`` in the ECUC configuration but
   does **not yet implement full automated verification** of tasks directly activating higher priority tasks.

When the ``Disallow Upwards Activation`` 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 ``Disallow Upwards Activation`` 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:

- **Disallow Upwards Activation configuration options** ``Disallow Upwards Activation`` option Enabled/Disabled
- **Multiple Disallow Upwards Activation configuration options** to ensure configuration consistency


.. include:: ../rules/ETAS_RTACAR_SM_OS_190.rst

See Also
========

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