实时应用的设计

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

M. Hinchey

{"title":"实时应用的设计","authors":"M. Hinchey","doi":"10.1109/RTA.1993.263091","DOIUrl":null,"url":null,"abstract":"Complex real-time applications require a disciplined approach at the design stage. Unfortunately, existing design methods are not wholly appropriate for use with real-time applications. Even methods that have been developed specifically for this purpose fail to result in provably correct designs that are easily understood. Seven essential criteria of a suitable design method are given, and one potentially suitable method (based on the integration of structured and formal methods) is briefly described.<<ETX>>","PeriodicalId":293622,"journal":{"name":"[1993] Proceedings of the IEEE Workshop on Real-Time Applications","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"The design of real-time applications\",\"authors\":\"M. Hinchey\",\"doi\":\"10.1109/RTA.1993.263091\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Complex real-time applications require a disciplined approach at the design stage. Unfortunately, existing design methods are not wholly appropriate for use with real-time applications. Even methods that have been developed specifically for this purpose fail to result in provably correct designs that are easily understood. Seven essential criteria of a suitable design method are given, and one potentially suitable method (based on the integration of structured and formal methods) is briefly described.<<ETX>>\",\"PeriodicalId\":293622,\"journal\":{\"name\":\"[1993] Proceedings of the IEEE Workshop on Real-Time Applications\",\"volume\":\"29 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-05-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"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.263091\",\"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.263091","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

复杂的实时应用程序在设计阶段需要严格的方法。不幸的是，现有的设计方法并不完全适合用于实时应用程序。即使是专门为此目的开发的方法也无法产生易于理解的可证明正确的设计。给出了合适的设计方法的七个基本标准，并简要描述了一种可能合适的方法(基于结构化和形式化方法的集成)。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

The design of real-time applications

Complex real-time applications require a disciplined approach at the design stage. Unfortunately, existing design methods are not wholly appropriate for use with real-time applications. Even methods that have been developed specifically for this purpose fail to result in provably correct designs that are easily understood. Seven essential criteria of a suitable design method are given, and one potentially suitable method (based on the integration of structured and formal methods) is briefly described.<>

求助全文

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

来源期刊

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

自引率

0.00%

发文量