分布式实时系统的工具支持分层设计

Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168) Pub Date : 1998-06-17 DOI:10.1109/EMWRTS.1998.685088

H. Dierks, J. Tapken

{"title":"分布式实时系统的工具支持分层设计","authors":"H. Dierks, J. Tapken","doi":"10.1109/EMWRTS.1998.685088","DOIUrl":null,"url":null,"abstract":"The authors demonstrate the usage of a formal description technique for real-time systems called PLC-Automaton by applying this method to a real-world case study. To this end they use the tool which was built for PLC-Automata. This tool, called MOBY/PLC, provides simulation and verification methods to validate a design. Furthermore, the design can be translated into executable source code for real machines.","PeriodicalId":318810,"journal":{"name":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-06-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"16","resultStr":"{\"title\":\"Tool-supported hierarchical design of distributed real-time systems\",\"authors\":\"H. Dierks, J. Tapken\",\"doi\":\"10.1109/EMWRTS.1998.685088\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The authors demonstrate the usage of a formal description technique for real-time systems called PLC-Automaton by applying this method to a real-world case study. To this end they use the tool which was built for PLC-Automata. This tool, called MOBY/PLC, provides simulation and verification methods to validate a design. Furthermore, the design can be translated into executable source code for real machines.\",\"PeriodicalId\":318810,\"journal\":{\"name\":\"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-06-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"16\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/EMWRTS.1998.685088\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/EMWRTS.1998.685088","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 16

摘要

作者通过将这种方法应用于现实世界的案例研究，演示了一种称为PLC-Automaton的实时系统的正式描述技术的使用。为此，他们使用了为plc -自动机构建的工具。该工具称为MOBY/PLC，提供仿真和验证方法来验证设计。此外，该设计可以转换为实际机器的可执行源代码。

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

查看原文本刊更多论文

Tool-supported hierarchical design of distributed real-time systems

The authors demonstrate the usage of a formal description technique for real-time systems called PLC-Automaton by applying this method to a real-world case study. To this end they use the tool which was built for PLC-Automata. This tool, called MOBY/PLC, provides simulation and verification methods to validate a design. Furthermore, the design can be translated into executable source code for real machines.

求助全文

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

来源期刊

Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168)

自引率

0.00%

发文量