DocumentCode :
2913216
Title :
CertWare: A workbench for safety case production and analysis
Author :
Barry, Matthew R.
Author_Institution :
Kestrel Technol. LLC, Palo Alto, CA, USA
fYear :
2011
fDate :
5-12 March 2011
Firstpage :
1
Lastpage :
10
Abstract :
Next Generation Air Transportation System (NextGen) is an umbrella term for the ongoing, wide-ranging transformation of the National Airspace System (NAS). NextGen will offer enhanced performance and efficiency over the existing NAS through capabilities distributed across ground, air, and space-based resources.
Keywords :
aerospace computing; certification; software architecture; software metrics; software tools; CertWare project; NAS; National Airspace System; next generation air transportation system; software architecture; software metrics; software tool; workbench software certification; Analytical models; Biological system modeling; Organizations; Production; Project management; Prototypes; Safety;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Aerospace Conference, 2011 IEEE
Conference_Location :
Big Sky, MT
ISSN :
1095-323X
Print_ISBN :
978-1-4244-7350-2
Type :
conf
DOI :
10.1109/AERO.2011.5747648
Filename :
5747648
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2913216
بازگشت