Unambiguous Semantics In Automotive Timing Modeling
Paper i proceeding, 2010

This paper shows how the ITEA2 research project TIMMO has chosen to model timing constraints for delays and for synchronization in an unambiguous way. The shown timing model is valid even in systems where jitter and over- and under-sampling appears. These timing constraints can be used to model timing by augmenting both the AUTOSAR and EAST-ADL2 languages. The unambiguous semantics enables the use of timing models for building safety cases and for precise communication between different parties involved in safety-critical automotive applications. © 2010 ACM.

modeling

synchronization

timing semantics

delay constraints

Författare

Johan Nordlander

Luleå tekniska universitet

Rolf Johansson

Risat Pathan

Chalmers, Data- och informationsteknik, Datorteknik

Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety (CARS '10) in Conjunction With The 8th European Dependable Computing Conference (EDCC-8), Valencia, Spain, 2010.

39-42

Ämneskategorier

Datorteknik

Systemvetenskap

Elektroteknik och elektronik

Datavetenskap (datalogi)

DOI

10.1145/1772643.1772655

ISBN

978-160558915-2

Mer information

Senast uppdaterat

2018-05-14