Applications of model checking at honeywell laboratories

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

Volumn 2057 LNCS, Issue , 2001, Pages 296-303

  Cofer, Darren ^a   Engstrom, Eric ^a   Goldman, Robert ^a   Musliner, David ^a   Vestal, Steve ^a  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

SAFETY ENGINEERING; ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEVELOPED MODEL; HONEYWELL; SAFETY CRITICAL SYSTEMS;

MODEL CHECKING;

EID: 24344435412     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45139-0_19     Document Type: Conference Paper

References (11)

1. P. Binns. Scheduling Slack in MetaH. Real-Time Systems Symposium, December 1996.
2. P. Binns. Incremental Rate Monotonic Scheduling for Improved Control System Performance. Real-Time Applications Symposium, 1997.
3. P. Binns. Design Document for Slack Scheduling in DEOS. Honeywell Technology Center Technical Report SST-R98-009, September 1998.
4. T. Henzinger, P. Ho, H. Wong-Toi. A User Guide to HyTech. University of Cali- fornia at Berkeley, www.eecs.berkeley.edu/~tah/HyTech).
5. G. Holzmann. The SPIN Model Checker. IEEE Transactions on Software Engi- neering, vol. 23, no. 5, May 1997, pp. 279-295.
6. D. Musliner, E. Durfee, and K. Shin. CIRCA: a cooperative intelligent real- time control architecture. IEEE Transactions on Systems, Man and Cybernetics 23(6):1561-1574.
7. J. Penix, W. Visser, E. Engstrom, A. Larson, and N. Weininger. Verification of time partitioning in the DEOS scheduler kernel. ICSE 2000.
8. S. Vestal. An architectural approach for integrating real-time systems. Workshop on Languages, Compilers and Tools for Real-Time Systems, June 1997.
9. S. Vestal. Modeling and verification of real-time software using extended linear hybrid automata. Fifth NASA Langley Formal Methods Workshop, June 2000 (see http://atb-www.larc.nasa.gov/fm/Lfm2000/).
10. N. Weininger, D. Cofer. Modeling the ASCB-D Synchronization Algorithm with Spin: A Case Study. 7th International Spin Workshop, September 2000.
11. S. Yovine. Kronos: A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer, vol. 1, no. 1/2, Oct. 1997.