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