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
The Timed Abstract State Machine Language: Abstract State Machines for Real-Time Systems Engineering
Massachusetts Institute of Technolog, USA.
Massachusetts Institute of Technolog, USA.ORCID iD: 0000-0003-0904-3712
2007 (English)In: Journal of Universal Computer Science (JUCS), ISSN 0948-695X, Vol. 14, no 12, p. 2007-2033Article in journal (Refereed) Published
Abstract [en]

In this paper, we present the Timed Abstract State Machine (TASM) language, which is a language for the specification of embedded real-time systems. In the engineering of embedded real-time systems, the correctness of the system is defined in terms of three aspects - function, time, and resource consumption. The goal of the TASM language and its associated toolset is to provide a basis for specification-based real-time system engineering where these three aspects can be specified and analyzed. The TASM language is built on top of Abstract State Machines (ASM) by including facilities for compact and legible specification of non-functional behavior, namely time and resource consumption. The TASM language provides a notation which is well-suited to the specification needs of embedded real-time systems. We begin the presentation of the language with a historical survey on the use of ASM in specifying real-time systems. The core difference between the TASM language and ASM is that steps are inherently durative instead of being instantaneous and steps consume resources. These concepts capture the reality of physical systems in a flexible abstract model. We present the syntax and semantics of the language and illustrate the concepts using an extended version of the production cell case study.

Place, publisher, year, edition, pages
2007. Vol. 14, no 12, p. 2007-2033
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:mdh:diva-7134DOI: 10.3217/jucs-014-12-2007ISI: 000261554700005Scopus ID: 2-s2.0-55249096065OAI: oai:DiVA.org:mdh-7134DiVA, id: diva2:237144
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2015-08-26Bibliographically 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
urn-nbn

Altmetric score

doi
urn-nbn
Total: 35 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