RELIABLE MICROPROCESSOR-AIDED DESIGN OF INTRICATE AUTOMATIC PROCESS SYSTEMS

CONCEPTION SURE D'AUTOMATISMES COMPLEXES A MICROPROCESSEURS

The proposed design method is a method of progressive specifications. The aim is to obtain the final product (software, hardware) by a sequence of refinements of specifications. The example of the design of an automatic subway pilot is given.

  • Corporate Authors:

    Societe Francaise des Electriciens

    16 rue Franklin
    Paris 16e,   France 
  • Authors:
    • Pilaud, D
    • Saucier, G
  • Publication Date: 1979-12

Language

  • French

Media Info

Subject/Index Terms

Filing Info

  • Accession Number: 00317433
  • Record Type: Publication
  • Source Agency: Engineering Index
  • Files: TRIS
  • Created Date: Sep 16 1982 12:00AM