Event-triggered environments for verification of real-time systems

Winter Simulation Conference Proceedings

Volumn 1, Issue , 2003, Pages 915-922

  Cofer, Darren D ^a   Rangarajan, Murali ^a  

^a HONEYWELL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AVIONICS; C (PROGRAMMING LANGUAGE); COMPUTER SIMULATION; COMPUTER SOFTWARE; FAULT TOLERANT COMPUTER SYSTEMS; JET AIRCRAFT; SYNCHRONIZATION;

INTEGRATED MODULAR AVIONICS (IMA); NON-FAULT SYSTEMS;

REAL TIME SYSTEMS;

EID: 1642477978     PISSN: 02750708     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (8)

1. th Digital Avionics System, Daytona Beach, FL.
2. Cofer, Darren and Murali Rangarajan. 2002. Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS. In Proceedings EMSOFT '02: Second International Workshop on Embedded Software, ed. Alberto Sangiovanni-Vincentelli and Joseph Sifakis. Springer-Verlag.
3. Holzmann, G. 1997. The model checker SPIN. IEEE Transactions on Software Engineering 23 (5), 279-295.
4. Honeywell. 1999. Design Description Document for the Digital Engine Operating System. Honeywell specification no. PS7022409.
5. Pasareanu, Corina S. 2000. Deos Kernel: Environment Modeling using LTL Assumptions. NASA Ames Technical Report NASA-ARC-IC-2000-196.
6. Penix, J., W. Visser, E. Engstrom, A. Larson, and N. Weininger. 2000. Verification of Time Partitioning in the Deos Scheduler Kernel. In Proceedings of the 22nd International Conference on Software Engineering, Limerick, Ireland.
7. RTCA. 1992. DO-178B: Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc., Washington, DC.
8. Weininger, Nicholas, and Darren Cofer. 2000. Modeling the ASCB-D Synchronization Algorithm with SPIN: A Case Study. In Proceedings of the 7th SPIN Workshop, LNCS 1885, Springer-Verlag.