Paper Info
Title
A formal approach to reactive systems software: a telecommunications application in ESTEREL.
Abstract
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.
Year
DOI
Venue
1996
10.1007/BF00122418
Formal Methods in System Design
Keywords
DocType
Volume
Reactive systems,E,sterel,synchronous programming,formal methods,software verification,telecommunications
Journal
8
Issue
ISSN
ISBN
2
0925-9856
0-8186-7005-3
Citations 
PageRank 
References 
24
2.45
15
Authors
3
Name
Order
Citations
PageRank
Lalita Jategaonkar Jagadeesan128629.80
Carlos Puchol213818.65
James E. Von Olnhausen310411.05