Istituto di Scienza e Tecnologie dell'Informazione     
Bucchiarone A., Muccini H., Pelliccione P. A practical architecture-centric analysis process. In: International Conference on the Quality of Software Architectures. QoSA 2006 (Mälardalen University, Västerås near Stockholm, Sweden, June 27-29, 2006). Proceedings, pp. 127 - 144. C. Hofmeister et al. (eds.). (Lecture Notes in Computer Science, vol. 4214). Springer, 2006.
When engineering complex and distributed software and hardware systems (increasingly used in many sectors, such as manufacturing, aerospace, transportation, communication, energy and health-care), dependability has became a must, since failures can have economics consequences and can also endanger human life. Software Architectures (SA) can help improving the overall system dependability, providing a system blueprint that can be validated and that can guide all phases of the system development. Even if much work has been done on this direction, three important topics require major investigation: how different analysis techniques can be integrated together, how results obtained with SA-based analysis can be related to requirements and coding, and how integrate new methodologies in the industrial software development life-cycle. In this paper we propose an architecture-centric analysis process which allows formal analysis driven by model-based architectural specifications. This analysis process satisfies the industrial requirements, since it is tool supported and based on semi-formal (UML-based) specifications.
Subject Software Architecture
Model-Based Analysis
Model Checking
D.2.11 Software Architectures

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