Applying software engineering principles in train control systems

L. Zhang, J. Van katwijk, E. Brink
{"title":"Applying software engineering principles in train control systems","authors":"L. Zhang, J. Van katwijk, E. Brink","doi":"10.1109/RTA.1994.316142","DOIUrl":null,"url":null,"abstract":"In the development of controllers for complex real-time systems the need for an adequate specification and design methodology arises. The use of a viewpoint-oriented methodology for the design and specification of real-time systems is applied in a case study, the development of a train control system. The method expresses the requirements to be put on the system by taking into account five different viewpoints. Each view is expressed using existing techniques. The design methodology shows to be applicable to the development of train control systems because it addresses aspects like timing constraints, safety and availability issues of such systems. This paper deals with designing a train control system by adopting a viewpoint-oriented methodology. It is aimed at a correct specification and design of the train control system.<<ETX>>","PeriodicalId":399167,"journal":{"name":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 2nd IEEE Workshop on Real-Time Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RTA.1994.316142","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 5

Abstract

In the development of controllers for complex real-time systems the need for an adequate specification and design methodology arises. The use of a viewpoint-oriented methodology for the design and specification of real-time systems is applied in a case study, the development of a train control system. The method expresses the requirements to be put on the system by taking into account five different viewpoints. Each view is expressed using existing techniques. The design methodology shows to be applicable to the development of train control systems because it addresses aspects like timing constraints, safety and availability issues of such systems. This paper deals with designing a train control system by adopting a viewpoint-oriented methodology. It is aimed at a correct specification and design of the train control system.<>
在列车控制系统中应用软件工程原理
在复杂实时系统控制器的开发中,需要一个适当的规范和设计方法。将面向视点的方法用于实时系统的设计和说明,并应用于列车控制系统开发的案例研究中。该方法通过考虑五种不同的观点来表达对系统的需求。每个视图都是使用现有技术表示的。该设计方法适用于列车控制系统的开发,因为它解决了此类系统的时序限制、安全性和可用性等问题。本文采用面向视点的方法设计列车控制系统。本文旨在对列车控制系统进行正确的规范和设计
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约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学术文献互助群
群 号:481959085
Book学术官方微信