lnu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance
Linnaeus University, Faculty of Technology, Department of computer science and media technology (CM).ORCID iD: 0000-0002-2833-7196
2009 (English)In: Reliability Engineering & System Safety, ISSN 0951-8320, E-ISSN 1879-0836, Vol. 94, no 9, p. 1422-1432Article in journal (Refereed) Published
Abstract [en]

A large number of safety-critical control systems are based on N-modular redundant architectures, using majority voters on the outputs of independent computation units. In order to assess the compliance of these architectures with international safety standards, the frequency of hazardous failures must be analyzed by developing and solving proper formal models. Furthermore, the impact of maintenance faults has to be considered, since imperfect maintenance may degrade the safety integrity level of the system. In this paper, we present both a failure model for voting architectures based on Bayesian networks and a maintenance model based on continuous time Markov chains, and we propose to combine them according to a compositional multiformalism modeling approach in order to analyze the impact of imperfect maintenance on the system safety. We also show how the proposed approach promotes the reuse and the interchange of models as well the interchange of solving tools. © 2009 Elsevier Ltd. All rights reserved.

Place, publisher, year, edition, pages
2009. Vol. 94, no 9, p. 1422-1432
Keywords [en]
Bayesian Networks, Imperfect maintenance, Multiformalism modeling, N-modular redundancy, Safety, Continuous time Markov chain, Failure model, Formal model, International safety standards, Maintenance models, Majority voter, Modeling approach, Redundant architecture, Safety evaluations, Safety integrity levels, Safety-critical control systems, System safety, Distributed parameter networks, Docking, Inference engines, Intelligent networks, Interchanges, Knowledge based systems, Maintenance, Markov processes, Quality assurance, Redundancy, Regulatory compliance, Speech analysis, Standardization, Systems engineering
National Category
Embedded Systems
Identifiers
URN: urn:nbn:se:lnu:diva-73690DOI: 10.1016/j.ress.2009.02.014Scopus ID: 2-s2.0-67349173170OAI: oai:DiVA.org:lnu-73690DiVA, id: diva2:1213853
Note

