Unambiguous Semantics In Automotive Timing Modeling
Paper in proceedings, 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

Author

Johan Nordlander

Luleå University of Technology

Rolf Johansson

Risat Pathan

Chalmers, Computer Science and Engineering (Chalmers), Computer Engineering (Chalmers)

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

Subject Categories

Computer Engineering

Information Science

Electrical Engineering, Electronic Engineering, Information Engineering

Computer Science

DOI

10.1145/1772643.1772655

ISBN

978-160558915-2

More information

Latest update

5/14/2018