Assessing the impact of structured real-time design methods

C. Ebert
{"title":"Assessing the impact of structured real-time design methods","authors":"C. Ebert","doi":"10.1006/JMCA.1994.1018","DOIUrl":null,"url":null,"abstract":"Abstract Computer systems in today's society require an increasing amount of embedded real-time software and hardware systems. Their application has introduced new problems for the software engineer related to the complexity of such systems. The early stages of the software development process are vital for the successful implementation of computer systems. Three structured design methods for real-time software systems that are common in industrial projects are compared (SCR, RTSA, DARTS). This comparison is based on the application of all methods to the specification of a commercial heating system which is in the area of 200 function points (6 person-months development time). The complete development process is supported by a heterogeneous CASE environment for reproducibility and hence better comparability. High-order Petri nets are introduced as a graphic formalism for both analysis and architectural design of concurrent systems. The methods are compared quantitatively providing different complexity metrics over time and qualitatively by subjective observations from this and other projects. In the given projects DARTS has some advantages compared to the other methods.","PeriodicalId":100806,"journal":{"name":"Journal of Microcomputer Applications","volume":"58 1","pages":"287-297"},"PeriodicalIF":0.0000,"publicationDate":"1994-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Microcomputer Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1006/JMCA.1994.1018","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 1

Abstract

Abstract Computer systems in today's society require an increasing amount of embedded real-time software and hardware systems. Their application has introduced new problems for the software engineer related to the complexity of such systems. The early stages of the software development process are vital for the successful implementation of computer systems. Three structured design methods for real-time software systems that are common in industrial projects are compared (SCR, RTSA, DARTS). This comparison is based on the application of all methods to the specification of a commercial heating system which is in the area of 200 function points (6 person-months development time). The complete development process is supported by a heterogeneous CASE environment for reproducibility and hence better comparability. High-order Petri nets are introduced as a graphic formalism for both analysis and architectural design of concurrent systems. The methods are compared quantitatively providing different complexity metrics over time and qualitatively by subjective observations from this and other projects. In the given projects DARTS has some advantages compared to the other methods.
评估结构化实时设计方法的影响
当今社会的计算机系统对嵌入式实时软件和硬件系统的要求越来越高。它们的应用为软件工程师带来了与此类系统复杂性相关的新问题。软件开发过程的早期阶段对于计算机系统的成功实施至关重要。比较了工业项目中常见的实时软件系统的三种结构化设计方法(SCR、RTSA、DARTS)。这种比较是基于对商业供暖系统规格的所有方法的应用,该系统在200个功能点(6人月的开发时间)的范围内。完整的开发过程由异构的CASE环境支持,以实现再现性和更好的可比性。高阶Petri网作为一种图形形式被引入并发系统的分析和架构设计。对这些方法进行定量比较,随时间提供不同的复杂性度量,并通过从本项目和其他项目的主观观察定性地提供不同的复杂性度量。在给定的项目中,与其他方法相比,dart具有一些优势。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信