PLC-automata: A new class of implementable real-time automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1231, Issue , 1997, Pages 111-125

  Dierks, Henning ^a  

^a UNIVERSITY OF OLDENBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; CALCULATIONS; COMPUTER CIRCUITS; INTERACTIVE COMPUTER SYSTEMS; PROGRAMMABLE LOGIC CONTROLLERS; RECONFIGURABLE HARDWARE; SEMANTICS;

DURATION CALCULUS; PROGRAMMABLE LOGIC CONTROLLERS (PLC); REAL-TIME AUTOMATON; REAL-TIME PROPERTIES;

REAL TIME SYSTEMS;

EID: 84958779394     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63010-4_8     Document Type: Conference Paper

References (11)

1. R. Alur and D.L. Dill. A theory of timed automata. Theoret. Comput. Sci., 126:183-235, 1994.
2. J. Bowen, C.A.R. Hoare, H. Langmaack, E.-R. Olderog, and A.P. Ravn. ProCoS II: A Pro CoS H Project Final Report, chapter 7, pages 76-99. Number 59 in Bulletin of the EATCS. European Association for Theoretical Computer Science, June 1996.
3. Zhou Chaochen, Duration Calculi: An overview. In D. Bjcrner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Application, volume 735 of Lecture Notes in Computer Science, pages 256-266. Springer-Verlag, 1993.
4. Zhou Chaochen, C.A.R. Hoare, and A.P. Ravn. A Calculus of Durations. Inform. Proc. Letters, 40/5:269-276, 1991.
5. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
6. K.-H. John and M. Tiegelkamp. SPS-Programmierung mit IEC 1131-3. Springer-Verlag, 1995. in German.
7. B. Krieg-Briickner, J. Peleska, E.-R. Olderog, D. Balzer, and A. Baer. UniForM- Universal Formal Methods Workbench. In U. Grote and G. Wolf, editors, Statusseminar des BMBF Softwaretechnologie, pages 357-378. BMBF, Berlin, March 1996.
8. R.W. Lewis. Programming industrial control systems using IEC 1131-3. The institution of Electrical Engineers, 1995.
9. B. Moszkowski. A Temporal Logic for Multilevel Reasoning about Hardware. IEEE Computer, 18(2):10-19, 1985.
10. A.P. Ravn, H. Rischel, and K.M. Hansen. Specifying and Verifying Requirements of Real-Time Systems. IEEE Transactions on Software Engineering, 19:41-55, January 1993.
11. J.M. Spivey. The Z Notation: A Reference Manual. Prentice Hall International Series in Computer Science, second edition, 1992.