AUTOSAR FO RS HealthMonitoring
AUTOSAR FO RS HealthMonitoring
AUTOSAR FO R23-11
Requirements on Health
Document Title Monitoring
Document Owner AUTOSAR
Document Responsibility AUTOSAR
Document Identification No 878
• Editorial changes
• Update requirements for
AUTOSAR SystemHealthMonitoring
2021-11-25 R21-11 Release
Management • Add requirements for Mode Dependent
Configuration
• Move AP specific requirements to
AUTOSAR RS_PlatformHealthManagement
2020-11-30 R20-11 Release
Management • Add requirements for
SystemHealthMonitoring
AUTOSAR • Editorial changes
2019-11-28 R19-11 Release • Changed Document Status from Final to
Management published
AUTOSAR
2019-03-29 1.5.1 Release • Editorial changes
Management
5
4
AUTOSAR
2018-10-31 1.5.0 Release • Editorial changes
Management
AUTOSAR
2018-03-29 1.4.0 Release • Editorial changes
Management
AUTOSAR
2017-12-08 1.3.0 Release • No content changes
Management
AUTOSAR
2017-10-27 1.2.0 Release • Initial Release
Management
Disclaimer
This work (specification and/or software implementation) and the material contained in
it, as released by AUTOSAR, is for the purpose of information only. AUTOSAR and the
companies that have contributed to it shall not be liable for any use of the work.
The material contained in this work is protected by copyright and other types of intel-
lectual property rights. The commercial exploitation of the material contained in this
work requires a license to such intellectual property rights.
This work may be utilized or reproduced without any modification, in any form or by
any means, for informational purposes only. For any other purpose, no part of the work
may be utilized or reproduced, in any form or by any means, without permission in
writing from the publisher.
The work has been developed for automotive applications only. It has neither been
developed, nor tested for non-automotive applications.
The word AUTOSAR and the AUTOSAR logo are registered trademarks.
Contents
1 Scope of this document 5
4 Functional overview 10
5 Requirements traceability 11
6 Requirements specification 13
6.1 Functional requirements . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
6.1.1 Supervision functions . . . . . . . . . . . . . . . . . . . . . . . 13
6.1.2 Interface to Supervised Entities . . . . . . . . . . . . . . . . . 14
6.1.3 Features related to supervision functions . . . . . . . . . . . . 15
6.1.4 Features related to support for watchdogs . . . . . . . . . . . . 17
6.1.5 Supported error handling mechanisms . . . . . . . . . . . . . 20
6.1.6 Features related to System Health Monitoring . . . . . . . . . 22
6.2 Non functional requirements . . . . . . . . . . . . . . . . . . . . . . . . . 26
7 References 27
Acronym: Description:
Deadline Supervision Mechanism to check that the timing constraints for execution of
the transition from a Deadline Start Checkpoint to a cor-
responding Deadline End Checkpoint are within the config-
ured min and max limits.
Elementary Supervision Status Status that represents the current state of an Alive Supervi-
sion, Deadline Supervision or Logical Supervision,
based on the evaluation (correct/incorrect) of the supervision.
Expired Supervision Cycle A Supervision Cycle where the Alive Supervision has failed
its two escalation steps (Alive Counter fails the expected amount
of Alive Indications (including tolerances) more often than the al-
lowed amount of failed reference cycles).
Failed Supervision Reference A Supervision Reference Cycle that ends with a detected devi-
Cycle ation (including tolerances) between the Alive Counter and the
expected amount of Alive Indications.
Health Channel Supervision Kind of supervision that checks if the health indicators registered
by the supervised software are within the tolerances/limits.
Health Monitoring Supervision of the software behaviour for correct timing and se-
quence.
Health Status A set of states that are relevant to the supervised software (e.g.
the Global Supervision Status of an application, a Voltage State,
an application state, the result of a RAM monitoring algorithm).
Logical Supervision Kind of online supervision of software that checks if the soft-
ware (Supervised Entity or set of Supervised Entities) is executed
in the sequence defined by the programmer (by the developed
code).
Local Supervision Status Status that represents the current result of Alive Supervision,
Deadline Supervision and Logical Supervision of a single Super-
vised Entity.
Supervised Entity Identifier An Identifier that identifies uniquely a Supervised Entity within an
Application.
Supervision Cycle The time period in which the cyclic Alive Supervision is per-
formed.
Local Health Monitor Local Health Monitor gathers health information of the platform
on which it is deployed.
4 Functional overview
The Health Monitoring is intended to supervise the execution of supervised entities with
respect to timing constraints (alive and deadline supervision) and with respect to the
required sequence of execution (logical supervision) and with respect to their health
(health supervision).
The Health Monitoring can be performed on supervised entities, which can be any
software components or groups of software components or Adaptive Applications.
The supervision results, as well as the output of other monitors (e. g. Voltage monitor)
can be used to create HealthIndicators, which give an overall health status for features
or subsystems.
The following features are provided by the Health Monitoring:
1. Supervision of multiple individual supervised entities located on the microproces-
sor or virtual machine, having independent supervision constraints.
2. Support for parallel and concurrent execution of supervised entities and for mul-
tiple instantiation.
3. Support for different modes of operation, with different behavior of software com-
ponents depending on mode.
4. Support for multiple hardware watchdogs.
5. Support for several error handling mechanisms.
5 Requirements traceability
The following table references the features specified in [6] and links to the fulfillments
of these.
Requirement Description Satisfied by
[RS_Main_00001] Real-Time System Software Platform [RS_HM_09028] [RS_HM_09125] [RS_HM_09159]
[RS_HM_09163] [RS_HM_09169] [RS_HM_09222]
[RS_HM_09226] [RS_HM_09235] [RS_HM_09237]
[RS_HM_09242] [RS_HM_09243] [RS_HM_09244]
[RS_HM_09245] [RS_HM_09246] [RS_HM_09247]
[RS_HM_09248] [RS_HM_09249] [RS_HM_09253]
[RS_HM_09254] [RS_HM_09257]
[RS_Main_00010] Safety Mechanisms [RS_HM_09028] [RS_HM_09125] [RS_HM_09159]
[RS_HM_09163] [RS_HM_09169] [RS_HM_09222]
[RS_HM_09226] [RS_HM_09235] [RS_HM_09237]
[RS_HM_09242] [RS_HM_09243] [RS_HM_09244]
[RS_HM_09245] [RS_HM_09246] [RS_HM_09247]
[RS_HM_09248] [RS_HM_09249] [RS_HM_09253]
[RS_HM_09254] [RS_HM_09257] [RS_HM_09304]
[RS_HM_09305]
[RS_Main_00011] Mechanisms for Reliable Systems [RS_HM_09028] [RS_HM_09125] [RS_HM_09159]
[RS_HM_09163] [RS_HM_09169] [RS_HM_09222]
[RS_HM_09226] [RS_HM_09235] [RS_HM_09237]
[RS_HM_09242] [RS_HM_09243] [RS_HM_09244]
[RS_HM_09245] [RS_HM_09246] [RS_HM_09247]
[RS_HM_09248] [RS_HM_09249] [RS_HM_09253]
[RS_HM_09254] [RS_HM_09257] [RS_HM_09302]
[RS_HM_09308] [RS_HM_09309] [RS_HM_09310]
[RS_Main_00190] Non-AUTOSAR Software Integration [RS_HM_09306] [RS_HM_09307]
[RS_Main_00280] Standardized Automotive [RS_HM_09300] [RS_HM_09301]
Communication Protocols
[RS_Main_00340] AUTOSAR shall support the [RS_HM_09028] [RS_HM_09125] [RS_HM_09159]
continuous timing requirement [RS_HM_09163] [RS_HM_09169] [RS_HM_09222]
analysis [RS_HM_09226] [RS_HM_09235] [RS_HM_09237]
[RS_HM_09242] [RS_HM_09243] [RS_HM_09244]
[RS_HM_09245] [RS_HM_09246] [RS_HM_09247]
[RS_HM_09248] [RS_HM_09249] [RS_HM_09253]
[RS_HM_09254] [RS_HM_09257]
[RS_Main_00435] AUTOSAR shall support automotive [RS_HM_09028] [RS_HM_09169] [RS_HM_09226]
microcontrollers [RS_HM_09244] [RS_HM_09245] [RS_HM_09246]
[RS_HM_09247] [RS_HM_09248]
[RS_Main_00460] AUTOSAR shall standardize methods [RS_HM_09304]
to organize mode management on
Application, ECU and System level
[RS_Main_00653] Means for Functional Modeling [RS_HM_09303]
[RS_SAF_10005] AUTOSAR shall provide mechanisms [RS_HM_09222]
to support safe shutdown and
termination of applications, software
components, basic software modules
and services.
[RS_SAF_10006] AUTOSAR shall provide mechanisms [RS_HM_09222]
to support safe transition of states in
a basic software module, software
component, application or service life
cycle.
[RS_SAF_10030] AUTOSAR shall provide mechanisms [RS_HM_09222]
to support safe program execution.
5
4
Requirement Description Satisfied by
[RS_SAF_10031] AUTOSAR shall provide mechanisms [RS_HM_09125] [RS_HM_09235]
to detect program execution time
violation
Table 5.1: RequirementsTracing
6 Requirements specification
Health Monitoring shall check if the elapsed time between two Checkpoints is
Description: within the specified min and max limits, including the detection if the second
Checkpoint never arrives.
Rationale: To detect timeouts or loss of deadlines.
Dependencies: –
AppliesTo: CP, AP
A safety critical application is developed to reach specific checkpoints in a
Use Case: defined time window and is suddenly not behaving as intended. PHM detects
the violation.
Supporting –
Material:
4
In "init" mode, the function init() is supervised with its Checkpoints related to the
"init" mode. In "run" mode, the run() function is supervised with its Checkpoints
Use Case:
related to the "run" mode.In AP, Supervision Modes are derived from Function
Group States.
Supporting –
Material:
Health Monitoring shall support the supervision (logical, alive and deadline)
Description:
within one Supervised Entity and across different Supervised Entities.
An application can contain multiple Supervised Entities from which the Global
Rationale:
Supervision Status is calculated
Dependencies: –
AppliesTo: CP, AP
Activity chains across several activities, where different activities belong to one
Use Case:
or to different processes.
Supporting –
Material:
Description: Health Monitoring shall provide configurable tolerances for detected errors.
Rationale: In case of Alive Supervision, a single failure need not trigger error reaction.
Dependencies: –
AppliesTo: CP, AP
Use Case: –
Supporting –
Material:
Health Monitoring shall support simple timeout watchdogs, i.e. watchdogs that
Description:
require that specific value(s) are written within a defined timeout.
Such hardware watchdogs are broadly available. Moreover, systems exist that
Rationale: apply several watchdogs as a redundancy measure (with a simple timeout
watchdog and a complex question-answer watchdog).
Dependencies: –
AppliesTo: CP, AP
Use Case: –
Supporting –
Material:
Health Monitoring shall support window watchdogs, i.e. where the watchdog
Description:
requires a correct value to be written within a defined min/max time window.
Rationale: Window watchdogs are broadly used in automotive systems.
Dependencies: –
AppliesTo: CP, AP
Use Case: System using a window watchdog
Supporting –
Material:
4
Supporting –
Material:
4
Dependencies: –
AppliesTo: CP, AP
Typical error reaction provided by hardware watchdogs is a quick reset of the
microprocessor. A typical wrong triggering of watchdogs includes:
• Immediate generation of a answer to a question (in case of a
question-answer watchdog)
Use Case:
• Immediate generation of a wrong trigger/notification to the watchdog (timeout
watchdog and window watchdog)
• Generation of no answer (timeout watchdog and window watchdog)
Supporting –
Material:
c(RS_Main_00280)
c(RS_Main_00280)
4
Dependencies: –
AppliesTo: FO, CP, AP
Unreliable transmission of health information could trigger unnecessary
Use Case: degradation strategies.
Supporting
Material:
c(RS_Main_00011)
c(RS_Main_00011)
Description: Cyclic exchange between local health monitors and SHM is necessary for
aliveness determination
It is important to detect a failed platform or SHM instance. If communication is
configured with fixed cycle times, a failed sender can be detected on the
Rationale: receiver side by using the regularly exchanged health information as a
heartbeat signal.
Dependencies: –
AppliesTo: FO, CP, AP
Use Case:
Supporting
Material:
c(RS_Main_00011)
c(RS_Main_00011)
c(RS_Main_00653)
c(RS_Main_00010, RS_Main_00460)
c(RS_Main_00010)
c(RS_Main_00190)
c(RS_Main_00190)
7 References
none
none
none
none
none
none
none
Number Heading
[RS_HM_09125] Health Monitoring shall provide an Alive Supervision
[RS_HM_09169] Health Monitoring shall be able to trigger microcontroller reset.
[RS_HM_09222] Health Monitoring shall provide a Logical Supervision
[RS_HM_09226] Health Monitoring shall be able to wrongly trigger the serviced watchdogs.
[RS_HM_09235] Health Monitoring shall provide a Deadline Supervision
[RS_HM_09249] Health Monitoring shall support building safety-related systems.
System Health Monitor shall transmit Health Indicators as standardized
[RS_HM_09300]
service events
[RS_HM_09303] SHM shall be platform agnostic
Table A.1: Changed Requirements in R22-11
none
none
none
none