CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Unambiguous Semantics In Automotive Timing Modeling

Johan Nordlander ; Rolf Johansson ; Risat Mahmud Pathan (Institutionen för data- och informationsteknik, Datorteknik (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. p. 39-42. (2010)
[Konferensbidrag, refereegranskat]

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.

Nyckelord: delay constraints; modeling; synchronization; timing semantics



Denna post skapades 2010-05-19. Senast ändrad 2016-07-19.
CPL Pubid: 121715