{"title":"A Combined Approach for RT-Systems Development and Analysis","authors":"Kamel Boukhelfa, F. Belala","doi":"10.4018/ijoci.305839","DOIUrl":null,"url":null,"abstract":"In this paper, we propose an approach for the development of real time systems and applications with a formal support based on rewrite logic. The design pattern based development process permits to represent the real time design patterns according to the new profile “DPP-RTSA” and provide, so, a manner to correctly execution of the instantiation and the composition of patterns. The obtained design from the application of the proposed process is translated into formal specification in rewriting logic (RT-Maude). The execution of this RT-Maude specification serve to perform the verification of the modelled system proprieties.","PeriodicalId":255127,"journal":{"name":"International Journal of Organizational and Collective Intelligence","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Journal of Organizational and Collective Intelligence","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4018/ijoci.305839","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
In this paper, we propose an approach for the development of real time systems and applications with a formal support based on rewrite logic. The design pattern based development process permits to represent the real time design patterns according to the new profile “DPP-RTSA” and provide, so, a manner to correctly execution of the instantiation and the composition of patterns. The obtained design from the application of the proposed process is translated into formal specification in rewriting logic (RT-Maude). The execution of this RT-Maude specification serve to perform the verification of the modelled system proprieties.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
