NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
ADGS-2100 Adaptive Display and Guidance System Window Manager AnalysisRecent advances in modeling languages have made it feasible to formally specify and analyze the behavior of large system components. Synchronous data flow languages, such as Lustre, SCR, and RSML-e are particularly well suited to this task, and commercial versions of these tools such as SCADE and Simulink are growing in popularity among designers of safety critical systems, largely due to their ability to automatically generate code from the models. At the same time, advances in formal analysis tools have made it practical to formally verify important properties of these models to ensure that design defects are identified and corrected early in the lifecycle. This report describes how these tools have been applied to the ADGS-2100 Adaptive Display and Guidance Window Manager being developed by Rockwell Collins Inc. This work demonstrates how formal methods can be easily and cost-efficiently used to remove defects early in the design cycle.
Document ID
20060006672
Acquisition Source
Langley Research Center
Document Type
Contractor Report (CR)
Authors
Whalen, Mike W. (Rockwell Collins, Inc. Cedar Rapids, IA, United States)
Innis, John D. (Rockwell Collins, Inc. Cedar Rapids, IA, United States)
Miller, Steven P. (Rockwell Collins, Inc. Cedar Rapids, IA, United States)
Wagner, Lucas G. (Rockwell Collins, Inc. Cedar Rapids, IA, United States)
Date Acquired
August 23, 2013
Publication Date
February 1, 2006
Subject Category
Computer Programming And Software
Report/Patent Number
NASA/CR-2006-213952
Funding Number(s)
CONTRACT_GRANT: NCC1-01001
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available