Communicating sequential processes
Communicating sequential processes
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Evaluation and intergration of specification languages
Computer Networks and ISDN Systems - CCITT SDL
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal verification of embedded systems based on CFSM networks
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Scheduling for Reactive Real-Time Systems
IEEE Micro
IEEE Transactions on Parallel and Distributed Systems
Communication Synthesis for Embedded Systems with Global Considerations
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Control generation for embedded systems based on composition of modal processes
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
ipChinook: an integrated IP-based design framework for distributed embedded systems
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Heterogeneous modeling and simulation of embedded systems in El Greco
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Synthesis and optimization of coordination controllers for distributed embedded systems
Proceedings of the 37th Annual Design Automation Conference
Control generation for embedded systems based on composition of modal processes
Readings in hardware/software co-design
Formal Models for Embedded System Design
IEEE Design & Test
Scheduling Analysis Integration for Heterogeneous Multiprocessor SoC
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Hi-index | 0.00 |
To explore different points in the design space of an embeddedsystem, it is important to be able to compose a designfrom reusable design components, and then map the resultingsystem description onto several possible target architectureswith different partitionings of functionality. Today's specificationmodels support composition styles that work well fordata communication but not for control communication betweenconcurrent processes to be mapped onto a distributedarchitecture. We propose a new retargetable system specificationmodel that combines the best properties of process-basedand hierarchical-FSM-based methods for modular compositionof data and control. The model lends itself to automatedsynthesis of the run-time system for coordinating tasks ondifferent processors in the system. The model and synthesismethod are illustrated with several examples of embeddedsystems.