Timed Automata and Embedded Systems

In this article we present three principal methods for describing real-time systems. They range from very general techniques which are implemented in software to restricted models which can be implemented on PLCs. Various examples to illustrate the main points are also presented.

[1]  Pierre-Yves Schobbens,et al.  Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time , 1997, TACAS.

[2]  Henning Dierks,et al.  Synthesising controllers from real-time specifications , 1997, Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114).

[3]  Frits W. Vaandrager,et al.  Operational and Logical Semantics for Polling Real-Time Systems , 1998, FTRTFT.

[4]  Wang Yi,et al.  Formal design and analysis of a gear controller , 1998, International Journal on Software Tools for Technology Transfer.

[5]  Stavros Tripakis,et al.  The Tool KRONOS , 1996, Hybrid Systems.

[6]  Pierre-Yves Schobbens,et al.  State Clock Logic: A Decidable Real-Time Logic , 1997, HART.

[7]  Alan Burns,et al.  Hrt-Hood: A Structured Design Method for Hard Real-Time ADA Systems , 1995 .

[8]  Sergio Yovine,et al.  Model Checking Timed Automata , 1996, European Educational Forum: School on Embedded Systems.

[9]  R. H. Bourgonjon.  Embedded Systems in Consumer Products , 1996, European Educational Forum: School on Embedded Systems.

[10]  Harold W. Thimbleby,et al.  Solutioneering in user interface design , 1993, Behav. Inf. Technol..

[11]  Josef Tapken.  MOBY/PLC - A Design Tool for Hierarchical Real-Time Automata , 1998, FASE.

[12]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[13]  Wang Yi,et al.  Verification of an Audio Protocol with Bus Collision Using UPPAAL , 1996, CAV.

[14]  Paul Pettersson,et al.  Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II , 1998, TACAS.

[15]  Klaus Winkelmann,et al.  Controller synthesis for the “production cell” case study , 1998, FMSP '98.

[16]  Jonathan P. Bowen.  Formal methods in safety-critical standards , 1993, Proceedings 1993 Software Engineering Standards Symposium.

[17]  M. Boasson.  Control systems software , 1993 .

[18]  Thomas A. Henzinger,et al.  A Determinizable Class of Timed Automata , 1994, CAV.

[19]  Jorge Cuéllar.  Formal Methods in an Industrial Environment , 1998, CAV.

[20]  Henning Dierks.  PLC-automata: a new class of implementable real-time automata , 2001, Theor. Comput. Sci..