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
Incorporating Time in the Modeling of Hardware and Software Systems: Concepts, Paradigms, and Paradoxes
Massachusetts Institute of Technology, USA.
Massachusetts Institute of Technology, USA.ORCID iD: 0000-0003-0904-3712
2007 (English)In: Proceedings - ICSE 2007 Workshops: International Workshop on Modeling in Software Engineering, MISE'07, 2007, p. Article number 4273245-Conference paper, Published paper (Refereed)
Abstract [en]

In this paper, we present some of the issues encountered when trying to apply model-driven approaches to the engineering of real-time systems. In real-time systems, quantitative values of time, as reflected through the duration of actions, are central to the system's correctness. We review basic time concepts and explain how time is handled in different modeling languages. We expose theinherent paradox of incorporating quantitative time-dependent behavior in high-level models. High-level models are typically built before the system is implemented, which makes quantitative time metrics difficult to predict since these metrics depend heavily on implementation details. We provide some possible answers to this paradox and explain how the Timed Abstract State Machine (TASM) language helps address some of these issues.

Place, publisher, year, edition, pages
2007. p. Article number 4273245-
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-7138DOI: 10.1109/MISE.2007.7Scopus ID: 2-s2.0-36949008085ISBN: 0769529534 (print)OAI: oai:DiVA.org:mdh-7138DiVA, id: diva2:237148
Conference
ICSE 2007 Workshops: International Workshop on Modeling in Software Engineering, MISE'07; Minneapolis, MN; United States; 20 May 2007 through 26 May 2007
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2015-09-15Bibliographically 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
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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