Title :
Modeling and reliability evaluation of avionics clouds based on AADL and GSPN
Author :
Xiaojie Tu ; Jinrui Xu ; Qing Wu ; Xiaomin Liu ; Huagang Xiong
Author_Institution :
Beihang Univ., Beijing, China
Abstract :
Presents a collection of slides covering the following topics: avionic cloud modeling evaluation; avionic cloud reliability evaluation; AADL and GSPN.
Keywords :
aerospace computing; avionics; cloud computing; software reliability; AADL; GSPN; architecture analysis-&-design language; avionic cloud modeling evaluation; avionic cloud reliability evaluation;
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2013 IEEE/AIAA 32nd
Conference_Location :
East Syracuse, NY
Print_ISBN :
978-1-4799-1536-1
DOI :
10.1109/DASC.2013.6719733