189 search results - page 2 / 38 » Integration of Functional and Timed Testing of Real-Time and... |
169
Voted
CCECE
2006
IEEE
15 years 9 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
139
Voted
IJCSA
2007
15 years 3 months ago
2007
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
128
Voted
JUCS
2006
15 years 3 months ago
2006
: The size and complexity of software systems are continuously increasing, which makes them difficult and labor-intensive to develop, test and evolve. Since concurrent systems are ...
181
Voted
FORTEST
2008
15 years 5 months ago
2008
Abstract. This chapter presents principles and techniques for model-based blackbox conformance testing of real-time systems using the UPPAAL model-checking tool-suite. The basis fo...
144
Voted
RTSS
1990
IEEE
15 years 7 months ago
1990
IEEE
Time-critical scheduling in real-time database systems has two components: real-time transaction scheduling,which is related to task scheduling in realtime operating systems, and ...