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, USA.
Massachusetts Institute of Technology, USA.
Massachusetts Institute of Technology, USA.ORCID iD: 0000-0003-0904-3712
2006 (English)In: Lecture Notes in Computer Science, Volume 4364, 2006, 32-41 p.Conference 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 Throttle Controller (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. 32-41 p.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-10853DOI: 10.1007/978-3-540-69489-2_5Scopus ID: 2-s2.0-34548147916ISBN: 9783540694885 (print)OAI: oai:DiVA.org:mdh-10853DiVA: diva2:369157
Conference
Models in Software Engineering, Workshops and Symposia at MoDELS 2006; Genoa; Italy; 1 October 2006 through 6 October 2006
Note

Best Paper Award

Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2017-03-06Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Lundqvist, Kristina
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 10 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