NASA LogoNTRSNTRS - NASA Technical Reports ServerSearchmore_vertCollectionsAboutNewsHelpLogin Back to ResultsSafe and Optimal Techniques Enabling Recovery, Integrity, and AssuranceThere is a trend in the aviation industry to go from federated to integrated computing systems. Combining a number of traditional stand-alone federated systems into an integrated common platform (called Integrated Modular Avionics, IMA) has the benefit of increased power efficiency, reduced support hardware, and reduced cabling. However, changing from federated to integrated has a significant impact on the system architecture and hence the process of how avionic systems are to be analyzed. Traditional approaches to safety analysis become inefficient when functional boundaries can no longer be assumed for failure independence and fault isolation. In this report, we describe a tool that we developed to accelerate the safety engineer's ability to perform safety analysis of IMA systems through modeling, as well as optimize the system engineer's ability to develop a system through architecture synthesis. This work was the result of a three-year research effort called SOTERIA (Safe and Optimal Techniques Enabling Recovery, Integrity, and Assurance). We developed a compositional modeling language that supports rapid development, modification, and evaluation of architectures. The modeling language is structured such that the end-user defines a library of components with information on component reliability, connectivity, and fault propagation logic. The system model is built by instantiating the components from the library, connecting the components, and identifying the top-level faults of interest. Our tool is compositional in that the end-user only needs to define safety aspects at the component level. The tool takes the model and automatically synthesizes both the qualitative and quantitative safety analyses. We go further by allowing users to describe system information such as components to use in an architecture and their connection compatibility and automatically synthesize an architecture that meets the top-level probability target adhering to end-user specified constraints. This capability allows users to rapidly explore a design space..Document ID20190027401Acquisition SourceLangley Research CenterDocument TypeContractor Report (CR)AuthorsSiu, Kit Y.*(GE Global Research Center Niskayuna, NY, United States)*Herencia-Zapana, Heber*(GE Global Research Center Niskayuna, NY, United States)*Manolios, Panagiotis*(Northeastern Univ. Boston, MA, United States)*Noorman, Michael*(General Electric Aviation Systems, LLC Grand Rapids, MI, United States)*Haadsma, Richard*(General Electric Aviation Systems, LLC Grand Rapids, MI, United States)*Date AcquiredJuly 17, 2019Publication DateJune 1, 2019Subject CategoryComputer SystemsReport/Patent NumberNASA/CR-2019-220283NF1676L-29251Funding Number(s)CONTRACT_GRANT: NNL15AA02CWBS: 340428.02.10.07.01Distribution LimitsPublicCopyrightPublic Use Permitted.Available DownloadsNameType20190027401.pdfSTIcloud_downloadcontent_copyvisibilityRelated RecordsThere are no records associated with this record.visibility_offNo Preview Available
 No Fear Act | Freedom of Information Act | Office of the Inspector General | Agency Financial ReportsNASA Web Privacy Policy and Important Notices | NASA Guidelines for Quality of InformationDisclaimers, Copyright, Terms of Use | Accessibility | NASA OCIO | USA.gov | NASA.govContact Us | Site MapSTI LogoNASA Official: JoAnne R. Calhoun Site Curator: STI Compliance and Distribution Services Last Modified: September 12, 2024