Sciweavers

Share
ASIAN
2006
Springer

Modeling Urgency in Component-Based Real-Time Systems

11 years 11 months ago
Modeling Urgency in Component-Based Real-Time Systems
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algorithm, for detecting the emptiness of a component-based realtime system. This algorithm was originally proposed in [5], but with a certain flaw. We improve it and correct the flaw by using urgency [2] of transitions.
Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
Added 20 Aug 2010
Updated 20 Aug 2010
Type Conference
Year 2006
Where ASIAN
Authors Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
Comments (0)
books