A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331
The usage of Model-based Development is increasing in aerospace industry, and the current standards do not give appropriate support for application of this technique. The newly released standard DO-331, developed by Radio Technical Commission for Aeronautics, comes to fill this gap, giving specific...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Tagungsbericht |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 32 |
|---|---|
| container_issue | |
| container_start_page | 27 |
| container_title | |
| container_volume | |
| creator | Sarkis, Andre Vieira Dias, Luiz Alberto |
| description | The usage of Model-based Development is increasing in aerospace industry, and the current standards do not give appropriate support for application of this technique. The newly released standard DO-331, developed by Radio Technical Commission for Aeronautics, comes to fill this gap, giving specific guidance for the usage of models during development of safety-critical software, complementing DO-178C. This paper discuss on how to develop models that are adherent to the guidance provided by both DO-331 and DO-178C. A set of design rules are defined to contemplate some specific objectives of both standards. Case the rules are followed during the implementation of a design model, the compliance with the defined set of objectives should be achieved. |
| doi_str_mv | 10.1109/ITNG.2014.57 |
| format | Conference Proceeding |
| fullrecord | <record><control><sourceid>proquest_6IE</sourceid><recordid>TN_cdi_ieee_primary_6822171</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6822171</ieee_id><sourcerecordid>1709720732</sourcerecordid><originalsourceid>FETCH-LOGICAL-i208t-c33ed9f8dd208c00cde0aa777e5a49b0ddfaab4b268d924aa1977c707107567a3</originalsourceid><addsrcrecordid>eNo1jDFPwzAUhI0QElC6sbF4ZEl4z07z4rFKoVQqFNEiIZbIjR0wSuMSJ0L8e1oVprvv9OkYu0SIEUHdzFaP01gAJvGIjthQUYYJKSUxS9Njdv4P9HrKhiF8AoBATBKJZ-xtzJe2477iz31tA698y59ab_qyc77Z7xMb3HvDH7yxdeC532xrp5uOf7vugy873RjdmsAniwgpy_mO911KvGAnla6DHf7lgL3c3a7y-2i-mM7y8TxyArIuKqW0RlWZMTssAUpjQWsisiOdqDUYU2m9TtYizYwSidaoiEoCQqBRSloO2PXhd9v6r96Grti4UNq61o31fSiQQJEAkmKnXh1UZ60ttq3b6PanSDMhkFD-AiVFXhM</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype><pqid>1709720732</pqid></control><display><type>conference_proceeding</type><title>A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Sarkis, Andre ; Vieira Dias, Luiz Alberto</creator><creatorcontrib>Sarkis, Andre ; Vieira Dias, Luiz Alberto</creatorcontrib><description>The usage of Model-based Development is increasing in aerospace industry, and the current standards do not give appropriate support for application of this technique. The newly released standard DO-331, developed by Radio Technical Commission for Aeronautics, comes to fill this gap, giving specific guidance for the usage of models during development of safety-critical software, complementing DO-178C. This paper discuss on how to develop models that are adherent to the guidance provided by both DO-331 and DO-178C. A set of design rules are defined to contemplate some specific objectives of both standards. Case the rules are followed during the implementation of a design model, the compliance with the defined set of objectives should be achieved.</description><identifier>ISBN: 147993187X</identifier><identifier>ISBN: 9781479931873</identifier><identifier>EISBN: 9781479931866</identifier><identifier>EISBN: 9781479931880</identifier><identifier>EISBN: 1479931861</identifier><identifier>EISBN: 1479931888</identifier><identifier>DOI: 10.1109/ITNG.2014.57</identifier><identifier>CODEN: IEEPAD</identifier><language>eng</language><publisher>IEEE</publisher><subject>AC 20-115C ; Adaptation models ; Aerospace industry ; Aircraft components ; Atmospheric modeling ; Computational modeling ; Computer architecture ; Computer programs ; Conferences ; design model ; DO-178C ; DO-331 ; Information technology ; Model-based Development ; safety-critical software ; Software ; Software architecture ; Spacecraft components</subject><ispartof>11th International Conference on Information Technology : ITNG 2014 : proceedigns, 7-9 April 2014, Las Vegas, Nevada, USA, 2014, p.27-32</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6822171$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,314,780,784,789,790,2058,27924,27925,54920</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6822171$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Sarkis, Andre</creatorcontrib><creatorcontrib>Vieira Dias, Luiz Alberto</creatorcontrib><title>A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331</title><title>11th International Conference on Information Technology : ITNG 2014 : proceedigns, 7-9 April 2014, Las Vegas, Nevada, USA</title><addtitle>itng</addtitle><description>The usage of Model-based Development is increasing in aerospace industry, and the current standards do not give appropriate support for application of this technique. The newly released standard DO-331, developed by Radio Technical Commission for Aeronautics, comes to fill this gap, giving specific guidance for the usage of models during development of safety-critical software, complementing DO-178C. This paper discuss on how to develop models that are adherent to the guidance provided by both DO-331 and DO-178C. A set of design rules are defined to contemplate some specific objectives of both standards. Case the rules are followed during the implementation of a design model, the compliance with the defined set of objectives should be achieved.</description><subject>AC 20-115C</subject><subject>Adaptation models</subject><subject>Aerospace industry</subject><subject>Aircraft components</subject><subject>Atmospheric modeling</subject><subject>Computational modeling</subject><subject>Computer architecture</subject><subject>Computer programs</subject><subject>Conferences</subject><subject>design model</subject><subject>DO-178C</subject><subject>DO-331</subject><subject>Information technology</subject><subject>Model-based Development</subject><subject>safety-critical software</subject><subject>Software</subject><subject>Software architecture</subject><subject>Spacecraft components</subject><isbn>147993187X</isbn><isbn>9781479931873</isbn><isbn>9781479931866</isbn><isbn>9781479931880</isbn><isbn>1479931861</isbn><isbn>1479931888</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2014</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNo1jDFPwzAUhI0QElC6sbF4ZEl4z07z4rFKoVQqFNEiIZbIjR0wSuMSJ0L8e1oVprvv9OkYu0SIEUHdzFaP01gAJvGIjthQUYYJKSUxS9Njdv4P9HrKhiF8AoBATBKJZ-xtzJe2477iz31tA698y59ab_qyc77Z7xMb3HvDH7yxdeC532xrp5uOf7vugy873RjdmsAniwgpy_mO911KvGAnla6DHf7lgL3c3a7y-2i-mM7y8TxyArIuKqW0RlWZMTssAUpjQWsisiOdqDUYU2m9TtYizYwSidaoiEoCQqBRSloO2PXhd9v6r96Grti4UNq61o31fSiQQJEAkmKnXh1UZ60ttq3b6PanSDMhkFD-AiVFXhM</recordid><startdate>20140401</startdate><enddate>20140401</enddate><creator>Sarkis, Andre</creator><creator>Vieira Dias, Luiz Alberto</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope><scope>7SC</scope><scope>7SP</scope><scope>8FD</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20140401</creationdate><title>A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331</title><author>Sarkis, Andre ; Vieira Dias, Luiz Alberto</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i208t-c33ed9f8dd208c00cde0aa777e5a49b0ddfaab4b268d924aa1977c707107567a3</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2014</creationdate><topic>AC 20-115C</topic><topic>Adaptation models</topic><topic>Aerospace industry</topic><topic>Aircraft components</topic><topic>Atmospheric modeling</topic><topic>Computational modeling</topic><topic>Computer architecture</topic><topic>Computer programs</topic><topic>Conferences</topic><topic>design model</topic><topic>DO-178C</topic><topic>DO-331</topic><topic>Information technology</topic><topic>Model-based Development</topic><topic>safety-critical software</topic><topic>Software</topic><topic>Software architecture</topic><topic>Spacecraft components</topic><toplevel>online_resources</toplevel><creatorcontrib>Sarkis, Andre</creatorcontrib><creatorcontrib>Vieira Dias, Luiz Alberto</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection><collection>Computer and Information Systems Abstracts</collection><collection>Electronics & Communications Abstracts</collection><collection>Technology Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Sarkis, Andre</au><au>Vieira Dias, Luiz Alberto</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331</atitle><btitle>11th International Conference on Information Technology : ITNG 2014 : proceedigns, 7-9 April 2014, Las Vegas, Nevada, USA</btitle><stitle>itng</stitle><date>2014-04-01</date><risdate>2014</risdate><spage>27</spage><epage>32</epage><pages>27-32</pages><isbn>147993187X</isbn><isbn>9781479931873</isbn><eisbn>9781479931866</eisbn><eisbn>9781479931880</eisbn><eisbn>1479931861</eisbn><eisbn>1479931888</eisbn><coden>IEEPAD</coden><abstract>The usage of Model-based Development is increasing in aerospace industry, and the current standards do not give appropriate support for application of this technique. The newly released standard DO-331, developed by Radio Technical Commission for Aeronautics, comes to fill this gap, giving specific guidance for the usage of models during development of safety-critical software, complementing DO-178C. This paper discuss on how to develop models that are adherent to the guidance provided by both DO-331 and DO-178C. A set of design rules are defined to contemplate some specific objectives of both standards. Case the rules are followed during the implementation of a design model, the compliance with the defined set of objectives should be achieved.</abstract><pub>IEEE</pub><doi>10.1109/ITNG.2014.57</doi><tpages>6</tpages></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISBN: 147993187X |
| ispartof | 11th International Conference on Information Technology : ITNG 2014 : proceedigns, 7-9 April 2014, Las Vegas, Nevada, USA, 2014, p.27-32 |
| issn | |
| language | eng |
| recordid | cdi_ieee_primary_6822171 |
| source | IEEE Electronic Library (IEL) Conference Proceedings |
| subjects | AC 20-115C Adaptation models Aerospace industry Aircraft components Atmospheric modeling Computational modeling Computer architecture Computer programs Conferences design model DO-178C DO-331 Information technology Model-based Development safety-critical software Software Software architecture Spacecraft components |
| title | A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331 |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-27T23%3A22%3A44IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=A%20Set%20of%20Rules%20for%20Production%20of%20Design%20Models%20Compliant%20with%20Standards%20DO-178C%20and%20DO-331&rft.btitle=11th%20International%20Conference%20on%20Information%20Technology%20:%20ITNG%202014%20:%20proceedigns,%207-9%20April%202014,%20Las%20Vegas,%20Nevada,%20USA&rft.au=Sarkis,%20Andre&rft.date=2014-04-01&rft.spage=27&rft.epage=32&rft.pages=27-32&rft.isbn=147993187X&rft.isbn_list=9781479931873&rft.coden=IEEPAD&rft_id=info:doi/10.1109/ITNG.2014.57&rft_dat=%3Cproquest_6IE%3E1709720732%3C/proquest_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9781479931866&rft.eisbn_list=9781479931880&rft.eisbn_list=1479931861&rft.eisbn_list=1479931888&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1709720732&rft_id=info:pmid/&rft_ieee_id=6822171&rfr_iscdi=true |