NDLI: Modular Verification: Testing a Subset of Integrated Modular Avionics in Isolation

Content Provider	IEEE Xplore Digital Library
Author	Watkins, C.B.
Copyright Year	2006
Description	Author affiliation: Smiths Aerosp. LLC, Grand Rapids, MI (Watkins, C.B.)
Abstract	Integrated modular avionics (IMA) present many benefits in power and weight savings for an aircraft, but also create new challenges for verification due to the increased complexity in interactions between the highly integrated network of avionics systems. For a large set of hosted avionics functions, it is impractical to exhaustively test an entire set of functions while they are fully integrated. There can be a combinatorial explosion of test cases for an integrated IMA system since the performance and function of a hosted system can be impacted by other hosted systems. This traditional test approach would be characterized by a high cost of change since any single system change could require the full integrated set of systems to be retested. This paper introduces a modular verification strategy for IMA systems, which provides a practical approach to verifying these architectures. Within the modular verification strategy, systems are verified in isolation from the fully integrated set of avionics systems. This can be done without requiring re-test within the fully integrated environment. In order to accomplish this, terms of equivalency must be established for an avionics system's test environment with respect to the integrated system environment. This equivalency relies on reasoning in the logical system domain rather than the physical system domain. This is a fundamental change in reasoning from traditional verification concepts employed within federated architectures. The cost of change is minimized since each hosted system can be tested and retested without impacting the test results for other hosted systems. This proposed verification strategy is based upon the author's experience in developing the Genesis IMA architecture at Smiths Aerospace. The Genesis IMA architecture was implemented on the Boeing 787 Dreamliner as the common core system (CCS). The CCS is one of the first implementations of an "open systems" IMA architecture
Starting Page	1
Ending Page	12
File Size	324704
Page Count	12
File Format	PDF
ISBN	1424403774
DOI	10.1109/DASC.2006.313747
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2006-10-15
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Aerospace electronics Computer architecture System testing Aerospace testing Aircraft Costs Open systems Carbon capture and storage Aerospace industry Software safety
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Integrated modular avionics

Modular avionics systems architecture (MASA) test and diagnostics

Information Assurance and Open Architecture Integrated Modular Avionics

Common integrated processing in modular avionics

Modeling and simulation of integrated modular avionics

Migration of Integrated Modular Avionics to space

Integrated modular avionics: Practical aspects of system integration

MILS virtualization for Integrated Modular Avionics

Comparing two industry game changers: Integrated modular avionics and the iPhone

Modular Verification: Testing a Subset of Integrated Modular Avionics in Isolation

Similar Documents

Integrated modular avionics

Modular avionics systems architecture (MASA) test and diagnostics

Information Assurance and Open Architecture Integrated Modular Avionics

Common integrated processing in modular avionics

Modeling and simulation of integrated modular avionics

Migration of Integrated Modular Avionics to space

Integrated modular avionics: Practical aspects of system integration

MILS virtualization for Integrated Modular Avionics

Comparing two industry game changers: Integrated modular avionics and the iPhone

Modular Verification: Testing a Subset of Integrated Modular Avionics in Isolation