Esterel programming in FMS
Charles André, S. Elkhattabi, J.C. Gentina, M.-A. Péraldi · 2002
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.>