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 TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Massachusetts Institute of Technology, USA.
Massachusetts Institute of Technology, USA.ORCID iD: 0000-0003-0904-3712
2007 (English)In: Lecture Notes in Computer Science, vol. 4590, 2007, p. 126-130Conference paper, Published paper (Other academic)
Abstract [en]

In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) language, a specification language for reactive real-time systems. The TASM language enables the specification of functional and non-functional properties using a unified language. The toolset incorporates features to create specifications, simulate specifications, and verify formal properties of specifications. Properties that can be verified using the toolset include completeness, consistency, worst-case execution time, and best-case execution time. The toolset is being developed as part of an architecture-based framework for embedded realtime system engineering. We describe how the features of the toolset were used successfully to model and analyze case studies from the aerospace and automotive communities.

Place, publisher, year, edition, pages
2007. p. 126-130
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 4590
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-10815ISI: 000248222700012Scopus ID: 2-s2.0-38149019146ISBN: 3540733671 (print)OAI: oai:DiVA.org:mdh-10815DiVA, id: diva2:369119
Conference
19th International Conference on Computer Aided Verification, CAV 2007; Berlin; Germany; 3 July 2007 through 7 July 2007
Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2015-08-26Bibliographically approved

Open Access in DiVA

No full text in DiVA

Scopus

Authority records BETA

Lundqvist, Kristina

Search in DiVA

By author/editor
Ouimet, MartinLundqvist, Kristina
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 381 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