- Volume 14 Number 4 (Nov. 2023)
- Volume 14 Number 3 (Aug. 2023)
- Volume 14 Number 2 (May 2023)
- Volume 14 Number 1 (Feb. 2023)
- Volume 13 Number 4 (Nov. 2022)
- Volume 13 Number 3 (Aug. 2022)
- Volume 13 Number 2 (May 2022)
- Volume 13 Number 1 (Feb. 2022)
- Volume 12 Number 4 (Nov. 2021)
- Volume 12 Number 3 (Aug. 2021)
- Volume 12 Number 2 (May. 2021)
- Volume 12 Number 1 (Feb. 2021)
- Volume 11 Number 6 (Dec. 2020)
- Volume 11 Number 5 (Oct. 2020)
- Volume 11 Number 4 (Aug. 2020)
- Volume 11 Number 3 (Jun. 2020)
- Volume 11 Number 2 (Apr. 2020)
- Volume 11 Number 1 (Feb. 2020)
- Volume 10 Number 6 (Dec. 2019)
- Volume 10 Number 5 (Oct. 2019)
- Volume 10 Number 4 (Aug. 2019)
- Volume 10 Number 3 (Jun. 2019)
- Volume 10 Number 2 (Apr. 2019)
- Volume 10 Number 1 (Feb. 2019)
- Volume 9 Number 6 (Dec. 2018)
- Volume 9 Number 5 (Oct. 2018)
- Volume 9 Number 4 (Aug. 2018)
- Volume 9 Number 3 (Jun. 2018)
- Volume 9 Number 2 (Apr. 2018)
- Volume 9 Number 1 (Feb. 2018)
- Volume 8 Number 6 (Dec. 2017)
- Volume 8 Number 5 (Oct. 2017)
- Volume 8 Number 4 (Aug. 2017)
- Volume 8 Number 3 (Jun. 2017)
- Volume 8 Number 2 (Apr. 2017)
- Volume 8 Number 1 (Feb. 2017)
- Volume 7 Number 6 (Dec. 2016)
- Volume 7 Number 5 (Oct. 2016)
- Volume 7 Number 4 (Aug. 2016)
- Volume 7 Number 3 (Jun. 2016)
- Volume 7 Number 2 (Apr. 2016)
- Volume 7 Number 1 (Feb. 2016)
- Volume 6 Number 6 (Dec. 2015)
- Volume 6 Number 5 (Oct. 2015)
- Volume 6 Number 4 (Aug. 2015)
- Volume 6 Number 3 (Jun. 2015)
- Volume 6 Number 2 (Apr. 2015)
- Volume 6 Number 1 (Feb. 2015)
- Volume 5 Number 6 (Dec. 2014)
- Volume 5 Number 5 (Oct. 2014)
- Volume 5 Number 4 (Aug. 2014)
- Volume 5 Number 3 (Jun. 2014)
- Volume 5 Number 2 (Apr. 2014)
- Volume 5 Number 1 (Feb. 2014)
- Volume 4 Number 6 (Dec. 2013)
- Volume 4 Number 5 (Oct. 2013)
- Volume 4 Number 4 (Aug. 2013)
- Volume 4 Number 3 (Jun. 2013)
- Volume 4 Number 2 (Apr. 2013)
- Volume 4 Number 1 (Feb. 2013)
- Volume 3 Number 6 (Dec. 2012)
- Volume 3 Number 5 (Oct. 2012)
- Volume 3 Number 4 (Aug. 2012)
- Volume 3 Number 3 (Jun. 2012)
- Volume 3 Number 2 (Apr. 2012)
- Volume 3 Number 1 (Feb. 2012)
- Volume 2 Number 6 (Dec. 2011)
- Volume 2 Number 5 (Oct. 2011)
- Volume 2 Number 4 (Aug. 2011)
- Volume 2 Number 3 (Jun. 2011)
- Volume 2 Number 2 (Apr. 2011)
- Volume 2 Number 1 (Feb. 2011)
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
- ISSN: 2010-0248 (Print)
- Abbreviated Title: Int. J. Innov. Manag. Technol.
- Frequency: Quarterly
- DOI: 10.18178/IJIMT
- Editor-in-Chief: Prof. Jin Wang
- Managing Editor: Ms. Nancy Y. Liu
- Abstracting/ Indexing: Google Scholar, CNKI, Ulrich's Periodicals Directory, Crossref, Electronic Journals Library.
- E-mail: ijimt@ejournal.net
Formal Verification of Real-Time Systems Using a True Concurrency Semantics
Abstract—In this paper we develop an algorithm of translation between two models for specifying real-time systems. The first model is the timed automata model and the second is the Durational Action Timed Automaton star (DATA*). Our approach is to interpret the behavior described by DATA *’s to Timed Automata. The main difference between the two models is the assumption on the actions, in the first model the actions are assumed atomic and have null durations, for the second the actions are assumed non-atomic and non-null durations, through the true concurrency semantics.
Index Terms—Real-time systems, true concurrency semantics, actions duration, automata theory, LOTOS.
Maarouk Toufik Messaoud is with the Department of Computer Science and Mathematics, University Abbes Laghrour, Khenchela, Algeria. Memberin the laboratory "Modeling and implementation of complex systems",University Mentouri (e-mail: toumaarouk@ yahoo.fr).
Saidouni Djamel Eddine is with the Department of Computer Science,University Mentouri, Constantine, Algeria. Team Leader "formal conception of complex systems” in the laboratory "Modeling and implementation of complex systems", University Mentouri (e-mail:saidounid@ yahoo.fr).
Cite: Maarouk Toufik Messaoud and Saidouni Djamel Eddine, "Formal Verification of Real-Time Systems Using a True Concurrency Semantics," International Journal of Innovation, Management and Technology vol. 4, no. 1, pp. 62-65, 2013.