DocumentCode :
2997027
Title :
A reference method for airborne software requirements
Author :
Marques, Jose ; Cunha, Antonio
Author_Institution :
Dept. of Comput. Sci., Brazilian Aeronaut. Inst. of Technol. (ITA), Sao Jose dos Campos, Brazil
fYear :
2013
fDate :
5-10 Oct. 2013
Firstpage :
1
Lastpage :
29
Abstract :
Presents a collection of slides covering the following topics: airborne software requirements; software safety standards; CARD-RM definition; DO-178C compliance; safety-critical software; software development life cycle; agile software development; DASC plan-driven standards; requirements-driven standards; document-driven standards; and DO-331 compliance.
Keywords :
conformance testing; formal specification; program verification; safety-critical software; software prototyping; software standards; CARD-RM definition; DASC; DO-178C compliance; DO-331 compliance; agile software development; airborne software requirements; document-driven standards; plan-driven standards; requirements-driven standards; safety-critical software; software development life cycle; software safety standards; Computer science; Medical services; Software safety; Standards;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2013 IEEE/AIAA 32nd
Conference_Location :
East Syracuse, NY
ISSN :
2155-7195
Print_ISBN :
978-1-4799-1536-1
Type :
conf
DOI :
10.1109/DASC.2013.6719712
Filename :
6719712
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2997027
بازگشت