Model-based Tool Chain For Integrated Design Environment

Embedded systems are becoming an integral and ubiquitous part of modern society and often used in safety critical tasks. Model-Integrated Computing (MIC) addresses the problems of developing software integrated systems by providing rich, domain-specific modeling environments including model analysis and model-based program synthesis tools. This technology is used to create and evolve integrated, multiple-aspect models using concepts, relations, and model composition principles routinely used in the specific field, to facilitate systems/software engineering analysis of the models, and to automatically synthesize applications from the models. MIC has been used to develop many different technologies and solutions for industry and government. Hybrid automata can be used to model system-level behaviors for embedded systems that exhibit a combination of both discrete and continuous behaviors. Many software tools, which are constructed by their own domain-specific modeling languages (DSMLs), have been developed for hybrid automata to enable model-based design and automated analysis for embedded systems. In this thesis, to enable the model of hybrid automata transform automatically between the model-based design tools and the analysis tools, we propose the tool-chain, which base on an infrastructure for semantic anchoring that facilitates the transformational specification of DSML semantics, involving the hybrid automata, SIMULINK, HyVisual and ReachLab. The model of hybrid automata can be designed on SIMULINK, and reachability analysis for the hybrid automata can be performed on ReachaLab via the tool-chain. In Addition, we also propose another tool-chain that involving SIMULINK filter models, ECSL-DP, and SFunction.