Formal modeling and analysis of advanced scheduling features in an avionics RTOS

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

Volumn 2491, Issue , 2002, Pages 138-152

  Cofer, Darren ^a   Rangarajan, Murali ^a  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AVIONICS; BUDGET CONTROL; COMPUTER OPERATING SYSTEMS; EMBEDDED SOFTWARE; SCHEDULING;

APPLICATION EXECUTION; FORMAL MODELING AND ANALYSIS; INTEGRATED MODULAR AVIONICS; INTERLEAVINGS; MODEL AND ANALYSIS; REAL TIME OPERATING SYSTEM; SCHEDULING FUNCTIONS; TIME PARTITIONING;

MODEL CHECKING;

EID: 34547327492     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45828-x_11     Document Type: Conference Paper

References (11)

1. Design Description Document for the Digital Engine Operating System. Honeywell specification no. PS7022409.
2. Binns, Pam: A robust high-performance time partitioning algorithm: the Digital Engine Operating System (Deos) approach. 20th Digital Avionics System Conference (2001)
3. Binns, Pam: Incremental rate monotonic scheduling for improved control system performance. IEEE Real-Time Applications Symposium (1997)
4. Binns, Pam: Scheduling slack in MetaH. IEEE Real-Time Systems Symposium work-in-progress session (1996)
5. Holzmann, G: The model checker Spin. IEEE Transactions on Software Engineering 23 (1997) 279–295
6. Lehoczky, J. P. and S. Ramos-Thuel: An optimal algorithm for scheduling aperiodic tasks in fixed-priority preemptive systems. IEEE Real-Time Systems Symposium (1992)
7. Liu, C. L. and J. W. Leyland: Scheduling Algorithms for Multiprogramming in a Hard Real Time Environment. Journal of the ACM 20 (1973) 46–61
8. Pasareanu, Corina S.: Deos Kernel: Environment Modeling using LTL Assumptions. NASA Ames Technical Report NASA-ARC-IC-2000-196 (2000)
9. Penix, J., W. Visser, E. Engstrom, A. Larson, and N. Weininger: Verification of Time Partitioning in the Deos Scheduler Kernel. International Conf. on Software Engineering (2000)
10. Penix, J., W. Visser, E. Engstrom, A. Larson, and N. Weininger: Translation and Verification of the Deos Scheduling Kernel. Technical report, NASA Ames Research Center/Honeywell Technology Center (1999)
11. RTCA/DO-178B: Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc., Washington DC (1992)