Verification and implementation of dependable controllers

Proceedings of International Conference on Dependability of Computer Systems, DepCoS - RELCOMEX 2008

Volumn , Issue , 2008, Pages 143-151

  Sacha, Krzysztof ^a  

^a WARSAW UNIVERSITY OF TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; AUTOMATIC PROGRAMMING; CODES (STANDARDS); CODES (SYMBOLS); COMPUTER SYSTEMS; UNIFIED MODELING LANGUAGE;

AUTOMATIC GENERATION; FINITE STATES; INTERNATIONAL CONFERENCES; MODEL-CHECKING TOOLS; STATE MACHINES; TIME MACHINE; TIMED AUTOMATA; VERIFICATION PROCESSES;

MODEL CHECKING;

EID: 51849108148     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DepCoS-RELCOMEX.2008.30     Document Type: Conference Paper

References (12)

1. Miner R., "Operational and algebraic semantics of concurrent processes", in: van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, Elsevier, North-Holland, 1990, pp. 1201-1242.
2. Manna Z., Pnueli A., Temporal Verification of Reactive Systems - Safety, Springer Verlag, Berlin, 1995.
3. Alur R., Dill D.L.: "A theory of timed automata", Theoretical Computer Science, Vol 126, 1994, pp. 183-235.
4. Alur, R., Dill, D.L., "Automata-theoretic verification of real-time systems", in: Formal Methods for Real-Time Computing, Trends in Software Series, John Wiley & Sons, 1996, pp. 55-82.
5. Dierks H., "PLC-Automata, A New Class of Implementable Real-Time Automata", in: Bertran M., Rus T. (eds): Transformation-Based Reactive Systems Development, LNCS 1231, Springer, Berlin, 1997,pp. 111-125.
6. Kaynar, D.K, Lynch, N., Segala, R., Vaandrager, F., "The Theory of Timed I/O Automata", Technical Report MIT-LCS-TR-917a, MIT Lab. for Computer Science, 2004.
7. Jensen, K., Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use, Springer, Berlin, 1997.
8. Behrmann G., David A., Larsen K.G, A Tutorial on Uppaal, Department of Computer Science, Aalborg University, 2004.
9. Sacha K., Automatic Code Generation for PLC Controllers, in: R. Winter, B. A. Gran, G. Dahll (eds.) Computer Safety, Reliability and Security, LNCS 3688, Springer-Verlag, Berlin Heidelberg 2005, pp. 303-316.
10. Sacha K., Translatable Finite State Time Machine, in: Gaudin E., Najm E., Reed R. (eds.): Sdl 2007: Design for Dependable Systems, LNCS 4745, Springer-Verlag, Berlin Heidelberg, 2007, pp. 117-132.
11. IEC 1131-3, Programmable controllers - part 3: Programming languages, IEC, 1993.
12. Henzinger TA., Nicollin X., Sifakis J., Yovine S., "Symbolic model checking for real-time systems", Information and Computation, vol 111, 1994, pp. 193-244.