A synchronous model of the PLC programming language ST

Fernando Jiménez-Fraustro (1) , Eric Rutten (2)

1 EP-ATR - Environnement de programmation d'applications temps réel
2 BIP - Biped Robot

This paper presents first results in the definition of a synchronous model of the PLC programming language ST. This work is part of the integration of the IEC 1131 design standard and the synchronous technology, with the motivation to give access to formal techniques and tools.

Domaines: Systèmes embarqués

Fernando Jiménez-Fraustro, Eric Rutten. A synchronous model of the PLC programming language ST. 11th Euromicro Conference on Real-Time Systems, ECRTS 1999, Jun 1999, York, United Kingdom. pp.21-24. ⟨hal-00546127⟩