TTCN-3 Bibliography
TTCN-3 Bibliography |
|
 |
 |
 |
|
Serbanescu, D. 2008, June 3–6, Real time extensions for TTCN-3. Unpublished paper presented at ETSI TTCN-3 User Conference 2008, Madrid (Spain). Added by: Deleted user (22/08/2008, 10:27) |
| Resource type: Conference Paper BibTeX citation key: Serbanescu View all bibliographic details  |
Categories: General Creators: Serbanescu Publisher: MTP, ETSI (Madrid (Spain)) Collection: ETSI TTCN-3 User Conference 2008 |
Views: 42/2499
|
| Abstract |
|
Reactive real-time software is used when safety is the issue and the margin for errors is narrow. Such software is used in automotive, avionics, air traffic control, space shuttle control, medical equipment, nuclear power stations, etc. As the timeliness of those systems is critical, it needs to be assured and tested. However, real-time properties require automated tests as manual tests are untimely and imprecise. This presentation reviews Testing and Test Control Notation Version 3 (TTCN-3) as a mean for real-time testing and proposes extensions to enable real-time test systems in TTCN-3. Small examples demonstrate the usage of the new constructs. Real-time operating systems are analyzed and reviewed, to enable the realization of real-time test systems based on TTCN-3. Compared to classical systems, embedded real-time applications require even more powerful testing techniques because they not only have to provide a certain functionality, but they have to provide that functionality in a predefined, well-determined amount of time, sometimes this amount of time being very short. Therefore, the test system (TS) should be well instrumented for measuring the timing attributes of the system under test (SUT) and for providing test stimuli in appropriate time, as required by the test procedures. There are already several approaches trying to bring the real-time flavour into the language. We studied the existing approaches and we found that they are not sufficient for accomplishing the goal. Our target is a real-time test system that tests real-time applications not only remotely, by way of some form of dedicated communication links, but also within the proximity of the tested system itself, as it is embedded on a board physically attached to the system. This allows the deployment of test systems even where interconnectivity is hard to achieve, as for example, on online tests of electronic control units (ECUs) in automotive and avionics. For achieving that, the test system should be able to define abstract real-time test constraints for the tested system and for itself. After its abstract definition, the test system should be low level implemented on a specific embedded platform, which consists of both the real-time operating system and real-time hardware. For the execution of the tests, one has to fill in the gap between the high level test specifications and the real-time executable code. Therefore, a practical example is presented, consisting of a simple real-time application for automotive and a demonstrative test designed for the example. The test is run on a chosen real-time platform. Added by: Deleted user |