{"title":"实时需求的行为规范","authors":"S. M. Babamir, F. S. Babamir","doi":"10.1109/APSEC.2008.22","DOIUrl":null,"url":null,"abstract":"This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-based one. The former indicates the external system behavior while the latter indicates the internal one, which the external behavior are specified in environment events and the internal behavior is specified in software entities and operations such as variables and method calls. The mapping can be used in software development process and software monitoring against safety requirements. Lastly, we apply our method to requirements of a real-time safety critical system called Railroad Crossing Control (RCC).","PeriodicalId":218839,"journal":{"name":"2008 15th Asia-Pacific Software Engineering Conference","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-12-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Behavioral Specification of Real-Time Requirements\",\"authors\":\"S. M. Babamir, F. S. Babamir\",\"doi\":\"10.1109/APSEC.2008.22\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-based one. The former indicates the external system behavior while the latter indicates the internal one, which the external behavior are specified in environment events and the internal behavior is specified in software entities and operations such as variables and method calls. The mapping can be used in software development process and software monitoring against safety requirements. Lastly, we apply our method to requirements of a real-time safety critical system called Railroad Crossing Control (RCC).\",\"PeriodicalId\":218839,\"journal\":{\"name\":\"2008 15th Asia-Pacific Software Engineering Conference\",\"volume\":\"33 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-12-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 15th Asia-Pacific Software Engineering Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/APSEC.2008.22\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 15th Asia-Pacific Software Engineering Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/APSEC.2008.22","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Behavioral Specification of Real-Time Requirements
This paper aims to present a systematic method to: (1) specify high-level and event based real-time requirements and (2) map the specified requirements to low-level and state-based one. The former indicates the external system behavior while the latter indicates the internal one, which the external behavior are specified in environment events and the internal behavior is specified in software entities and operations such as variables and method calls. The mapping can be used in software development process and software monitoring against safety requirements. Lastly, we apply our method to requirements of a real-time safety critical system called Railroad Crossing Control (RCC).