Avionics Software Verification and Validation

• Rockwell Collins research on Methods and Tools For Flight Critical Systems

• Honeywell Technology Center (Minneapolis) research to develop and implement formal techniques for verifying the safety of IMA software using the DEOS operating system as the test subject. See EMSOFT02 Talk and

  Cofer, Darren; Engstrom, Eric; Weininger, N.; Penix, J.; Visser, W.: Using model checking for verification of partitioning properties in integrated modular avionics ,19th Digital Avionics Systems Conference, 7-13 October 2000, Philadelphia, PA, p. 1D2/1-10.