基于计算机网络的控制系统的形式化说明与分析

Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI:10.1109/WFCS.1997.634312

I. Blum, G. Juanole

{"title":"基于计算机网络的控制系统的形式化说明与分析","authors":"I. Blum, G. Juanole","doi":"10.1109/WFCS.1997.634312","DOIUrl":null,"url":null,"abstract":"The control architecture for a distributed application (elevator system) is at first specified in terms of functionalities, networks and exchanges on networks. This architecture is based on two types of local area network (CANs and one network with a centralized control). Second, this architecture is modelled with stochastic timed Petri nets which allow one to express the main mechanisms of real time distributed systems and to do qualitative and quantitative analyses. Properties and performances of the elevator system are verified and evaluated.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"Formal specification and analysis of a control system based on computer networks\",\"authors\":\"I. Blum, G. Juanole\",\"doi\":\"10.1109/WFCS.1997.634312\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The control architecture for a distributed application (elevator system) is at first specified in terms of functionalities, networks and exchanges on networks. This architecture is based on two types of local area network (CANs and one network with a centralized control). Second, this architecture is modelled with stochastic timed Petri nets which allow one to express the main mechanisms of real time distributed systems and to do qualitative and quantitative analyses. Properties and performances of the elevator system are verified and evaluated.\",\"PeriodicalId\":433593,\"journal\":{\"name\":\"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97\",\"volume\":\"14 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WFCS.1997.634312\",\"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 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WFCS.1997.634312","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

摘要

分布式应用程序(电梯系统)的控制体系结构首先根据功能、网络和网络上的交换来指定。该架构基于两种类型的局域网(can和一种集中控制的网络)。其次，该体系结构是用随机定时Petri网建模的，它允许人们表达实时分布式系统的主要机制，并进行定性和定量分析。对电梯系统的性能进行了验证和评价。

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

查看原文本刊更多论文

Formal specification and analysis of a control system based on computer networks

The control architecture for a distributed application (elevator system) is at first specified in terms of functionalities, networks and exchanges on networks. This architecture is based on two types of local area network (CANs and one network with a centralized control). Second, this architecture is modelled with stochastic timed Petri nets which allow one to express the main mechanisms of real time distributed systems and to do qualitative and quantitative analyses. Properties and performances of the elevator system are verified and evaluated.

求助全文

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

来源期刊

Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97

自引率

0.00%

发文量