Is Model-Based Development a Favorable Approach for Complex and Safety-Critical Computer Systems on Commercial Aircraft?
A system is safety-critical if its failure can endanger human life or cause significant damage to property or the environment. State-of-the-art computer systems on commercial aircraft are highly complex, software-intensive, functionally integrated, and network-centric systems of systems. Ensuring th...
Saved in:
Published in | NASA Center for AeroSpace Information (CASI). Reports |
---|---|
Main Author | |
Format | Report |
Language | English |
Published |
Hampton
NASA/Langley Research Center
01.12.2014
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
Abstract | A system is safety-critical if its failure can endanger human life or cause significant damage to property or the environment. State-of-the-art computer systems on commercial aircraft are highly complex, software-intensive, functionally integrated, and network-centric systems of systems. Ensuring that such systems are safe and comply with existing safety regulations is costly and time-consuming as the level of rigor in the development process, especially the validation and verification activities, is determined by considerations of system complexity and safety criticality. A significant degree of care and deep insight into the operational principles of these systems is required to ensure adequate coverage of all design implications relevant to system safety. Model-based development methodologies, methods, tools, and techniques facilitate collaboration and enable the use of common design artifacts among groups dealing with different aspects of the development of a system. This paper examines the application of model-based development to complex and safety-critical aircraft computer systems. Benefits and detriments are identified and an overall assessment of the approach is given. |
---|---|
AbstractList | A system is safety-critical if its failure can endanger human life or cause significant damage to property or the environment. State-of-the-art computer systems on commercial aircraft are highly complex, software-intensive, functionally integrated, and network-centric systems of systems. Ensuring that such systems are safe and comply with existing safety regulations is costly and time-consuming as the level of rigor in the development process, especially the validation and verification activities, is determined by considerations of system complexity and safety criticality. A significant degree of care and deep insight into the operational principles of these systems is required to ensure adequate coverage of all design implications relevant to system safety. Model-based development methodologies, methods, tools, and techniques facilitate collaboration and enable the use of common design artifacts among groups dealing with different aspects of the development of a system. This paper examines the application of model-based development to complex and safety-critical aircraft computer systems. Benefits and detriments are identified and an overall assessment of the approach is given. |
Author | Torres-Pomales, Wilfredo |
Author_xml | – sequence: 1 givenname: Wilfredo surname: Torres-Pomales fullname: Torres-Pomales, Wilfredo |
BookMark | eNqNjbsOgkAQRSm08PUPE3sKUIydQZRoYYU9GWGIJMvOOrsQ-HvR-AFWJ7nnJmfuTTRrmnn91cKNS1L-ES2VcKKOFJuGtAOEFDsWfCiC2BhhLJ5QsUDCjVHUA-oSMqzIDX4itasLVF_XOhLIBuuoscD6szUkRT3quJZCsHKHpTetUFla_bjw1un5nlz8sfNqybpcyLA4m4dBuA-2QRTtNn-d3iTVSMs |
ContentType | Report |
Copyright | Copyright NASA/Langley Research Center Dec 1, 2014 |
Copyright_xml | – notice: Copyright NASA/Langley Research Center Dec 1, 2014 |
DBID | 8FE 8FG AAFGM ABQRF AFKRA AFLLJ AFOKG AQTIP ARAPS BENPR BGLVJ CCPQU DWQXO HCIFZ P5Z P62 PQCXX PQEST PQQKQ PQUKI PRINS |
DatabaseName | ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central Korea - hybrid linking Technology Collection - hybrid linking ProQuest Central UK/Ireland SciTech Premium Collection - hybrid linking Advanced Technologies & Aerospace Collection - hybrid linking ProQuest Women's & Gender Studies - hybrid linking Advanced Technologies & Aerospace Collection AUTh Library subscriptions: ProQuest Central Technology Collection ProQuest One Community College ProQuest Central SciTech Premium Collection (Proquest) (PQ_SDU_P3) Advanced Technologies & Aerospace Database ProQuest Advanced Technologies & Aerospace Collection ProQuest Central - hybrid linking ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Academic ProQuest One Academic UKI Edition ProQuest Central China |
DatabaseTitle | Advanced Technologies & Aerospace Collection Technology Collection ProQuest Advanced Technologies & Aerospace Collection ProQuest One Academic Eastern Edition SciTech Premium Collection ProQuest One Community College ProQuest Technology Collection ProQuest SciTech Collection ProQuest Central China ProQuest Central Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition ProQuest Central Korea ProQuest One Academic |
DatabaseTitleList | Advanced Technologies & Aerospace Collection |
Database_xml | – sequence: 1 dbid: 8FG name: ProQuest Technology Collection url: https://search.proquest.com/technologycollection1 sourceTypes: Aggregation Database |
DeliveryMethod | fulltext_linktorsrc |
Genre | Report |
GroupedDBID | 8FE 8FG AFKRA ARAPS BENPR BGLVJ CCPQU DWQXO HCIFZ P62 PQEST PQQKQ PQUKI PRINS |
ID | FETCH-proquest_reports_21281415563 |
IEDL.DBID | BENPR |
IngestDate | Fri Sep 20 05:48:23 EDT 2024 |
IsPeerReviewed | false |
IsScholarly | false |
Language | English |
LinkModel | DirectLink |
MergedId | FETCHMERGED-proquest_reports_21281415563 |
PQID | 2128141556 |
PQPubID | 2026499 |
ParticipantIDs | proquest_reports_2128141556 |
PublicationCentury | 2000 |
PublicationDate | 20141201 |
PublicationDateYYYYMMDD | 2014-12-01 |
PublicationDate_xml | – month: 12 year: 2014 text: 20141201 day: 01 |
PublicationDecade | 2010 |
PublicationPlace | Hampton |
PublicationPlace_xml | – name: Hampton |
PublicationTitle | NASA Center for AeroSpace Information (CASI). Reports |
PublicationYear | 2014 |
Publisher | NASA/Langley Research Center |
Publisher_xml | – name: NASA/Langley Research Center |
Score | 2.9672034 |
Snippet | A system is safety-critical if its failure can endanger human life or cause significant damage to property or the environment. State-of-the-art computer... |
SourceID | proquest |
SourceType | Aggregation Database |
SubjectTerms | Aircraft Aircraft safety Commercial aircraft Complexity Property damage Safety critical State of the art |
Title | Is Model-Based Development a Favorable Approach for Complex and Safety-Critical Computer Systems on Commercial Aircraft? |
URI | https://www.proquest.com/docview/2128141556/abstract/ |
hasFullText | 1 |
inHoldings | 1 |
isFullTextHit | |
isPrint | |
link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV1LS8NAEB768OBNUVGrZRCvSyTZrMmptNIYPRTxAb2VfQWEmNgYpf57d9oEBaHXHVj2Od-8dj-ASy2Mw42MOMJkzLgNfRYLLpiMg9ioa06akaotZiJ94ffzcN6BtH0LQ2WVrU5cK2pTaoqRez6lfAj9hCcVRQF07Y3el4z4oyjP2pBpdKHvQCxwZ70_mc4eHv-p2DVuJHuwszFw96FjiwNY3X0gkY_lbOLAw-Cfih2UmMgvtx8qtzhuPvpGZ1Ei3djcrtC5_PgkM1t_s5afAFtOBmw-HseyoLY3olFy4vFrpSuZ1aNDuEimzzcpa0e5aHIFi98JB0fQK8rCHgNKHmnjK2Ujo7mIolhHMrjKnM8SCmW0fwKDLR2dbpUOYNdZA3xTq3EGvbr6tOcOcWs1hG6U3A6bJf0BDkyODg |
link.rule.ids | 786,790,4509,16419,21536,33408,33780,43633,43838 |
linkProvider | ProQuest |
linkToHtml | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwfV3dS8MwED90CvqmqKjz4xBfg9KmMX0aU6ydzr04YW8lTVIQ5ja7KvO_N9elKAh7zUHI5_3ui_sBXGphHG4UxBGmYsZtFLBYcMFUHMYmv-GkGanaYiDSV_44ikY-4Db3ZZWNTqwVtZlqipFfBZTyIfQTndkHI9Yoyq56Co112OChCOmdy-Thn1qtsSLZgc2lUbsLa3ayB4veHIlwbMxuHWAY_FOlgwoT9eXuIB9b7Prm3uisSKRfOrYLdG4-vqjCVt-s4STAhocBfbNxnE5o7J2ok5y4-1bqUhVVZx8ukvvhXcqaVWY-P5D9bjI8gJbz_-0hoOJSmyDPrTSaCyljLVV4XTg_JRK50cERtFdMdLxSeg5b6fC5n_V7g6c2bDtrgC9rNU6gVZWf9tQhbpWf1cf6A4C9ivA |
openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Is+Model-Based+Development+a+Favorable+Approach+for+Complex+and+Safety-Critical+Computer+Systems+on+Commercial+Aircraft%3F&rft.jtitle=NASA+Center+for+AeroSpace+Information+%28CASI%29.+Reports&rft.au=Torres-Pomales%2C+Wilfredo&rft.date=2014-12-01&rft.pub=NASA%2FLangley+Research+Center |