Incremental development of an HDLC entity in Esterel
Computer Networks and ISDN Systems - Protocol specification, testing and verification
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Communicating reactive processes
POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Communication and Concurrency
A framework for evaluating specification methods for reactive systems: experience report
Proceedings of the 17th international conference on Software engineering
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report
IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Performance Evaluation of Mobile Processes via Abstract Machines
IEEE Transactions on Software Engineering
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
A Translation of Statecharts to Esterel
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
| Hi-index | 0.00 |
ESTEREL is a formally-defined language designed for programming reactive systems; namely, those that maintain a permanent interaction with their environment. The AT&T 5ESS telephone switching system is an example of a legacy reactive system. As a case study, we describe an implementation in ESTEREL of one feature of a 5ESS switch; this implementation has been tested in the 5ESS switch simulator. Furthermore, it has been formally verified that this implementation satisfies some safety properties required for telecommunications applications. Our case study provides some evidence that ESTEREL is suitable for programming legacy reactive systems, and that it may afford significant advantages in software development over more traditional programming languages used in industrial settings.