{"title":"一种用于实时控制分配的形式化方法","authors":"T. Sivanthi, U. Killat, K. Angrishi","doi":"10.1109/WISES.2005.1438718","DOIUrl":null,"url":null,"abstract":"A system which provides a set of control functions on time is referred as a real-time control system (RTCS). In a traditional RTCS, a set of tasks running in a central controller provide the required system control. The recent technological advances have made it possible to embed controllers with sufficient computing power directly in the end control devices. These devices also have a communication interface by means of which they can communicate with the other devices via a broadcast bus. These devices are referred to as intelligent nodes. A network of such intelligent nodes can be used to perform the same control functions as that of a centralized RTCS in a distributed manner. This paper discusses an application of a formal approach to distribute the control of a centralized RTCS over a set of intelligent nodes with an example.","PeriodicalId":266947,"journal":{"name":"Third International Workshop on Intelligent Solutions in Embedded Systems, 2005.","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2005-05-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"An application of a formal approach for distribution of real-time control\",\"authors\":\"T. Sivanthi, U. Killat, K. Angrishi\",\"doi\":\"10.1109/WISES.2005.1438718\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A system which provides a set of control functions on time is referred as a real-time control system (RTCS). In a traditional RTCS, a set of tasks running in a central controller provide the required system control. The recent technological advances have made it possible to embed controllers with sufficient computing power directly in the end control devices. These devices also have a communication interface by means of which they can communicate with the other devices via a broadcast bus. These devices are referred to as intelligent nodes. A network of such intelligent nodes can be used to perform the same control functions as that of a centralized RTCS in a distributed manner. This paper discusses an application of a formal approach to distribute the control of a centralized RTCS over a set of intelligent nodes with an example.\",\"PeriodicalId\":266947,\"journal\":{\"name\":\"Third International Workshop on Intelligent Solutions in Embedded Systems, 2005.\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2005-05-20\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Third International Workshop on Intelligent Solutions in Embedded Systems, 2005.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WISES.2005.1438718\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Third International Workshop on Intelligent Solutions in Embedded Systems, 2005.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WISES.2005.1438718","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An application of a formal approach for distribution of real-time control
A system which provides a set of control functions on time is referred as a real-time control system (RTCS). In a traditional RTCS, a set of tasks running in a central controller provide the required system control. The recent technological advances have made it possible to embed controllers with sufficient computing power directly in the end control devices. These devices also have a communication interface by means of which they can communicate with the other devices via a broadcast bus. These devices are referred to as intelligent nodes. A network of such intelligent nodes can be used to perform the same control functions as that of a centralized RTCS in a distributed manner. This paper discusses an application of a formal approach to distribute the control of a centralized RTCS over a set of intelligent nodes with an example.