Advertisement

Esprit ’89 pp 528-542 | Cite as

Presentation of the Sedos Estelle Demonstrator Project

  • J. M. Ayache
  • J. Berrocal
  • S. Budkowski
  • M. Diaz
  • J. Dufau
  • A. M. Druilhe
  • N. Echevarria
  • R. Groz
  • M. Huybrechts
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.

Unable to display preview. Download preview PDF.

Reference

  1. [1]:
    “Estelle - a formal description technique based on an extended state transition model”, ISO DIS 9074 July 2, 1987.Google Scholar
  2. [2]:
    “Example selection for ESTELLE Workstation evaluation”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
  3. [3]:
    “ESTELLE Syntax Oriented Editor : user’s guide”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
  4. [4]:
    “MIRA : A computer-aided software engineering tool, user’s manual” EXPERT SOFTWARE SYSTEMS, Ghent, Belgium.Google Scholar
  5. [5]:
    “Estelle Translator : Tutorial”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
  6. [6]:
    “Estelle Translator : The Intermediate Form”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
  7. [7]:
    “Syntax : manuel utilisateur” INRIA, France.Google Scholar
  8. [8]:
    “Requirements for ESTELLE code generator”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
  9. [9]:
    “From ESTELLE formal semantics to ESTELLE Kernel implementation”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
  10. [10]:
    “Requirements for ESTELLE simulator”, ESTELLE SEDOS Demonstrator, Esprit Project 1265.Google Scholar
  11. [11]:
    “Connection Oriented Transport Protocol Specification” ISO 8073.Google Scholar
  12. [12]:
    “Basic Connection Oriented Session Protocol Specification” ISO 8327.Google Scholar
  13. [13]:
    “Application Layer Structure” ISO/TC97/SC21 N1494.Google Scholar
  14. [14]:
    “File transfer Management Access” ISO DIS 8571.Google Scholar
  15. [15]:
    “SPAG : Guide of the Use of Standards” ISBN : 0 444 701923 North-Holland.Google Scholar
  16. [16]:
    “Telecommand, Summary of Concept and Service” Green Book, Issue 5, February 1986.Google Scholar
  17. [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. [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. [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. [20]:
    “ISDN User-Network interface layer 3 specification” CCITT recommendation Q.931 (1.451), red book, vol. VI, Fascicle VI.9.Google Scholar
  21. [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. [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. [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

Authors and Affiliations

  • J. M. Ayache
    • 1
  • J. Berrocal
    • 2
  • S. Budkowski
    • 3
  • M. Diaz
    • 4
  • J. Dufau
    • 1
  • A. M. Druilhe
    • 5
  • N. Echevarria
    • 6
  • R. Groz
    • 7
  • M. Huybrechts
    • 8
  1. 1.VerilogToulouseFrance
  2. 2.Escuela Tecnica Superior de Ingenieros de TelecomunicacionesMadridSpain
  3. 3.Bull/DasParisFrance
  4. 4.Laboratoire d’ Automatique et d’ Analyse des SystèmesToulouseFrance
  5. 5.Marben InformatiqueParisFrance
  6. 6.EntelMadridSpain
  7. 7.Centre National d’Etudes des TélécommunicationsLannionFrance
  8. 8.Expert Software SystemsGhentBelgium

Personalised recommendations