Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Unambiguous semantics in automotive timing modeling
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
Mentor Graphics.
Chalmers University of Technology.
2010 (English)In: Proceedings of the 1st Workshop on Critical Automotive applications : Robustness & Safety : CARS 10: Valencia, Spain, ACM Digital Library, 2010, p. 39-42Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
ACM Digital Library, 2010. p. 39-42
Series
ACM International Conference Proceeding Series
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-30881DOI: 10.1145/1772643.1772655Scopus ID: 77954527295Local ID: 4dda7e90-98bd-11df-8806-000ea68e967bISBN: 978-1-60558-915-2 (print)OAI: oai:DiVA.org:ltu-30881DiVA, id: diva2:1004110
Conference
Workshop on Critical Automotive Applications : 27/04/2010 - 27/04/2010
Note
Godkänd; 2010; 20100726 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2018-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Nordlander, Johan
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 33 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf