3389 search results - page 482 / 678 » Real-Time and Fault-Tolerant Systems |
168
click to vote
FATES
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
179
click to vote
ICEIS
2003
IEEE
16 years 14 days ago
2003
IEEE
: In this paper we describe the design and implementation of a system called Web Interaction Display and Monitoring (WIDAM). We have developed a web based client-server application...
230
click to vote
CASES
2005
ACM
15 years 9 months ago
2005
ACM
Embedded systems are being deployed as a part of critical infrastructures and are vulnerable to malicious attacks due to internet accessibility. Intrusion detection systems have b...
202
click to vote
FCT
1997
Springer
15 years 11 months ago
1997
Springer
A connection management protocol establishes a connection between two hosts across a wide-area network to allow reliable message delivery. Following previous work of Kleinberg et a...
249
click to vote
SDL
2007
15 years 8 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...