Cited By :29; Export Date: 26 April 2018; Article; CODEN: RESSE; Correspondence Address: Flammini, F.; Ansaldo STS Italy, Via Argine 425, Naples, Italy; email: francesco.flammini@ansaldo-sts.com; References: Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V., Evaluating the hazardous failure rate of majority voting computer architectures by means of Bayesian network models (2007) Proceedings of the 16th European Safety and Reliability Conference (ESREL, pp. 1715-1721. , Stavanger, Norway;; Amendola, A.M., Impagliazzo, L., Marmo, P., Mongardi, G., Sartore, G., Architecture and safety requirements of the ACC railway interlocking system (1996) IEEE proceedings of the 2nd annual International Computer Performance & Dependability Symposium (IPDS'96), pp. 21-29. , Urbana, Champaign, IL, USA;; Flammini, F., Iacono, M., Marrone, S., Mazzocca, N., Using repairable fault trees for the evaluation of design choices for critical repairable systems (2005) Proceedings of the 9th IEEE International Symposium on High Assurance Systems Engineering (HASE2005), pp. 163-172. , Heidelberg, Germany, October 12-14; Avizienis, A., Laprie, J.C., Randel, B., Fundamental concepts of dependability LAAS Report, , no. 01-145, 2001; Hyunki, K., Hyung-Joon, J., Keyseo, L., Hyuntae, L., The design and evaluation of all voting triple modular redundancy system (2002) Proceedings of the annual reliability and maintainability symposium, pp. 439-444; DeLong, T.A., Smith, D.T., Johnson, B.W., Dependability metrics to assess safety-critical systems (2005) IEEE Transactions on Reliability, 54 (3), pp. 498-505; Dugan, J.B., Bavoso, S.J., Boyd, M.A., Dynamic fault-tree models for fault tolerant computer systems (1992) IEEE Transactions on Reliability, 41, pp. 363-377; Codetta Raiteri, D., Iacono, M., Franceschinis, G., Vittorini, V., Repairable fault tree for the automatic evaluation of repair policies (2004) Proceedings of the international conference on Dependable Systems and Networks 2004 (DSN, pp. 659-668; Portinale, L., Bobbio, A., Montani, S., From AI to dependability: using Bayesian networks for reliability modeling and analysis (2005) Modern Statistical and Mathematical Methods in Reliability, Series on Quality, Reliability and Engineering Statistics, 10, pp. 365-382; Bobbio, A., Bologna, S., Ciancamerla, E., Franceschinis, G., Gaeta, R., Minichino, M., Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller (2001) Proceedings of the European Safety & Reliability Conference (ESREL, pp. 411-418. , Turin, Italy;; Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V., Modelling System reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks (2006) Safety and reliability for managing risk: Proceedings of the 15th European Safety and Reliability Conference (ESREL, pp. 2675-2683. , Estoril, Portugal;; Yak, Y.W., Dillon, T.S., Forward, K.E., The effect of incomplete and deleterious periodic maintenance on fault-tolerant computer systems (1986) IEEE Transactions on Reliability, 35 (1), pp. 85-90; Hosseini, M.M., Kerr, R.M., Randall, R.B., A hybrid maintenance model with imperfect inspection for a system with deterioration and Poisson failure (1999) Journal of the Operational Research Society, 50 (12), pp. 1229-1243; CENELEC 2004. EN 50129 railways applications-safety related electronic systems for signalling; UNISIG 2005. ERTMS/ETCS-class 1 safety requirements issue 2.2.11, subset-091; di Tommaso, P., Esposito, R., Marmo, P., Orazzo, A., Hazard analysis of complex distributed railway systems (2003) Proceedings of the 22nd international symposium on reliable distributed systems, pp. 283-292. , Florence;; (2006) Netica web site, , http://www.norsys.com/netica.html; UNISIG 2002. ERTMS/ETCS-class 1 SRS issue 2.2.2, subset-026; Sanders, W.H., Integrated frameworks for multi-level and multi-formalism modeling (1999) Proceedings of the 8th international workshop on Petri nets and performance models, pp. 2-9; Vittorini, V., Iacono, M., Mazzocca, N., Franceschinis, G., The OsMoSys approach to multiformalism modeling of systems (2004) Journal of Software and Systems Modeling, 3 (1), pp. 68-81; Coccoli, A., Bondavalli, A., Analysis of safety related architectures (2003) Proceedings of the 9th IEEE international Workshop on Object-oriented Real-time Dependable Systems (WORDS), pp. 111-117; Di Lorenzo, G., Flammini, F., Iacono, M., Marrone, S., Moscato, F., Vittorini, V., The software architecture of the OsMoSys multisolution framework (2007) Second international conference on performance evaluation methodologies and tools, VALUETOOLS'07, pp. 1-10. , Nantes, France, October 23-25; Flammini, F., Marrone, S., Mazzocca, N., Vittorini, V., Modelling system reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks (2006) Safety and reliability for managing risk: Proceedings of the 15th European Safety and Reliability Conference (published in September 1st 2006), ESREL'06, pp. 2675-2683. , Estoril, Portugal, September 18-22; Montani, S., Portinale, L., Bobbio, A., Dynamic Bayesian networks for modeling advanced fault tree features in dependability analysis (2005) Proceedings of the European Safety and Reliability Conference (ESREL 2005), Tri City, pp. 1415-1422. , Poland;; Chiola, G., Dutheillet, C., Franceschinis, G., Haddad, S., Stochastic well-formed colored nets and symmetric modeling applications (1993) IEEE Transactions on Computers, 42, pp. 1343-1360

Available from: 2018-06-05 Created: 2018-06-05 Last updated: 2018-06-05

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Flammini, Francesco

Search in DiVA

By author/editor
Flammini, Francesco
By organisation
Department of computer science and media technology (CM)
In the same journal
Reliability Engineering & System Safety
Embedded Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 8 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf