رسالة جامعية
A Model-Driven Approach to Quantitative Analysis of Critical Systems
| العنوان: | A Model-Driven Approach to Quantitative Analysis of Critical Systems |
|---|---|
| المؤلفون: | Nardone, Roberto |
| سنة النشر: | 2013 |
| المجموعة: | University of Naples Federico II ePrints Repository (FedOA) |
| الوصف: | Critical systems are present in our daily life and affect many aspects providing essential support to several human activities; they are employed in several application domains, providing support to economic activities, transportation, communication, health-care. Such systems must meet strict non-functional requirements, including dependability requirements, and should be able to cope with competitive market needs. Their criticality implies the necessity to meet several requirements, often dictated by international standards, whose fulfillment must be demonstrated in order to achieve necessary certifications. Quantitative evaluations are hence needed to assess and demonstrate compliance with target requirements, since design phases of the lifecycle. For this purpose modeling approaches have been investigated during the years; their aim is to have a model of the overall system which allows to assess and demonstrate these properties. It is commonly known that the adoption of formal models in industry, although if strongly recommended when not mandatory, is slowed down by difficulties dictated both by the complexity of the models (which reflects the complexity of the systems) and by the need to have skilled staff in the usage of formal languages. For this reason, also if the academic research trends have focused on complex modeling approaches and techniques, formal models are not so used in industries: in particular only combinatorial models are widely adopted, thanks to their intuitive representation. The great simplifications introduced by combinatorial models lead to approximated results, hence system designers do not trust in them. In the last years the need of a "model engineering" is noticed: there is the necessity to define appropriate methodologies and processes to support development activities of complex models, aiming at improving the model quality/cost ratio. In this way three main research trends have been introduced: formal models generation, multiformalism, and compositional approaches. This thesis ... |
| نوع الوثيقة: | doctoral or postdoctoral thesis |
| وصف الملف: | text |
| اللغة: | Italian English |
| العلاقة: | http://www.fedoa.unina.it/9445/1/nardone.pdfTest; Nardone, Roberto (2013) A Model-Driven Approach to Quantitative Analysis of Critical Systems. [Tesi di dottorato] |
| DOI: | 10.6092/UNINA/FEDOA/9445 |
| الإتاحة: | https://doi.org/10.6092/UNINA/FEDOA/9445Test http://www.fedoa.unina.it/9445Test/ http://www.fedoa.unina.it/9445/1/nardone.pdfTest |
| حقوق: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.903E9CA0 |
| قاعدة البيانات: | BASE |
| DOI: | 10.6092/UNINA/FEDOA/9445 |
|---|