OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Test of preemptive real-time systems

Adjir, Noureddine and Saqui-Sannes, Pierre de and Rahmouni, Mustapha Test of preemptive real-time systems. (2008) In: AICCSA 2008. IEEE/ACS International Conference on Computer Systems and Applications, 31 March - 04 April 2008, Doha, Qatar .

[img]
Preview
(Document in English)

PDF ( Author's version ) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
434kB

Official URL: http://dx.doi.org/10.1109/AICCSA.2008.4493609

Abstract

Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time systems. Assuming the modelled systems are non deterministic and partially observable, the paper proposes a test generation approach which implements an online testing policy and outputs test results that are valid for the (part of the) selected environment. A relativized conformance relation named rswtioco is defined and a test generation algorithm is presented. The proposed approach is illustrated on an example.

Item Type:Conference or Workshop Item (Paper)
Additional Information:This paper appears in: Computer Systems and Applications, 2008. AICCSA 2008. IEEE/ACS International Conference on Computer Systems and Applications Publication Date: March 31 2008-April 4 2008 On page(s): 734-742 ISBN: 978-1-4244-1967-8
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Other partners > Université d'Oran (ALGERIA)
Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE
Other partners > Centre Universitaire Dr. Moulay Tahar de Saïda (ALGERIA)
French research institutions > Centre National de la Recherche Scientifique - CNRS
Laboratory name:
Statistics:download
Deposited By: Pierre de Saqui-Sannes

Repository Staff Only: item control page