mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • 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
Modeling an Electronic Throttle Controller using the Timed Abstract State Machine Language and Toolset
Massachusetts Institute of Technology, US.
Massachusetts Institute of Technology, US.
Massachusetts Institute of Technology, US.ORCID iD: 0000-0003-0904-3712
2006 (English)In: Lecture Notes in Computer Science, vol. 4364, 2006, Vol. 4364, p. 32-41Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we present an integrated toolset that implements the features of the Timed Abstract State Machine (TASM) language, a novel specification language for embedded real-time systems. The toolset enables the creation of executable specifications with well-defined execution semantics, abstraction mechanisms, and composition semantics. The features of the toolset are demonstrated using an Electronic ThrottleController (ETC) from a major automotive vendor. The TASM toolset is used to analyze the resource consumption resulting from the mode switching logic of the ETC, and to verify the completeness and consistency of the specification.

Place, publisher, year, edition, pages
2006. Vol. 4364, p. 32-41
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4364
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:mdh:diva-7142DOI: 10.1007/978-3-540-69489-2_5ISI: 000244510700005Scopus ID: 2-s2.0-34548147916ISBN: 9783540694885 (print)OAI: oai:DiVA.org:mdh-7142DiVA, id: diva2:237152
Conference
Models in Software Engineering, Workshops and Symposia at MoDELS 2006; Genoa; Italy; 1 October 2006 through 6 October 2006
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2015-07-02Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Lundqvist, Kristina

Search in DiVA

By author/editor
Lundqvist, Kristina
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

Direct link
Cite
Citation style
  • apa
  • 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