lnu.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
A Model Interpreter for Timed Automata
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).ORCID-id: 0000-0002-1343-5834
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV).ORCID-id: 0000-0001-9775-4594
Linnéuniversitetet, Fakulteten för teknik (FTK), Institutionen för datavetenskap (DV). Katholieke Univ Leuven, Leuven, Belgium.ORCID-id: 0000-0002-1162-0817
2016 (engelsk)Inngår i: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, PT I, Springer, 2016, s. 243-258Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
Springer, 2016. s. 243-258
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 9952
Emneord [en]
Model-driven development, Model interpretation, Timed automata, Virtual machine
HSV kategori
Forskningsprogram
Data- och informationsvetenskap, Datavetenskap
Identifikatorer
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 (tryckt)ISBN: 978-3-319-47165-5 (tryckt)OAI: oai:DiVA.org:lnu-59817DiVA, id: diva2:1065440
Konferanse
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), OCT 10-14, 2016, Corfu, GREECE
Tilgjengelig fra: 2017-01-16 Laget: 2017-01-13 Sist oppdatert: 2018-05-17bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Iftikhar, Muhammad UsmanLundberg, JonasWeyns, Danny

Søk i DiVA

Av forfatter/redaktør
Iftikhar, Muhammad UsmanLundberg, JonasWeyns, Danny
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 139 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf