The early evaluation of dependability requirements for complex critical systems is a hard task which is usually accomplished by means of well-established formal modeling techniques. Product cost optimization is also necessary due to well-known difficulty to perform modifications in a stable and assessed system architecture. In this paper we propose a new methodology aiming at the integration of optimization techniques with formal methods in order to provide an efficient search of optimal reliability/cost trade-offs for complex and critical systems. The proposed approach is based on the combined use of Multi-Objective Genetic Algorithms, for optimization of complex functions, and Fault Trees, used to model and evaluate reliability aspects of systems. The methodology has been applied on a generic Programmable Logic Controller reliability fault tree model.
Combining genetic algorithms and fault tree analysis in reliability/cost optimization for critical complex systems / Filippo De Carlo; M. Iacono; S. Marrone. - STAMPA. - 1:(2007), pp. 321-326. (Intervento presentato al convegno MITIP tenutosi a Florence (Italy) nel 6-7/09/2007).
Combining genetic algorithms and fault tree analysis in reliability/cost optimization for critical complex systems
DE CARLO, FILIPPO;
2007
Abstract
The early evaluation of dependability requirements for complex critical systems is a hard task which is usually accomplished by means of well-established formal modeling techniques. Product cost optimization is also necessary due to well-known difficulty to perform modifications in a stable and assessed system architecture. In this paper we propose a new methodology aiming at the integration of optimization techniques with formal methods in order to provide an efficient search of optimal reliability/cost trade-offs for complex and critical systems. The proposed approach is based on the combined use of Multi-Objective Genetic Algorithms, for optimization of complex functions, and Fault Trees, used to model and evaluate reliability aspects of systems. The methodology has been applied on a generic Programmable Logic Controller reliability fault tree model.File | Dimensione | Formato | |
---|---|---|---|
2007 Mitip DeCarlo Iacono Marrone Atti.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
2.27 MB
Formato
Adobe PDF
|
2.27 MB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.