Using Multiple Levels of Abstractions in Embedded Software Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Compositional Modeling in Metropolis
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Bisimulation relations for dynamical, control, and hybrid systems
Theoretical Computer Science
Refinement preserving approximations for the design and verification of heterogeneous systems
Formal Methods in System Design
Composing heterogeneous reactive systems
ACM Transactions on Embedded Computing Systems (TECS)
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
Multiple Viewpoint Contract-Based Specification and Design
Formal Methods for Components and Objects
Disciplined heterogeneous modeling
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
| Hi-index | 0.00 |
System level design is complex. One source of this complexity is that systems are often heterogeneous: different models of computation (e.g., dataflow, FSMs) are used to describe different components of a system. Existing formal methods for concurrent systems are typically based on one particular model of computation, so it is difficult to formalize the interaction between heterogeneous components. In this paper, we develop a framework for formalizing the relationships between different models of computation.