|
Title:
|
DESIGN AND IMPLEMENTATION OF A CENTRALIZED ARCHITECTURE FOR TESTING DISTRIBUTED REAL-TIME SYSTEMS |
|
Author(s):
|
Shoukat Hayat Siddiquee , Abdeslam En-nouaary |
|
ISBN:
|
972-8924-09-7 |
|
Editors:
|
Nuno Guimarães, Pedro Isaías and Ambrosio Goikoetxea |
|
Year:
|
2006 |
|
Edition:
|
Single |
|
Keywords:
|
Timed input-output automata, Real-time systems, CORBA, Conformance testing, Formal methods. |
|
Type:
|
Short Paper |
|
First Page:
|
488 |
|
Last Page:
|
492 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
A real-time system is a system that is required to react to stimuli from the environment within time intervals dictated by the environment. In real-time applications, the timing requirements are the main constraints and their mastering is the predominant factor for assessing the quality of service. The safety-critical nature of their domain and their inherent complexity advocate the use of formal methods in the software development process. Testing is one of the formal techniques that can be used to ensure the quality of real-time systems. This paper addresses and proposes a centralized architecture for the execution of test cases on distributed real-time systems. The architecture is implemented in CORBA and JAVA. The specification model used is n-ports Timed Input Output Automata, a variant of timed automata of Alur and Dill. |
|
|
|
|
|
|
