基于事件的实时逻辑，用于指定实时系统的行为和定时属性

[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91 Pub Date : 1991-11-10 DOI:10.1109/TAI.1991.167097

Horng-Yuan Chen, J. Tsai, Yao-Dong Bi

{"title":"基于事件的实时逻辑，用于指定实时系统的行为和定时属性","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":"{\"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}","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

摘要

在基于事件的概念模型的基础上，提出了一种基于事件的实时逻辑(ERL)。ERL为指定实时软件系统的定时属性提供了一个高级框架。ERL用于指定目标系统的预期行为(规范)和实际行为(执行跟踪);它还用于验证程序是否达到规范。本文还介绍了一种使用Prolog编程语言实现ERL的方法，用于实时软件系统的测试和调试。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

An event-based real-time logic to specify the behavior and timing properties of real-time systems

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.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[Proceedings] Third International Conference on Tools for Artificial Intelligence - TAI 91

自引率

0.00%

发文量