Esprit ’89 pp 528-542 | Cite as
Presentation of the Sedos Estelle Demonstrator Project
Conference paper
Abstract
The SEDOS ESTELLE DEMONSTRATOR Esprit project 1265 is conducted by a consortium of three partners : VERILOG (prime contractor), EXPERT SOFTWARE SYSTEMS, MARBEN, and five subcontractors : LAAS, CNET, ETSIT, ENTEL and BULL.
Keywords
Lexical Unit Radio Cellular Network Open System Interconnection Integrate Service Digital Network Syntactical Unit
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
Reference
- [1]:“Estelle - a formal description technique based on an extended state transition model”, ISO DIS 9074 July 2, 1987.Google Scholar
- [2]:“Example selection for ESTELLE Workstation evaluation”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
- [3]:“ESTELLE Syntax Oriented Editor : user’s guide”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
- [4]:“MIRA : A computer-aided software engineering tool, user’s manual” EXPERT SOFTWARE SYSTEMS, Ghent, Belgium.Google Scholar
- [5]:“Estelle Translator : Tutorial”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
- [6]:“Estelle Translator : The Intermediate Form”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
- [7]:“Syntax : manuel utilisateur” INRIA, France.Google Scholar
- [8]:“Requirements for ESTELLE code generator”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
- [9]:“From ESTELLE formal semantics to ESTELLE Kernel implementation”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
- [10]:“Requirements for ESTELLE simulator”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
- [11]:“Connection Oriented Transport Protocol Specification” ISO 8073.Google Scholar
- [12]:“Basic Connection Oriented Session Protocol Specification” ISO 8327.Google Scholar
- [13]:“Application Layer Structure” ISO/TC97/SC21 N1494.Google Scholar
- [14]:“File transfer Management Access” ISO DIS 8571.Google Scholar
- [15]:“SPAG : Guide of the Use of Standards” ISBN : 0 444 701923 North-Holland.Google Scholar
- [16]:“Telecommand, Summary of Concept and Service” Green Book, Issue 5, February 1986.Google Scholar
- [17]:“Recommendation for space data system standard : Telecommand Part 2.1 : Command Operation procedures detailed specifications and state matrices”, CCSDS Document, Red Book, Issue 2, April 1986.Google Scholar
- [18]:“ISDN User-Network interface data link layer specification, applcation of CCITT recommmendations Q.920 (1.440) and Q.921 (1.441)” Draft CEPT recommendation T/CS 46–20 revised (Nov. 1986).Google Scholar
- [19]:“ISDN User-Network interface layer 3 general aspects” CCITT recommendation Q.930 (1.450), red book, vol. VI, Fascicle VI.9.Google Scholar
- [20]:“ISDN User-Network interface layer 3 specification” CCITT recommendation Q.931 (1.451), red book, vol. VI, Fascicle VI.9.Google Scholar
- [21]:“ISDN Packed Switching : from Experimentation to System Integration” Le Roux A., Dauphin J.L, Laurens J., International Switching Symposium, proceedings, Phoenix, Arizona, March 1987.Google Scholar
- [22]:“NNS, a knowledge based on-line system for assembly workcell” H. CHOCHON, R. ALAMI, IEEE International conference on Robotics and Automation, 1986.Google Scholar
- [23]:“Commande d’un champ d’heliostats par microinformatique repartie sure de fonctionnement” M.D CABANNE, M. DIAZ, J.M. PONS, M. AGUERA, C. BOURDEAU, C. BURGAT, Congres AFCET, Toulouse 1986Google Scholar
Copyright information
© ECSC, EEC, EAEC, Brussels and Luxembourg 1989