Using model checking for verification of partitioning properties in Integrated Modular Avionics

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2000, Pages

  Cofer, Darren ^a   Engstrom, Eric ^a   Weininger, Nicholas ^a   Penix, John ^a   Visser, Willem ^a  

^a HONEYWELL TECHNOLOGY CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER ARCHITECTURE; COMPUTER CONTROL SYSTEMS; COMPUTER OPERATING SYSTEMS; PROGRAM PROCESSORS; SCHEDULING;

INTEGRATED MODULAR AVIONICS (IMA);

AVIONICS;

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

References (14)