Engineering complex distributed systems is challenging. Recent solutions for the development of cyber-physical systems (CPS) in industry tend to rely on architectural designs based on service orientation, where the constituent components are deployed according to their service behavior and are to be understood as loosely coupled and mostly independent. In this paper, we develop a workflow that combines contract-based and CPS model-based specifications with service orientation, and analyze the resulting model using fault injection to assess the dependability of the systems. Compositionality principles based on the contract specification help us to make the analysis practical. The presented techniques are evaluated on two case studies.

Dependability Assessment of SOA-Based CPS with Contracts and Model-Based Fault Injection / Dal Lago, Loris; Ferrante, Orlando; Passerone, Roberto; Ferrari, Alberto. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 14:1(2018), pp. 360-369. [10.1109/TII.2017.2689337]

Dependability Assessment of SOA-Based CPS with Contracts and Model-Based Fault Injection

Roberto Passerone;
2018-01-01

Abstract

Engineering complex distributed systems is challenging. Recent solutions for the development of cyber-physical systems (CPS) in industry tend to rely on architectural designs based on service orientation, where the constituent components are deployed according to their service behavior and are to be understood as loosely coupled and mostly independent. In this paper, we develop a workflow that combines contract-based and CPS model-based specifications with service orientation, and analyze the resulting model using fault injection to assess the dependability of the systems. Compositionality principles based on the contract specification help us to make the analysis practical. The presented techniques are evaluated on two case studies.
2018
1
Dal Lago, Loris; Ferrante, Orlando; Passerone, Roberto; Ferrari, Alberto
Dependability Assessment of SOA-Based CPS with Contracts and Model-Based Fault Injection / Dal Lago, Loris; Ferrante, Orlando; Passerone, Roberto; Ferrari, Alberto. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 14:1(2018), pp. 360-369. [10.1109/TII.2017.2689337]
File in questo prodotto:
File Dimensione Formato  
DalLagoFerrantePasseroneFerrari18TII.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 898.93 kB
Formato Adobe PDF
898.93 kB Adobe PDF   Visualizza/Apri
DalLagoFerrantePasseroneFerrari18TII_accepted_version_2017.pdf

accesso aperto

Tipologia: Post-print referato (Refereed author’s manuscript)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 1.3 MB
Formato Adobe PDF
1.3 MB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

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