VERDICT - A tool for model-based verification of real-time logic process controllers

Proceedings of the Joint Workshop on Parallel and Distributed Real-Time Systems - 5th International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 1997 and the 3rd Workshop on Object-Oriented Real-Time Systems, OORTS 1997

Volumn , Issue , 1997, Pages 217-221

  Kowalewski, S ^a   Treseler, H ^a  

^a TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL VERIFICATION; INTERACTIVE COMPUTER SYSTEMS; PROCESS CONTROL;

CONDITION/EVENT SYSTEMS; CURRENT PROJECTS; LOGIC CONTROLLER; MODEL BASED VERIFICATION; MODEL FRAMEWORK; PIECEWISE-CONTINUOUS; REAL-TIME LOGIC; VERIFICATION TECHNIQUES;

REAL TIME SYSTEMS;

EID: 85041020923     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WPDRTS.1997.637982     Document Type: Conference Paper

References (8)

1. E. M. Clarke and R. P. Kurshan: Computer-aided verification. IEEE Spectrum, June 1996: 61-67.
2. R. S. Sreenivas and B. H. Krogh: On Condition/Event Systems with Discrete State Realization. Discrete Event Dynamic Systems: Theory and Applications 1(2), 1991: 209-236.
3. S. Engell, S. Kowalewski, B. H. Krogh, and J. PreuBig: Condition/event systems: a powerful paradigm for timed and untimed discrete models of technical systems. In F. Breitenecker, I. Husinsky (Eds.): EUROS1M 95, Elsevier, Amsterdam, 1995: 421-426.
4. S. Kowalewski und J. PreuBig: Timed Condition/Event systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control. In T. Margaria, B. Steffen (Hrsg.): Tools and Algorithms for the Construction and Analysis of Systems, Proc. 2nd International Workshop TACAS'96, LNCS 1055, Springer, 1996: pp. 225-240.
5. R. Alur und D. L. Dill: A Theory of Timed Automata. Theoretical Comp. Science 126,1994: 183-235.
6. R. Huuck, Y. Lakhnech, L. Urbina, S. Engell, S. Kowalewski, and J. PreuBig: Comparing Timed C/E Systems with Timed Automata. International Workshop on Hybrid and Real-Time Systems (HART'97), Grenoble, France, 26.-28.3.1997, LNCS 1201, pp. 81-86.
7. International Electrotechnical Commission. Standard DEC 1131: Programmable controllers, Part 3: Programming Languages, IEC Geneva, Switzerland, 1993.
8. R. E, Bryant: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers, C-35(8), 1986: 677-691, 1986.