Reliability assessment method for component system based on AADL architecture model

DOI10.3969/J.ISSN.1001-506X.2017.04.35MaRDI QIDQ3132702zbMATH OpenFDO

Authors Dongyi Ling, Shihai Wang, Bin Liu

Publication date 29 January 2018

zbMATH Keywords

reliability assessmentreliability modelsystem architecture general stochastic Petri net

Mathematics Subject Classification ID

Reliability and life testing (62N05) Applications of statistics in engineering and industry; control charts (62P30) Reliability, availability, maintenance, inspection in operations research (90B25)

Recommendations

• Architecture-based approach to reliability assessment of software systems
• Formal reliability analysis of redundancy architectures
• scientific article; zbMATH DE number 2219689
• Reliability model of component-based software
• Current status and prospect for the methods of system reliability

This page was built for publication: Reliability assessment method for component system based on AADL architecture model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3132702)