{"title":"用ARTIE进行一些调度实验","authors":"Ronald M Tol, Gert Te Winkel","doi":"10.1016/0066-4138(94)90010-8","DOIUrl":null,"url":null,"abstract":"<div><p>In this paper we describe a new Architecture for hard Real-Time Environments (ARTIE). The architecture is essentially an asymmetrical two-processor system. It consists of a task processor for the application programs and the operating system's shell functions, and of a reliable co-processor for the real-time operating system kernel. We have formally derived the specifications for the kernel programs and proved that the programs behave according to the specifications. The practical performance of the system is evaluated by simulating a typical real-time application on a workstation.</p></div>","PeriodicalId":100097,"journal":{"name":"Annual Review in Automatic Programming","volume":"18 ","pages":"Pages 51-54"},"PeriodicalIF":0.0000,"publicationDate":"1994-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0066-4138(94)90010-8","citationCount":"0","resultStr":"{\"title\":\"Some scheduling experiments with ARTIE\",\"authors\":\"Ronald M Tol, Gert Te Winkel\",\"doi\":\"10.1016/0066-4138(94)90010-8\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>In this paper we describe a new Architecture for hard Real-Time Environments (ARTIE). The architecture is essentially an asymmetrical two-processor system. It consists of a task processor for the application programs and the operating system's shell functions, and of a reliable co-processor for the real-time operating system kernel. We have formally derived the specifications for the kernel programs and proved that the programs behave according to the specifications. The practical performance of the system is evaluated by simulating a typical real-time application on a workstation.</p></div>\",\"PeriodicalId\":100097,\"journal\":{\"name\":\"Annual Review in Automatic Programming\",\"volume\":\"18 \",\"pages\":\"Pages 51-54\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://sci-hub-pdf.com/10.1016/0066-4138(94)90010-8\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Annual Review in Automatic Programming\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/0066413894900108\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Annual Review in Automatic Programming","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/0066413894900108","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
In this paper we describe a new Architecture for hard Real-Time Environments (ARTIE). The architecture is essentially an asymmetrical two-processor system. It consists of a task processor for the application programs and the operating system's shell functions, and of a reliable co-processor for the real-time operating system kernel. We have formally derived the specifications for the kernel programs and proved that the programs behave according to the specifications. The practical performance of the system is evaluated by simulating a typical real-time application on a workstation.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
