๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Conformance Tests for Real-Time Systems with Timed Automata Specifications

โœ Scribed by Rachel Cardell-Oliver

Publisher
Springer
Year
2000
Tongue
English
Weight
174 KB
Volume
12
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Conformance testing to real-time communi
Conformance testing to real-time communications systems
โœ O. Konรฉ ๐Ÿ“‚ Article ๐Ÿ“… 2002 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 211 KB

Real-time requirements appear in the speciยฎcations of new evolving systems such as multimedia applications or embedded systems. Testing is an experimental method aimed at checking the correctness of some implementation and its conformance to some standard speciยฎcation. At present, standardization in

Real-time on-line test for MDOF systems
Real-time on-line test for MDOF systems
โœ Nakashima, Masayoshi; Masaoka, Nobuaki ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 352 KB ๐Ÿ‘ 1 views

This paper presents a test system for conducting on-line tests in a real time and a series of real-time on-line tests conducted to verify the effectiveness of the system. The proposed system is characterized by (1) use of a Digital Signal Processor (DSP) now readily available, (2) adoption of the C