DocumentCode :
2549347
Title :
EDICT: Tools for model-based architectural specification and analysis
Author :
LaValley, B.
fYear :
2012
fDate :
14-18 Oct. 2012
Firstpage :
1
Lastpage :
22
Abstract :
Presents a collection of slides covering the following topics: EDICT tools; system cost; system quality; error propagation analysis; performance analysis; safety tagging; data visualization; information assurance analysis; model-based analysis; and model-based architectural specification.
Keywords :
aircraft computers; data visualisation; formal specification; formal verification; software architecture; software performance evaluation; software tools; EDICT tools; Simulink integration; application verification; data visualization; error propagation analysis; information assurance analysis; model-based analysis; model-based architectural specification; performance analysis; safety tagging;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
Conference_Location :
Williamsburg, VA
ISSN :
2155-7195
Print_ISBN :
978-1-4673-1699-6
Type :
conf
DOI :
10.1109/DASC.2012.6383076
Filename :
6383076
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2549347
بازگشت