Skip to main content

SEDOS ESTELLE Demonstrator

Objective

The objectives were to demonstrate:
-the maturity (applicability, efficiency, etc) of the SEDOS technology (project 410) for the design of open distributed systems by the development of an industrial prototype, the so-called "ESTELLE Work Station" (an integrated toolset for the use of theESTELLE formal description technique, editor, translator, code generator, simulator motor and implementation motor)
-the applicability of the ESTELLE language for the formal description and development of protocols for the interconnection of systems, done by means of an application-oriented evaluation (industrial networks, telecommunications and space).
The project aimed to provide a precompetitive demonstration (ie applicability, efficiency, etc) of the SEDOS technology in different relevant fields.
The objectives were to demonstrate the maturity of the SEDOS technology for the design of open distributed systems by the development of an industrial prototype, the so called ESTELLE workstation (an integrated toolset for the use of the ESTELLE formal description technique, editor, translator, code generator, simulator motor and implementation motor), and the applicability of the ESTELLE language for the formal description and development of protocols for the interconnection of systems, done by means of an application oriented evaluation. The ESTELLE workstation is running on SUN OS 4.0 and APPOLLO SR 10, and is to be implemented on other systems. The ESTELLE FDT has been standardized by the international standards organization in ISO 9074. The ESTELLE language has been developed to describe the services and protocols of the layers of open system interconnection (OSI) architecture. ESTELLE's potential application area is wider the OSI protocol specifications. It has been demonstrated the ESTELLE is a powerful tool for the description of distributed systems in many other important fields, such as telecommunications, computer integrated manufacturing (CIM) and office automation. The SEDOS ESTELLE demonstrator is now available, providing a basic set of prototype tools including a syntax oriented editor, a translator, a C code generator, a debugger, simulator, and an implementation kernel.
The ESTELLE workstation is running on SUN OS 4.0 and APPOLLO SR 10, and is to be implemented on other systems.
The ESTELLE FDT has been standardised by ISO in ISO 9074. The ESTELLE language has been developed to describe the services and protocols of the layers of Open System Interconnection (OSI) architecture. ESTELLE's potential application area is wider than OSI protocol specifications. It has been demonstrated that ESTELLE is a powerful tool for the description of distributed systems in many other important fields, such as telecommunications, computer-integrated manufacturing (CIM) and office automation.
The SEDOS ESTELLE demonstrator is now available, providing:
-a basic set of prototype tools (EWS) including a syntax-oriented editor, a translator, a C code generator, a debugger, simulator, and an implementation kernel
-the first results of the project evaluation task, conducted on 10 selected examples of industrial applications.
Exploitation
Distribution of the environment to European universities was undertaken in 1989 as part of the process of standardising the ESTELLE language.
A product is being built which the partners will market.
The last release of the ESTELLE workstation environment is now available via Verilog (F) for universities and non-profit research centres or for industries via CNET Lannion (F), LAAS (F) or ENTEL (E).

Coordinator

Verilog SA
Address
52 Avenue Aristide Briand
92220 Bagneux
France

Participants (2)

E2S - EXPERT SOFTWARE SYSTEMS NV
Belgium
Address
Moutstraat
9000 Gent
Marben
France
Address
38 Rue Copernic
75116 Paris