{"title":"An event-based real-time logic to specify the behavior and timing properties of real-time systems","authors":"Horng-Yuan Chen, J. Tsai, Yao-Dong Bi","doi":"10.1109/TAI.1991.167097","DOIUrl":null,"url":null,"abstract":"A modification is presented of temporal logic-event-based real-time logic (ERL), based on an event-based conceptual model. The ERL provides a high-level framework for specifying timing properties of real-time software systems. The ERL is used to specify both expected behavior (specification) and actual behavior (execution traces) of the target systems; it is also used to verify that the program achieves the specification. A method is also described to implement the ERL using the Prolog programming language for testing and debugging real-time software systems.<<ETX>>","PeriodicalId":371778,"journal":{"name":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","volume":"33 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/TAI.1991.167097","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 4
Abstract
A modification is presented of temporal logic-event-based real-time logic (ERL), based on an event-based conceptual model. The ERL provides a high-level framework for specifying timing properties of real-time software systems. The ERL is used to specify both expected behavior (specification) and actual behavior (execution traces) of the target systems; it is also used to verify that the program achieves the specification. A method is also described to implement the ERL using the Prolog programming language for testing and debugging real-time software systems.<>