Symbolic Model Checking
Formal Models for Communication-Based Design
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Constraints Specification at Higher Levels of Abstraction
HLDVT '01 Proceedings of the Sixth IEEE International High-Level Design Validation and Test Workshop (HLDVT'01)
System Design: Traditional Concepts and New Paradigms
ICCD '99 Proceedings of the 1999 IEEE International Conference on Computer Design
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Separation of concerns: overhead in modeling and efficient simulation techniques
Proceedings of the 4th ACM international conference on Embedded software
A Time Slice Based Scheduler Model for System Level Design
Proceedings of the conference on Design, Automation and Test in Europe - Volume 1
An embedded system for an eye-detection sensor
Computer Vision and Image Understanding - Special issue on eye detection and tracking
Composition for component-based modeling
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
Proceedings of the 5th ACM international conference on Embedded software
Proceedings of the conference on Design, automation and test in Europe: Proceedings
System level design paradigms: Platform-based design and communication synthesis
Proceedings of the 41st annual Design Automation Conference
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Models in Software Engineering
High-Level System Modeling for Rapid HW/SW Architecture Exploration
RSP '09 Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping
Exploring Multi-Paradigm Modeling Techniques
Simulation
An embedded system for an eye-detection sensor
Computer Vision and Image Understanding - Special issue on eye detection and tracking
Heterogeneous modeling of gesture-based 3D applications
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling
| Hi-index | 0.00 |
We present the modeling mechanism employed in Metropolis, a design environment for heterogeneous embedded systems, and a design methodology based on the mechanism experimented for wireless communication systems. It is developed to favor the reusability of components in the systems, by decoupling the specification of orthogonal aspects explicitly over a set of abstraction levels. It uses a single model to represent designs specified this way, to which not only simulation but also analysis and synthesis algorithms can be applied relatively easily. The model uses executable code as well as denotational formulas, classes of temporal and predicate logic, so that the right level of details of the design can be defined at each abstraction.