A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude

Messaoud Bendiaf, Mustapha Bourahla, Malika Boudia and Seidali Rehab
Additional contact information
Messaoud Bendiaf: Department of Computer Science University of Biskra, Biskra, Algeria
Mustapha Bourahla: Department of Computer Science University of M'sila, M'sila, Algeria
Malika Boudia: Department of Computer Science University of Biskra, Biskra, Algeria
Seidali Rehab: MISC Laboratory, University of Constantine 2 - Abdelhamid Mehri, Constantine, Algeria

International Journal of Information Technology and Web Engineering (IJITWE), 2017, vol. 12, issue 4, 22-41

Abstract: Real-time systems must be properly validated and verified before their manufacturing and deployment in order to increase their reliability and reduce their maintenance cost. Models have been used for a long time to build complex systems, in virtually every engineering field. This is because they provide invaluable help in making important design decisions before the system is implemented. In this paper, the authors propose an approach based on model transformation to apply formal verification techniques to demonstrate the correctness of system designs. At the first step, they describe real-time systems by state chart (machine) diagrams, as source models to generate RT-Maude models (target models). The second step is to use the result models to verify the real-time systems against specified LTL properties using Maude LTL Model-Checker. This approach is illustrated through an example.

Date: 2017
References: Add references at CitEc
Citations:

Downloads: (external link)
http://services.igi-global.com/resolvedoi/resolve. ... 18/IJITWE.2017100102 (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:igg:jitwe0:v:12:y:2017:i:4:p:22-41

Access Statistics for this article

International Journal of Information Technology and Web Engineering (IJITWE) is currently edited by Ghazi I. Alkhatib

More articles in International Journal of Information Technology and Web Engineering (IJITWE) from IGI Global
Bibliographic data for series maintained by Journal Editor ().