ویراساینس.
سند علمی

A formal approach to reactive systems software: a telecommunications application in ESTEREL

Lalita Jategaonkar Jagadeesan, Carlos Puchol, James Von Olnhausen

چکیده

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 R 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.

اسناد مشابه

  • A Formal Approach for Web 2.0 Applications

    سند علمی۲۰۱۴IJWAMeftah Mohammed Charaf Eddine, Okba Kazar

    Web 2.0 is the term given to describe a second generation of the World Wide Web, which aims to facilitate creativity, collaboration, and sharing between users. The Web 2.0 technologies can be divided into two sides: One is that users’ side includes a social element where users ge

  • Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract)

    سند علمی۲۰۱۶ICFEMKeijiro Araki, Taro Kurita

    We have been making much effort to promote formal methods in Japan, especially Japanese IT companies. This paper describes our activities in Japan for almost twenty years, and shows typical reactions from such Japanese companies for application of formal methods. We mention about

  • A Formal Approach to Heterogeneous Software Modeling

    سند علمی۲۰۰۰FASEAlexander Egyed, Nenad Medvidovic

    The problem of consistently engineering large, complex software systems of today is often addressed by introducing new, “improved” models. Examples of such models are architectural, design, structural, behavioral, and so forth. Each software model is intended to highlight a parti

  • A Formal Approach to System Integration Testing

    سند علمی۲۰۱۴CoRRSusanne Kandl, Martin Elshuber

    System integration testing is the process of testing a system by the stepwise integration of sub-components. Usually these sub-components are already verified to guarantee their correct functional behavior. By integration of these verified subcomponents into the overall system, e

  • Formal Reasoning About Systems, Software and Hardware - Using Functionals, Predicates and Relations

    سند علمی۲۰۰۴IFIP Congress TutorialsRaymond T. Boute

    Formal reasoning in the sense of “letting the symbols do the work” was Leibniz’s dream, but making it possible and convenient for everyday practice irrespective of the availability of automated tools is due to the calculational approach that emerged from Computing Science. This t

  • An Interoperability Approach to System Software, Tools, and Libraries for Clusters

    سند علمی۲۰۰۶IJHPCAEwing L. Lusk, Narayan Desai, Rick Bradshaw, Andrew Lusk

    Systems software for clusters typically derives from a multiplicity of sources: the kernel itself, software associated with a particular distribution, site-specific purchased or open-source software, and assorted home-grown tools and procedures that attempt to glue everything tog