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 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.
KeywordsModeling Language Model Transformation Transformation Rule Operational Semantic Hybrid Automaton
Unable to display preview. Download preview PDF.
- 2.Karsai, G., Agrawal, A., Shi, F.: On the Use of Graph Transformations for the Formal Specification of Model Interpreters. Journal of Universal Computer Science 9(11), 1296–1321 (2003)Google Scholar
- 3.Chen, K., Sztipanovits, J., Neema, S., Emerson, M., Abdelwahed, S.: Toward A Semantic Anchoring Infrastructure For Domain-Specific Modeling Languages. In: The 5th ACM International Conference on Embedded Software (September 2005)Google Scholar
- 5.Chen, K., Sztipanovits, J., Abdelwahed, S.: A Semantic Unit for Timed Automata Based Modeling Languages. In: The 12th IEEE Real-Time and Embedded Technology and Applications Symposium, pp. 347–360 (2006)Google Scholar
- 7.Cataldo, A., Hylands, C., Lee, E.A., Liu, J., Liu, X., Neuendorffer, S., Zheng, H.: HyVisual: A Hybrid System Visual Modeler. Technical Report Technical Memorandum UCB/ERL M03/30, University of California, Berkely (2003)Google Scholar
- 11.Henzinger, T.: The Theory of Hybrid Automata. In: Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, pp. 278–292 (1996)Google Scholar
- 12.Lygeros, J.: Lecture Notes on Hybrid Systems. Cambridge (2003)Google Scholar
- 14.Sprinkle, J., Karsai, G., Lang, A.: Hybrid Systems Interchange Format v.4.1.8, ISIS Technical Report, Vanderbilt University (2004)Google Scholar
- 18.Lee, E.A., Neuendorffer, S.: MoML - A Modeling Markup Language in XML - Version 0.4. Technical report, University of California at Berkeley (March 2000)Google Scholar