{"title":"A case study of the multi-domain system design capture concept","authors":"N. Hoang, N. Karangelen","doi":"10.1109/RTA.1993.263093","DOIUrl":null,"url":null,"abstract":"The principal objective of the system development process is to establish a design which satisfies the system requirements and constraints while optimizing the key trade-offs and issues associated with system functionality, behavior, and implementation. The paper describes a formalism for the design of large, complex, and real-time systems that can be captured and analyzed to better meet the systems requirements. An example, the air traffic control system, is used to show the proof of concept of the method.<<ETX>>","PeriodicalId":293622,"journal":{"name":"[1993] Proceedings of the IEEE Workshop on Real-Time Applications","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1993] Proceedings of the IEEE Workshop on Real-Time Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RTA.1993.263093","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
The principal objective of the system development process is to establish a design which satisfies the system requirements and constraints while optimizing the key trade-offs and issues associated with system functionality, behavior, and implementation. The paper describes a formalism for the design of large, complex, and real-time systems that can be captured and analyzed to better meet the systems requirements. An example, the air traffic control system, is used to show the proof of concept of the method.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[1993] Proceedings of the IEEE Workshop on Real-Time Applications](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
