实时分布式系统的分层设计方法

Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236) Pub Date : 1998-10-27 DOI:10.1109/RTCSA.1998.726416

S. Yamane

{"title":"实时分布式系统的分层设计方法","authors":"S. Yamane","doi":"10.1109/RTCSA.1998.726416","DOIUrl":null,"url":null,"abstract":"Distributed systems are very large and complex and timing constraints are important for some communication delay. Moreover, as each process is evolutional, it needs to behave however the environment behaves. The author proposes a design method. He defines open timed automata and receptiveness, verification methods of the receptiveness and consistency check, and the Assume-Guarantee style verification method.","PeriodicalId":142319,"journal":{"name":"Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-10-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Hierarchical design method for real-time distributed systems\",\"authors\":\"S. Yamane\",\"doi\":\"10.1109/RTCSA.1998.726416\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Distributed systems are very large and complex and timing constraints are important for some communication delay. Moreover, as each process is evolutional, it needs to behave however the environment behaves. The author proposes a design method. He defines open timed automata and receptiveness, verification methods of the receptiveness and consistency check, and the Assume-Guarantee style verification method.\",\"PeriodicalId\":142319,\"journal\":{\"name\":\"Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-10-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/RTCSA.1998.726416\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RTCSA.1998.726416","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

分布式系统非常庞大和复杂，时间约束对通信延迟非常重要。此外，由于每个过程都是进化的，它的行为需要与环境的行为一致。作者提出了一种设计方法。他定义了开放时间自动机和可接受性，可接受性和一致性检验的验证方法，以及假设-保证式验证方法。

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

查看原文本刊更多论文

Hierarchical design method for real-time distributed systems

Distributed systems are very large and complex and timing constraints are important for some communication delay. Moreover, as each process is evolutional, it needs to behave however the environment behaves. The author proposes a design method. He defines open timed automata and receptiveness, verification methods of the receptiveness and consistency check, and the Assume-Guarantee style verification method.

求助全文

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

来源期刊

Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236)

自引率

0.00%

发文量