Qualitative and Quantitative Optimization for Dependability Analysis
DOI:
https://doi.org/10.31449/inf.v42i3.1580Abstract
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.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/
Downloads
Published
How to Cite
Issue
Section
License
I assign to Informatica, An International Journal of Computing and Informatics ("Journal") the copyright in the manuscript identified above and any additional material (figures, tables, illustrations, software or other information intended for publication) submitted as part of or as a supplement to the manuscript ("Paper") in all forms and media throughout the world, in all languages, for the full term of copyright, effective when and if the article is accepted for publication. This transfer includes the right to reproduce and/or to distribute the Paper to other journals or digital libraries in electronic and online forms and systems.
I understand that I retain the rights to use the pre-prints, off-prints, accepted manuscript and published journal Paper for personal use, scholarly purposes and internal institutional use.
In certain cases, I can ask for retaining the publishing rights of the Paper. The Journal can permit or deny the request for publishing rights, to which I fully agree.
I declare that the submitted Paper is original, has been written by the stated authors and has not been published elsewhere nor is currently being considered for publication by any other journal and will not be submitted for such review while under review by this Journal. The Paper contains no material that violates proprietary rights of any other person or entity. I have obtained written permission from copyright owners for any excerpts from copyrighted works that are included and have credited the sources in my article. I have informed the co-author(s) of the terms of this publishing agreement.
Copyright © Slovenian Society Informatika
