lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
A Model Interpreter for Timed Automata
Linnaeus University, Faculty of Technology, Department of Computer Science.ORCID iD: 0000-0002-1343-5834
Linnaeus University, Faculty of Technology, Department of Computer Science.
Linnaeus University, Faculty of Technology, Department of Computer Science. Katholieke Univ Leuven, Leuven, Belgium.ORCID iD: 0000-0002-1162-0817
2016 (English)In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, PT I, Springer, 2016, p. 243-258Conference paper, Published paper (Refereed)
Abstract [en]

In the model-centric approach to model-driven development, the models used are sufficiently detailed to be executed. Being able to execute the model directly, without any intermediate model-to-code translation, has a number of advantages. The model is always up-to-date and runtime updates of the model are possible. This paper presents a model interpreter for timed automata, a formalism often used for modeling and verification of real-time systems. The model interpreter supports real-time system features like simultaneous execution, system wide signals, a ticking clock, and time constraints. Many existing formal representations can be verified, and many existing DSMLs can be executed. It is the combination of being both verifiable and executable that makes our approach rather unique.

Place, publisher, year, edition, pages
Springer, 2016. p. 243-258
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9952
Keyword [en]
Model-driven development, Model interpretation, Timed automata, Virtual machine
National Category
Computer Sciences
Research subject
Computer and Information Sciences Computer Science, Computer Science
Identifiers
URN: urn:nbn:se:lnu:diva-59817DOI: 10.1007/978-3-319-47166-2_17ISI: 000389939100017Scopus ID: 2-s2.0-84993972025ISBN: 978-3-319-47166-2 (print)ISBN: 978-3-319-47165-5 (print)OAI: oai:DiVA.org:lnu-59817DiVA: diva2:1065440
Conference
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), OCT 10-14, 2016, Corfu, GREECE
Available from: 2017-01-16 Created: 2017-01-13 Last updated: 2018-01-13Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Iftikhar, Muhammad UsmanLundberg, JonasWeyns, Danny

Search in DiVA

By author/editor
Iftikhar, Muhammad UsmanLundberg, JonasWeyns, Danny
By organisation
Department of Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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

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