Automatic fault behavior detection and modeling by a state-based specification method

Luca Pazzi, Matteo Interlandi, Marco Pradelli

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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 statebased 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.

Original languageEnglish
Title of host publicationProceedings of IEEE International Symposium on High Assurance Systems Engineering
Pages166-167
Number of pages2
DOIs
Publication statusPublished - 1 Dec 2010
Event2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010 - San Jose, CA
Duration: 3 Nov 20104 Nov 2010

Other

Other2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010
CitySan Jose, CA
Period3/11/104/11/10

Fingerprint

Specifications
Fault detection

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Pazzi, L., Interlandi, M., & Pradelli, M. (2010). Automatic fault behavior detection and modeling by a state-based specification method. In Proceedings of IEEE International Symposium on High Assurance Systems Engineering (pp. 166-167). [5634289] https://doi.org/10.1109/HASE.2010.17

Automatic fault behavior detection and modeling by a state-based specification method. / Pazzi, Luca; Interlandi, Matteo; Pradelli, Marco.

Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 2010. p. 166-167 5634289.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Pazzi, L, Interlandi, M & Pradelli, M 2010, Automatic fault behavior detection and modeling by a state-based specification method. in Proceedings of IEEE International Symposium on High Assurance Systems Engineering., 5634289, pp. 166-167, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, HASE 2010, San Jose, CA, 3/11/10. https://doi.org/10.1109/HASE.2010.17
Pazzi L, Interlandi M, Pradelli M. Automatic fault behavior detection and modeling by a state-based specification method. In Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 2010. p. 166-167. 5634289 https://doi.org/10.1109/HASE.2010.17
Pazzi, Luca ; Interlandi, Matteo ; Pradelli, Marco. / Automatic fault behavior detection and modeling by a state-based specification method. Proceedings of IEEE International Symposium on High Assurance Systems Engineering. 2010. pp. 166-167
@inproceedings{a5ab6353c2ee4065a67802cd313fb42d,
title = "Automatic fault behavior detection and modeling by a state-based specification method",
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 statebased 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.",
author = "Luca Pazzi and Matteo Interlandi and Marco Pradelli",
year = "2010",
month = "12",
day = "1",
doi = "10.1109/HASE.2010.17",
language = "English",
isbn = "9780769542928",
pages = "166--167",
booktitle = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",

}

TY - GEN

T1 - Automatic fault behavior detection and modeling by a state-based specification method

AU - Pazzi, Luca

AU - Interlandi, Matteo

AU - Pradelli, Marco

PY - 2010/12/1

Y1 - 2010/12/1

N2 - 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 statebased 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.

AB - 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 statebased 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.

UR - http://www.scopus.com/inward/record.url?scp=79951917244&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=79951917244&partnerID=8YFLogxK

U2 - 10.1109/HASE.2010.17

DO - 10.1109/HASE.2010.17

M3 - Conference contribution

AN - SCOPUS:79951917244

SN - 9780769542928

SP - 166

EP - 167

BT - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

ER -