Automatic dependability analysis for supporting design decisions in UML

Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering Pub Date : 1999-11-17 DOI:10.1109/HASE.1999.809476

A. Bondavalli, I. Mura, I. Majzik

{"title":"Automatic dependability analysis for supporting design decisions in UML","authors":"A. Bondavalli, I. Mura, I. Majzik","doi":"10.1109/HASE.1999.809476","DOIUrl":null,"url":null,"abstract":"Even though a thorough system specification improves the quality of the design, it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this paper, we present an application example of one of the activities performed in the European ESPRIT project HIDE, aiming at the creation of an integrated environment where design toolsets based on UML are augmented with modeling and analysis tools for the automatic validation of the system under design. We apply an automatic transformation from UML diagrams to Timed Petri Nets for model based dependability evaluation. It allows a designer to use UML as a front-end for the specification of both the system and the user requirements, and to evaluate dependability figures of the system since the early phases of the design, thus obtaining precious clues for design refinement. The transformation completely hides the mathematical background, thus eliminating the need for a specific expertise in abstract mathematics and the tedious remodeling of the system for mathematical analysis.","PeriodicalId":369187,"journal":{"name":"Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering","volume":"41 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1999-11-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"63","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.1999.809476","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 63

Abstract

Even though a thorough system specification improves the quality of the design, it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this paper, we present an application example of one of the activities performed in the European ESPRIT project HIDE, aiming at the creation of an integrated environment where design toolsets based on UML are augmented with modeling and analysis tools for the automatic validation of the system under design. We apply an automatic transformation from UML diagrams to Timed Petri Nets for model based dependability evaluation. It allows a designer to use UML as a front-end for the specification of both the system and the user requirements, and to evaluate dependability figures of the system since the early phases of the design, thus obtaining precious clues for design refinement. The transformation completely hides the mathematical background, thus eliminating the need for a specific expertise in abstract mathematics and the tedious remodeling of the system for mathematical analysis.

查看原文本刊更多论文

在UML中支持设计决策的自动可靠性分析

尽管一个完整的系统规格说明提高了设计的质量，但它并不足以保证系统将满足其可靠性目标。在本文中，我们展示了在欧洲ESPRIT项目HIDE中执行的活动之一的应用程序示例，旨在创建一个集成环境，在该环境中，基于UML的设计工具集被建模和分析工具增强，用于设计下系统的自动验证。我们应用从UML图到定时Petri网的自动转换来进行基于模型的可靠性评估。它允许设计人员使用UML作为前端来说明系统和用户需求，并从设计的早期阶段开始评估系统的可靠性，从而为设计的细化获得宝贵的线索。这种转换完全隐藏了数学背景，从而消除了对抽象数学的特定专业知识的需要，也消除了对数学分析系统的繁琐重构。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering

自引率

0.00%

发文量