A formal model of partitioning for integrated modular avionics [microform] / Ben L. Di Vito.

"The aviation industry is gradually moving toward the use of integrated modular avionics (IMA) for civilian transport aircraft. An important concern for IMA is ensuring that applications are safely partitioned so they cannot interfere with one another. We have investigated the problem of ensuri...

Full description

Bibliographic Details

Online Access:	Click here to view online
Main Author:	Di Vito, Ben L.
Corporate Authors:	Langley Research Center, United States. National Aeronautics and Space Administration
Format:	Government Document Microfilm Book
Language:	English
Published:	Hampton, Va. : Springfield, VA : National Aeronautics and Space Administration, Langley Research Center ; National Technical Information Service, distributor, [1998]
Series:	NASA contractor report ; NASA CR-208703.
Subjects:	Airborne/spaceborne computers. Aircraft industry. Avionics. Computer information security. Transport aircraft.