Modeling urgency in component-based real-time systems

Authors:
Nguyen Van Tang;Dang Van Hung;Mizuhito Ogawa
Affiliations:
Japan Advanced Institute of Science and Technology;United Nation University, International Institute for Software Technology;Japan Advanced Institute of Science and Technology
Venue:
ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Year:
2006

Citing 3
Cited 1

A theory of timed automata

Theoretical Computer Science
Linear Duration Invariants

ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Model Checking Real-Time Component Based Systems with Blackbox Testing

RTCSA '05 Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications

Event-Clock Visibly Pushdown Automata

SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.