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.

• Type: Conference
• Year: 2006
• Where: ASIAN
• Authors: Nguyen Van Tang, Dang Van Hung, Mizuhito Ogawa
• Keywords: Algorithms, ASIAN 2006, Blackbox Testing Algorithm, Component-based Realtime, Realtime System