Theoretical Computer Science
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Toward a semantic anchoring infrastructure for domain-specific modeling languages
Proceedings of the 5th ACM international conference on Embedded software
A Semantic Unit for Timed Automata Based Modeling Languages
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
Hybrid modelling and control of power electronics
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Interchange format for hybrid systems: abstract semantics
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Computation platform for automatic analysis of embedded software systems using model based approach
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Interchange formats for hybrid systems: review and proposal
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Semantic anchoring with model transformations
ECMDA-FA'05 Proceedings of the First European conference on Model Driven Architecture: foundations and Applications
A framework for comparing models of computation
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Hi-index | 0.00 |
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.