File Download

There are no files associated with this item.

  Links for fulltext
     (May Require Subscription)
Supplementary

Article: Model-based tool-chain infrastructure for automated analysis of embedded systems

TitleModel-based tool-chain infrastructure for automated analysis of embedded systems
Authors
Issue Date2006
PublisherSpringer Verlag. The Journal's web site is located at http://springerlink.com/content/105633/
Citation
Lecture Notes In Computer Science (Including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics), 2006, v. 4218 LNCS, p. 523-537 How to Cite?
AbstractIn many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools have been developed based on hybrid automata model. These tools are constructed by their own domain-specific modeling languages (DSMLs) but they are different in various aspects. To enable meaningful semantic interpretation of DSMLs, we propose an infrastructure for semantic anchoring that facilitates the transformational specification of DSML semantics. In the semantic anchoring infrastructure, the semantics of a DSML can be anchored to a well-defined semantic unit, which captures the operational semantics of hybrid automaton, via model transformation. The Abstract State Machine (ASM) is used as the underlying formal framework for the semantic unit. The semantics of a DSML is defined by specifying the transformation between the abstract syntax metamodel of the DSML and that of the semantic unit. The infrastructure can also enable model exchange among DSMLs while referring to the common semantic unit. Hence, hybrid automata based DSMLs can be integrated to form a meaningful tool chain by deploying this proposed infrastructure. In this paper, we demonstrate how effective the tool-chain infrastructure is by considering a practical case study involving the hybrid automata DSMLs, HyVisual and ReachLab. © Springer-Verlag Berlin Heidelberg 2006.
Persistent Identifierhttp://hdl.handle.net/10722/188709
ISSN
2005 Impact Factor: 0.402
2015 SCImago Journal Rankings: 0.252
References

 

DC FieldValueLanguage
dc.contributor.authorSu, Hen_US
dc.contributor.authorHemingway, Gen_US
dc.contributor.authorChen, Ken_US
dc.contributor.authorKoo, TJen_US
dc.date.accessioned2013-09-03T04:13:37Z-
dc.date.available2013-09-03T04:13:37Z-
dc.date.issued2006en_US
dc.identifier.citationLecture Notes In Computer Science (Including Subseries Lecture Notes In Artificial Intelligence And Lecture Notes In Bioinformatics), 2006, v. 4218 LNCS, p. 523-537en_US
dc.identifier.issn0302-9743en_US
dc.identifier.urihttp://hdl.handle.net/10722/188709-
dc.description.abstractIn many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools have been developed based on hybrid automata model. These tools are constructed by their own domain-specific modeling languages (DSMLs) but they are different in various aspects. To enable meaningful semantic interpretation of DSMLs, we propose an infrastructure for semantic anchoring that facilitates the transformational specification of DSML semantics. In the semantic anchoring infrastructure, the semantics of a DSML can be anchored to a well-defined semantic unit, which captures the operational semantics of hybrid automaton, via model transformation. The Abstract State Machine (ASM) is used as the underlying formal framework for the semantic unit. The semantics of a DSML is defined by specifying the transformation between the abstract syntax metamodel of the DSML and that of the semantic unit. The infrastructure can also enable model exchange among DSMLs while referring to the common semantic unit. Hence, hybrid automata based DSMLs can be integrated to form a meaningful tool chain by deploying this proposed infrastructure. In this paper, we demonstrate how effective the tool-chain infrastructure is by considering a practical case study involving the hybrid automata DSMLs, HyVisual and ReachLab. © Springer-Verlag Berlin Heidelberg 2006.en_US
dc.languageengen_US
dc.publisherSpringer Verlag. The Journal's web site is located at http://springerlink.com/content/105633/en_US
dc.relation.ispartofLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)en_US
dc.titleModel-based tool-chain infrastructure for automated analysis of embedded systemsen_US
dc.typeArticleen_US
dc.identifier.emailKoo, TJ: john.koo@siat.ac.cnen_US
dc.identifier.authorityKoo, TJ=rp01787en_US
dc.description.naturelink_to_subscribed_fulltexten_US
dc.identifier.scopuseid_2-s2.0-33845214899en_US
dc.relation.referenceshttp://www.scopus.com/mlt/select.url?eid=2-s2.0-33845214899&selection=ref&src=s&origin=recordpageen_US
dc.identifier.volume4218 LNCSen_US
dc.identifier.spage523en_US
dc.identifier.epage537en_US
dc.publisher.placeGermanyen_US
dc.identifier.scopusauthoridSu, H=51564867400en_US
dc.identifier.scopusauthoridHemingway, G=15131809600en_US
dc.identifier.scopusauthoridChen, K=55683546800en_US
dc.identifier.scopusauthoridKoo, TJ=7005428590en_US

Export via OAI-PMH Interface in XML Formats


OR


Export to Other Non-XML Formats