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
Timed Automata Modeling of CCSL Constraints
Mälardalen University, School of Innovation, Design and Engineering. (IS)
East China Normal University, Shanghai, China.
2012 (English)Conference paper, Published paper (Refereed)
Abstract [en]

The UML profile MARTE includes CCSL (Clock Constraint Specification Language) for specifying logical (synchronous/asynchronous) as well as chronometric timing constraints. A reference semantics for CCSL has been defined and transformation techniques proposed e.g. CCSL to Promela. In this paper, we present transformation of CCSL into timed automata, to enable verification with UPPAAL modelchecker. Further, we discuss how the transformation approach supports modeling multiple timebases, timebase relationships and corresponding timing constraints.

Place, publisher, year, edition, pages
2012.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-17373OAI: oai:DiVA.org:mdh-17373DiVA, id: diva2:579704
Conference
First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012); November 12, 2012, Kyoto, Japan,
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2013-01-14Bibliographically approved

Open Access in DiVA

No full text in DiVA

Search in DiVA

By author/editor
Suryadevara, Jagadish
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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