DocumentCode
289726
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
fYear
1993
fDate
17-20 Oct 1993
Firstpage
252
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICSMC.1993.384879
Filename
384879
Link To Document