A System Dependability Modeling Framework Using AADL and GSPNs-Reference-Cited by-同舟云学术

A System Dependability Modeling Framework Using AADL and GSPNs

Published:2007 Issue: Volume: Page:14-38
ISSN:0302-9743
Container-title:Architecting Dependable Systems IV
language:
Short-container-title:

Author:

Rugina Ana-Elena,Kanoun Karama,Kaâniche Mohamed

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-74035-3_2

Reference25 articles.

1. SAE-AS5506: SAE Architecture Analysis and Design Language (AADL), International Society of Automotive Engineers, Warrendale, PA, USA (November 2004)

2. SAE-AS5506/1: SAE Architecture Analysis and Design Language (AADL) Annex vol. 1, Annex E: Error Model Annex, International Society of Automotive Engineers, Warrendale, PA, USA (June 2006)

3. Bondavalli, A., Chiaradonna, S., Di Giandomenico, F., Mura, I.: Dependability Modeling and Evaluation of multiple-phased systems, using DEEM. IEEE Transactions on Reliability 53, 509–522 (2004)

4. Kanoun, K., Borrel, M.: Fault-tolerant systems dependability. Explicit modeling of hardware and software component-interactions. IEEE Transactions on Reliability 49, 363–376 (2000)

5. Lecture Notes in Computer Science;S. Bernardi,2004

Cited by 43 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Dependability Analysis of a System Using State-Space Modeling Techniques: A Systematic Review;IEEE Transactions on Reliability;2023-12

2. Reliability Evaluation Based on the Colored Petri Net Converted from AADL Models for the Wheel Brake System of Aircraft;Aerospace;2023-08-22

3. Challenges with Providing Reliability Assurance for Self-Adaptive Cyber-Physical Systems;2022 6th International Conference on System Reliability and Safety (ICSRS);2022-11-23

4. IMA Dynamic Reconfiguration Modelling and Reliability Analysis of Tasks Based on Petri Net;Complex Systems Design & Management;2021

5. Safety Analysis of Integrated Modular Avionics System Based on FTGPN Method;International Journal of Aerospace Engineering;2020-09-01