{"title":"Design and Assurance of Control Software","authors":"Nancy G. Leveson","doi":"10.1109/TSE.2025.3539975","DOIUrl":null,"url":null,"abstract":"When I was EIC of TSE and before, software design approaches were matched with the type of application. Since that time, software has become a major component in the control of potentially dangerous systems and has grown enormously in size. Most of these systems require high assurance of important properties, such as safety and security, and sometimes, require regulatory certification before they can be used. Today, however, such assurance is usually very expensive and limited in its power. This short paper proposes a change in how software is designed that can greatly simplify the development, assurance, and maintenance and evolution of critical control software.","PeriodicalId":13324,"journal":{"name":"IEEE Transactions on Software Engineering","volume":"51 3","pages":"666-672"},"PeriodicalIF":5.6000,"publicationDate":"2025-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10877915","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Software Engineering","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10877915/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}
引用次数: 0
Abstract
When I was EIC of TSE and before, software design approaches were matched with the type of application. Since that time, software has become a major component in the control of potentially dangerous systems and has grown enormously in size. Most of these systems require high assurance of important properties, such as safety and security, and sometimes, require regulatory certification before they can be used. Today, however, such assurance is usually very expensive and limited in its power. This short paper proposes a change in how software is designed that can greatly simplify the development, assurance, and maintenance and evolution of critical control software.
期刊介绍：
IEEE Transactions on Software Engineering seeks contributions comprising well-defined theoretical results and empirical studies with potential impacts on software construction, analysis, or management. The scope of this Transactions extends from fundamental mechanisms to the development of principles and their application in specific environments. Specific topic areas include:
a) Development and maintenance methods and models: Techniques and principles for specifying, designing, and implementing software systems, encompassing notations and process models.
b) Assessment methods: Software tests, validation, reliability models, test and diagnosis procedures, software redundancy, design for error control, and measurements and evaluation of process and product aspects.
c) Software project management: Productivity factors, cost models, schedule and organizational issues, and standards.
d) Tools and environments: Specific tools, integrated tool environments, associated architectures, databases, and parallel and distributed processing issues.
e) System issues: Hardware-software trade-offs.
f) State-of-the-art surveys: Syntheses and comprehensive reviews of the historical development within specific areas of interest.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
