Model checking safety properties of servo-loop control systems

Proceedings of the 2002 International Conference on Dependable Systems and Networks

Volumn , Issue , 2002, Pages 45-50

  Johnson, M Edwin ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SIMULATION; FINITE AUTOMATA; HAZARDS; MATHEMATICAL MODELS;

FINITE STATE MODELING; SAFETY PREDICATES; SERVO LOOP CONTROL SYSTEMS; SYMBOLIC MODEL CHECKING;

CONTROL SYSTEM ANALYSIS;

EID: 0036930704     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DSN.2002.1028885     Document Type: Conference Paper

References (6)

1. Paul Ammann, Wei Ding, and Daling Xu. Using a Model Checker to Test Safety Properties. In Proceedings ICECCS 2001: Seventh IEEE International Conference on Engineering of Complex Computer Systems, pages 212-221, Skovde, Sweden, June 2001.
2. William Chan, Richard J. Anderson, Paul Beame, Steve Burns, Francesmary Madugno and David Notkin. Model Checking Large Software Specifications. IEEE Transactions on Software Engineering, 24(7):498-520, July 1998.
3. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, Cambridge, Massachusetts, USA, 2000.
4. Nancy G. Levenson Safeware: System Safety and Computers, Addison-Wesley, 1995.
5. Richard C. Dorf: Modern Control Systems, Addison-Wesley, 1981.
6. John Rushby. Kernels for safety? In Tom Anderson, editor, Safe and Secure Computing Systems, 210-220. Blackwell Scientific Publications 1989. Proceedings of a Symposium held in Glasgow, UK, October, 1986.