Qualitative and Quantitative Optimization for Dependability Analysis

Leila Boucerredj, NasrEddine Debbache

Abstract


Systems that are not dependable and insecure may be rejected by their users. For many systems controlled by computer, the most important system property is the dependability of the system. For this reason in this paper, we propose a complete approach for dependability analysis. The proposed approach is based on optimization qualitative and quantitative for dependability analysis, qualitative optimization is based on causality relations between the events deduced from the Truth Table Method combined with Karnaugh Table for deriving minimal feared states, quantitative optimization is based on Reduced Markov Graph this graph is directly composed by a minimal feared state deduced from the qualitative optimization, to avoid the problem of combinatorial explosion in the number of states in the Markov graph modelling. The representation of the Markov graph will be particularly interesting to study dependability.

Full Text:

PDF

References


Elena Dubrova, Fundamentals of Dependability,

Chapter 2. Book, Fault-Tolerant Design, ISBN: 978-

-4614-2112-2. ©Springer 2013.XV, 185p.

https://doi.org/10.1007/978-1-84996-414-2

László Pokorádi. Failure Probability Analysis of

Bridge Structure Systems. 10th Jubilee IEEE

International Symposium on Applied Computational

Intelligence and Informatics. Timişoara, Romania,

May 21-23, 2015.

https://doi.org/10.1109/SACI.2015.7208220

Albert Myers, Complex System Reliability.

Springer-Verlag, London, 2010.

https://doi.org/10.1007/978-1-84996-414-2

Hamid Demmou, Sarhane Khalfaoui, Edwige

Guilhem, Robert Valette. Critical scenarios

derivation methodology for mechatronic systems.

Reliability engineering and system safety, 84

Elsevier. 33-44, 2004.

https://doi.org/10.1016/j.ress.2003.11.007

CS 410/510 - Software Engineering. System

Dependability. Reference: Sommerville, Software

Engineering, 10 ed., Chapter 10.

Fabrice Guerin, Alexis Todoskoff, Mihaela Barreau,

Jean-Yves Morel, Alin Mihalache, Dumon Bernard.

Reliability analysis for complex industrial real-time

systems: application on an antilock brake system.

IEEE International Conference on Systems, Man and

Cybernetics, Hammamet, October 6-9, 2002.

https://doi.org/10.1109/ICSMC.2002.1175666

Cristina Johansson. On System Safety and

Reliability in Early Design Phases: Cost Fo cused

Optimization Applied on Aircraft Systems.

Linköping University Electronic Press, Sweden.

Thesis, ISSN 0280-7971; 1600. 2013. p. 62

URN: urn:nbn:se:liu:diva-94354

Pierre-Yves Piriou. Contribution to model Based

Safety Analysis for dynamic repairable

reconfigurable systems. Paris-Saclay University.

Thesis presented at ENS Cachan, 27/11/2015.

https://tel.archives-ouvertes.fr/tel-01251556

Krishna B. Misra. Handbook of Performability

Engineering. Book. Springer-Verlag London, 2008

https://doi.org/10.1007/978-1-84800-131-2

Manno, Gabriele Antonino. Reliability modelling of

complex systems: an adaptive transition system

approach to match accuracy and efficiency. PhD

Thesis, University of Catania, 2012.

http://archivia.unict.it/bitstream/10761/1039/1/MNNGRL82L03C351S-PhD_Thesis_GM_A.pdf

Norman B. Fuqua. The applicability of Markov

analysis methods to Reliability, Maintainability, and

Safety. Selected Topics in Assurance Related

Technologies, Vol. 10, N. 2. Reliability Analysis

Center, 2003.

https://www.dsiac.org/sites/default/files/referencedocuments/markov.pdf

IEC 61165. Application of Markov techniques.

International Electrotechnical Commission. 2006.

Bateman. K. A., Cortes. E. R. Availability

Modeling of FDDI Networks, Proceedings of

Annual Reliability and Maintainability Symposium,

IEEE. pp. 389-395, 1989.

https://doi.org/10.1109/ARMS.1989.49632

Kaufman. L.M., Johnson. B.W. Embedded Digital

System Reliability and Safety Analyses.

NUREG/GR-0020. University of Virginia.

Department of Electrical Engineering Center for

Safety-Critical Systems -Thornton Hall

Charlottesville, VA 22904. xi, 75 p. 2001.

Paraskevas Stavrianidis. Reliability and Uncertainty

Analysis of Hardware Failures of a Programmable

Electronic System. Reliability Engineering and

System Safety, Elsevier, vol. 39, issue 3, pp. 309-

, 1993.

https://doi.org/10.1016/0951-8320(93)90006-K

Raphaël Schoenig. Definition of a design

methodology for mechatronic systems including

dependability analysis. PhD thesis of the National

Polytechnic Institute of Lorraine, 2004.

https://tel.archives-ouvertes.fr/tel-00126057

Salem Derisavi, Peter Kemper, William H. Sanders.

Lumping Matrix Diagram Representations of

Markov Models. International Conference on

Dependable Systems and Networks. Yokohama,

Japan. IEEE, pp. 742–751, 2005.

https://doi.org/10.1109/DSN.2005.59

Way Kuo, Xiaoyan Zhu. Relations and

generalizations of importance measures in reliability.

IEEE Transactions on Reliability, Vol. 61, N. 3, pp.

–674, 2012.

https://doi.org/10.1109/TR.2012.2208302

Sally Beeson, John D. Andrews. Importance

measures for noncoherent-system analysis. IEEE

Transactions on Reliability, Volume 52, issue: 3, pp.

–310, 2003.

https://doi.org/10.1109/TR.2003.816397

Elena Zaitseva, Vitaly Levashenko, Jozef Kostolny,

Miroslav Kvassay. Algorithms for Definition of

Minimal Cut Sets in Reliability Evaluation of Green

IT System. Department of Informatics, University of

Zilina, Zilina, Slovakia. 2015.

https://www.pdffiller.com/jsfillerdesk5/?projectId=226202130&expId=3950&expBranch=1#834b8f1bbf854c3e9f4c996e3b01e38a

Alain Villemeur. Dependability of industrial

systems. Collection of the Direction of Studies and

Research of Electricity France, ISSN 0399-4198,

Volume 67, 795 pages. Eyrolles, 1988.

Pankaj Bansod. System Reliability and Challenges

in Electronics Industry. SMTA Chapter Meeting

th September 2013, India.

https://pdfs.semanticscholar.org/presentation/64e3/b4774be3dad7f988fb5893a1a174e6cfabfa.pdf

Popov Peter, Manno Gabriele. The effect of

correlated failure rates on reliability of continuous

time 1-out-of-2 software. International Conference

on Computer Safety, Reliability, and Security,

Informatica 42 (2018) 439–450 L. Boucerredj et al.

SAFECOMP 2011. Lecture Notes in Computer

Science, vol. 6894, Springer, Berlin, Heidelberg, pp.

-14, 2011.

https://doi.org/10.1007/978-3-642-24270-0_1

Peter Cheung Professor. Lecture5: Logic

Simplification & Karnaugh Map. Department of

EEE. Lecture 5 - Imperial College London. 2007.

Enrico Zio. Reliability engineering: Old problems

and new challenges. Reliability Engineering &

System Safety, Elsevier, Vol. 94(2), pp. 125–141,

https://doi.org/10.1016/j.ress.2008.06.002

https://www.isograph.com/software/reliabilityworkbench/




DOI: https://doi.org/10.31449/inf.v42i3.1580

Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.