多领域系统设计捕获概念的案例研究

[1993] Proceedings of the IEEE Workshop on Real-Time Applications Pub Date : 1993-05-13 DOI:10.1109/RTA.1993.263093

N. Hoang, N. Karangelen

{"title":"多领域系统设计捕获概念的案例研究","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":"{\"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}","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

摘要

系统开发过程的主要目标是建立一个满足系统需求和约束的设计，同时优化与系统功能、行为和实现相关的关键权衡和问题。本文描述了一种用于设计大型、复杂和实时系统的形式化方法，这些系统可以被捕获和分析，以更好地满足系统需求。以空中交通管制系统为例，对该方法的概念进行了验证

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

查看原文本刊更多论文

A case study of the multi-domain system design capture concept

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.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1993] Proceedings of the IEEE Workshop on Real-Time Applications

自引率

0.00%

发文量