High-level synthesis: introduction to chip and system design
High-level synthesis: introduction to chip and system design
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
On the Combination of Synchronous Languages
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Hi-index | 0.00 |
Design of complex controller calls for models that are both easy to grasp and mathematically sound. They should support information hiding to enhance re-use and flexibility. The combination of the synchronous model with object-orientation promises to provide a solution. Today controller design is a multi-disciplinary effort, involving e.g. control engineers and computer scientists. The different views and styles of the disciplines involved should be smoothly integrated at a fine-grained level to support co-operation. The architecture of object-oriented synchronous models and the rationales behind it are discussed. A language supporting this style of modelling is the language sE developed by the authors.