Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques

2006 30th Annual IEEE/NASA Software Engineering Workshop Pub Date : 2006-04-24 DOI:10.1109/SEW.2006.16

Jianli Xu

{"title":"Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques","authors":"Jianli Xu","doi":"10.1109/SEW.2006.16","DOIUrl":null,"url":null,"abstract":"The run-time quality properties of software architecture, such as reliability and performance, are fundamental to telecom systems, but they are very hard to be precisely specified and evaluated with conventional methods. In our contribution we focus on modeling and analysis of architectural level run-time quality properties using formal methods. Colored Petri nets (CPN) is used to create specific system behavior models of reliability and performance properties of software architecture, these properties are then evaluated with analysis and simulation techniques supported by CPN and its tools. In this paper we report our approach and experience on using CPN to model and evaluate the reliability and performance properties of different architecture designs of a critical software subsystem in a telephone switch system. The reliability and performance properties of two alternative solutions were modeled and compared through model analysis and extensive model simulation. The results helped us to find an ideal solution with high performance, low cost and acceptable reliability that met the industry standards","PeriodicalId":127158,"journal":{"name":"2006 30th Annual IEEE/NASA Software Engineering Workshop","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2006-04-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2006 30th Annual IEEE/NASA Software Engineering Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SEW.2006.16","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

Abstract

The run-time quality properties of software architecture, such as reliability and performance, are fundamental to telecom systems, but they are very hard to be precisely specified and evaluated with conventional methods. In our contribution we focus on modeling and analysis of architectural level run-time quality properties using formal methods. Colored Petri nets (CPN) is used to create specific system behavior models of reliability and performance properties of software architecture, these properties are then evaluated with analysis and simulation techniques supported by CPN and its tools. In this paper we report our approach and experience on using CPN to model and evaluate the reliability and performance properties of different architecture designs of a critical software subsystem in a telephone switch system. The reliability and performance properties of two alternative solutions were modeled and compared through model analysis and extensive model simulation. The results helped us to find an ideal solution with high performance, low cost and acceptable reliability that met the industry standards

查看原文本刊更多论文

使用形式化建模技术评估和平衡软件体系结构的可靠性和性能

软件体系结构的运行时质量属性，如可靠性和性能，是电信系统的基础，但它们很难用常规方法精确地指定和评估。在我们的贡献中，我们关注于使用形式化方法对架构级运行时质量属性进行建模和分析。彩色Petri网(CPN)用于创建软件架构的可靠性和性能属性的特定系统行为模型，然后使用CPN及其工具支持的分析和仿真技术对这些属性进行评估。在本文中，我们报告了我们使用CPN对电话交换机系统中一个关键软件子系统的不同架构设计的可靠性和性能进行建模和评估的方法和经验。通过模型分析和广泛的模型仿真，对两种备选方案的可靠性和性能特性进行了建模和比较。结果帮助我们找到了一种理想的解决方案，具有高性能，低成本和可接受的可靠性，符合行业标准

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

求助全文

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

来源期刊

2006 30th Annual IEEE/NASA Software Engineering Workshop

自引率

0.00%

发文量