M. Brockmeyer, F. Jahanian, Elly Winner, C. Heitmeyer, B. Labaw
{"title":"一个软件环境，用于定制仿真和实时监控规范","authors":"M. Brockmeyer, F. Jahanian, Elly Winner, C. Heitmeyer, B. Labaw","doi":"10.1109/HASE.1997.648042","DOIUrl":null,"url":null,"abstract":"The testing and validation of formal specifications of high assurance real time systems requires an extensible simulation environment with support for users to generate events, customize displays, and monitor event traces. The paper describes MTSim, a customizable simulation platform for the Modechart Toolset (MT). MTSim provides support for \"plugging in\" user defined viewers as well as user participation in the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user specified handlers upon assertion violation. The paper also introduces a MTSim component called WebSim, a suite of simulation tools for MT, and an application specific component of MTSim, which displays the cockpit of an F-18 aircraft and models its bomb release function.","PeriodicalId":319609,"journal":{"name":"Proceedings 1997 High-Assurance Engineering Workshop","volume":"60 ","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-08-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A software environment for custom simulation and monitoring of real-time specifications\",\"authors\":\"M. Brockmeyer, F. Jahanian, Elly Winner, C. Heitmeyer, B. Labaw\",\"doi\":\"10.1109/HASE.1997.648042\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The testing and validation of formal specifications of high assurance real time systems requires an extensible simulation environment with support for users to generate events, customize displays, and monitor event traces. The paper describes MTSim, a customizable simulation platform for the Modechart Toolset (MT). MTSim provides support for \\\"plugging in\\\" user defined viewers as well as user participation in the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user specified handlers upon assertion violation. The paper also introduces a MTSim component called WebSim, a suite of simulation tools for MT, and an application specific component of MTSim, which displays the cockpit of an F-18 aircraft and models its bomb release function.\",\"PeriodicalId\":319609,\"journal\":{\"name\":\"Proceedings 1997 High-Assurance Engineering Workshop\",\"volume\":\"60 \",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-08-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1997 High-Assurance Engineering Workshop\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HASE.1997.648042\",\"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 High-Assurance Engineering Workshop","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.1997.648042","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A software environment for custom simulation and monitoring of real-time specifications
The testing and validation of formal specifications of high assurance real time systems requires an extensible simulation environment with support for users to generate events, customize displays, and monitor event traces. The paper describes MTSim, a customizable simulation platform for the Modechart Toolset (MT). MTSim provides support for "plugging in" user defined viewers as well as user participation in the generation of simulations by allowing users to inject events into the execution trace. Moreover, MTSim provides monitoring and assertion checking of execution traces and the invocation of user specified handlers upon assertion violation. The paper also introduces a MTSim component called WebSim, a suite of simulation tools for MT, and an application specific component of MTSim, which displays the cockpit of an F-18 aircraft and models its bomb release function.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
