Early timing analysis based on scenario requirements and platform models
Journal article, 2022

Distributed, software-intensive systems (e.g., in the automotive sector) must fulfill communication requirements under hard real-time constraints. The requirements have to be documented and validated carefully using a systematic requirements engineering (RE) approach, for example, by applying scenario-based requirements notations. The resources of the execution platforms and their properties (e.g., CPU frequency or bus throughput) induce effects on the timing behavior, which may lead to violations of the real-time requirements. Nowadays, the platform properties and their induced timing effects are verified against the real-time requirements by means of timing analysis techniques mostly implemented in commercial-off-the-shelf tools. However, such timing analyses are conducted in late development phases since they rely on artifacts produced during these phases (e.g., the platform-specific code). In order to enable early timing analyses already during RE, we extend a scenario-based requirements notation with allocation means to platform models and define operational semantics for the purpose of simulation-based, platform-aware timing analyses. We illustrate and evaluate the approach with an automotive software-intensive system.

Scenario-based requirements

Platform modeling

Timing analysis

Real-time systems

Author

Jörg Holtmann

University of Gothenburg

J. Deantoni

CNRS

Markus Fockel

Fraunhofer Institute for Mechatronic Systems Design IEM

Software and Systems Modeling

1619-1366 (ISSN) 1619-1374 (eISSN)

Vol. 21 6 2171-2211

Subject Categories

Computer Engineering

Embedded Systems

Computer Systems

DOI

10.1007/s10270-022-01002-3

Related datasets

Supplementary Material on "Early timing analysis based on scenario requirements and platform models" [dataset]

DOI: 10.5281/zenodo.4769781

More information

Latest update

3/7/2024 9