Relative Simulation and Model Checking of Real-Time Processes

Fidge, Colin (2008) Relative Simulation and Model Checking of Real-Time Processes. In Dobbie, Gillian & Mans, Bernard (Eds.) Thirty-First Australasian Computer Science Conference (ACSC 2008), January, Wollongong, Australia.


Simulation and model checking are commonly used to compare the behaviour of a computer-based system with its requirements specification. However, when upgrading an operational legacy system the challenge is usually to compare the behaviour of a proposed new system against an old trusted one. Doing this for time-sensitive control systems is awkward because the behaviour of the system is dependent on that of its physical environment. Consequently, the old and new systems can be compared meaningfully only when they are simulated under exactly the same conditions. In this paper we show how this can be done by simulating both the old and new systems simultaneously, with both system models linked to the same environment model. The resulting simulation traces and model checking counterexamples allow the behaviours of a legacy real-time system and its proposed replacement to be compared directly and easily.

Impact and interest:

0 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

201 since deposited on 03 Dec 2007
3 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 11069
Item Type: Conference Paper
Refereed: Yes
Additional URLs:
Keywords: Simulation, Model checking, Real, time systems
Subjects: Australian and New Zealand Standard Research Classification > INFORMATION AND COMPUTING SCIENCES (080000) > ARTIFICIAL INTELLIGENCE AND IMAGE PROCESSING (080100) > Simulation and Modelling (080110)
Divisions: Past > QUT Faculties & Divisions > Faculty of Science and Technology
Copyright Owner: Copyright 2008 Australian Computer Society
Copyright Statement: Reproduced in accordance with the copyright policy of the publisher.
Deposited On: 03 Dec 2007 00:00
Last Modified: 29 Feb 2012 13:43

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page