Sciweavers

Share
ATVA
2006
Springer

Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

9 years 15 hour ago
Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems
In 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 s 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 mation between the abstract syntax metamodel of the DSML and that of the semantic unit. The infrastructure can also...
Hang Su, Graham Hemingway, Kai Chen, T. John Koo
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ATVA
Authors Hang Su, Graham Hemingway, Kai Chen, T. John Koo
Comments (0)
books