PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bertolino A., Calabṛ A., Di Giandomenico F., Martinucci M., Masci P. Automated refinement of dependability analysis through monitoring in dynamically connected systems. In: ISADS 2011 - 10th International Symposium on Autonomous Decentralized Systems (Tokyo & Hiroshima, 23-27 March 2011). Proceedings, pp. 315 - 318. IEEE, 2011.
 
 
Abstract
(English)
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
URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5741369&tag=ISADS%202011
DOI: 10.1109/ISADS.2011.46
Subject Model-based Analysis
Monitoring
On-line refinement
C.4 PERFORMANCE OF SYSTEMS
D.2.5 SOFTWARE ENGINEERING. Testing and Debugging
D.2.8 SOFTWARE ENGINEERING. Metrics


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional