Title :
Esterel programming in FMS
Author :
André, C. ; Elkhattabi, S. ; Gentina, J.C. ; Péraldi, M.A.
Author_Institution :
Lab. Inf., Signaux, Syst., Univ. de Nice-Sophia Antipolis, Valbonne, France
Abstract :
Lowest levels of FMS are reactive real-time systems. Timeliness, safety and dependability are major requirements for those systems. Classical programming techniques bring only partial solution. We propose a “synchronous approach” based on the ESTEREL language that makes specification, programming and verification easier
Keywords :
flexible manufacturing systems; formal specification; high level languages; parallel languages; parallel programming; real-time systems; specification languages; ESTEREL language; FMS; dependability; flexible manufacturing systems; programming; reactive real-time systems; safety; specification; synchronous approach; synchronous programming; timeliness; verification; Computer languages; Control systems; Fault detection; Flexible manufacturing systems; Monitoring; Programmable control; Quality management; Real time systems; Software quality; Software safety;
Conference_Titel :
Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
Conference_Location :
Le Touquet
Print_ISBN :
0-7803-0911-1
DOI :
10.1109/ICSMC.1993.384879
