Safety assessment methods are typically based on the reliability of the single components making a system. A different notion of safety as an emergent property of the system taken as a whole is however emerging. The current state-based modeling paradigm tends at misrepresenting systemic behavior, thus contrasting the adoption and development of systemic compositional fault detection techniques. We propose a state-based formalism, highly committed towards the explicit representation of systemic behavior, by which it is possible to formally identify faulty behaviors once the regular one has been specified.

Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method / Pazzi, Luca; M., Interlandi; Pradelli, Marco. - STAMPA. - (2010), pp. 166-167. ((Intervento presentato al convegno 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010 tenutosi a San Jose, CA nel 3-4 Nov. 2010 [10.1109/HASE.2010.17].

Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method

PAZZI, Luca;PRADELLI, Marco
2010

Abstract

Safety assessment methods are typically based on the reliability of the single components making a system. A different notion of safety as an emergent property of the system taken as a whole is however emerging. The current state-based modeling paradigm tends at misrepresenting systemic behavior, thus contrasting the adoption and development of systemic compositional fault detection techniques. We propose a state-based formalism, highly committed towards the explicit representation of systemic behavior, by which it is possible to formally identify faulty behaviors once the regular one has been specified.
2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010
San Jose, CA
3-4 Nov. 2010
166
167
Pazzi, Luca; M., Interlandi; Pradelli, Marco
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method / Pazzi, Luca; M., Interlandi; Pradelli, Marco. - STAMPA. - (2010), pp. 166-167. ((Intervento presentato al convegno 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010 tenutosi a San Jose, CA nel 3-4 Nov. 2010 [10.1109/HASE.2010.17].
File in questo prodotto:
File Dimensione Formato  
05634289.pdf

non disponibili

Tipologia: Post-print dell'autore (bozza post referaggio)
Dimensione 246.42 kB
Formato Adobe PDF
246.42 kB Adobe PDF   Visualizza/Apri   Richiedi una copia
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/648491
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact