Model Checking Real-Time Component Based Systems with Blackbox Testing

Authors:
Dang Van Hung;Bui Vu Anh
Affiliations:
United Nations University;United Nations University
Venue:
RTCSA '05 Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Year:
2005

Citing 0
Cited 4

Modeling urgency in component-based real-time systems

ASIAN'06 Proceedings of the 11th Asian computing science conference on Advances in computer science: secure software and related issues
Timed traces and their applications in specification and verification of distributed real-time systems

Proceedings of the Third Symposium on Information and Communication Technology
An algebraic structure for duration automata

ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part II
Modeling and specification of real-time interfaces with UTP

Theories of Programming and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

Although simultaneous multithreading (SMT) has been shown being an efficient technique to improve processor performance, little work has been done on real-time SMT scheduling. The objective of this paper is to explore realtime SMT scheduling, for independent ...