Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Proof, language, and interaction
Information and Computation
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Embedded Software: Challenges and Opportunities
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Some Synchronization Issues When Designing Embedded Systems from Components
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Embedded Control: From Asynchrony to Synchrony and Back
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Threshold and Bounded-Delay Voting in Critical Control Systems
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Theory of latency-insensitive design
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
| Hi-index | 0.00 |
There are important distributed computing systems which are neither massive nor high performance. Examples are: telecommunications systems, transportation or power networks, embedded control systems (such as embedded electronics in automobiles), or Systems on a Chip. Many of them are embedded systems, i.e., not directly visible to the user. For these systems, performance is not a primary issue, major issues are reviewed in this paper. Then, we focus on a particular but important point, namelythe correct implementation of specifications on distributed architectures.