Automated refinement of dependability analysis through monitoring in dynamically connected systems (Contributo in atti di convegno)

Type
Label
  • Automated refinement of dependability analysis through monitoring in dynamically connected systems (Contributo in atti di convegno) (literal)
Anno
  • 2011-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1109/ISADS.2011.46 (literal)
Alternative label
  • Bertolino A., Calabrò A., Di Giandomenico F., Martinucci M. Masci P. (2011)
    Automated refinement of dependability analysis through monitoring in dynamically connected systems
    in 10th International Symposium on Autonomous Decentralized Systems, ISADS 2011, Tokyo & Hiroshima, 23-27 March 2011
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bertolino A., Calabrò A., Di Giandomenico F., Martinucci M. Masci P. (literal)
Pagina inizio
  • 315 (literal)
Pagina fine
  • 318 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni
  • Grant agreement 231167. ID Modulo Commessa ICT.P09.005.001 - 074 - Architetture a componenti per sistemi complessi affidabili. - Area di valutazione 09 - Ingegneria industriale e informatica (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5741369&tag=ISADS%202011 (literal)
Note
  • Scopu (literal)
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Italy (literal)
Titolo
  • Automated refinement of dependability analysis through monitoring in dynamically connected systems (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-1-61284-213-4 (literal)
Abstract
  • Model-based analysis is a well-established method to assess the dependability of a system before deployment. It is well known that, in highly dynamic contexts, the accuracy of the analysis results can be limited because unpredictable phenomena may affect the system during its operation. In such contexts, the analysis typically needs to be refined with data obtained from real system executions. In this paper we tackle the issue of refining model-based dependability analysis in automated systems through monitoring. Specifically, we report on our preliminary results on the development of a system that exploits the synergic use of an automated approach for model-based dependability analysis and a flexible monitoring architecture (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Editore di
Insieme di parole chiave di
data.CNR.it