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...

• Type: Conference
• Year: 2006
• Where: ATVA
• Authors: Hang Su, Graham Hemingway, Kai Chen, T. John Koo
• Keywords: ATVA 2006, Hardware, Hybrid Automata, Semantic, Semantic Unit