Browse Dept. of Computer Science by Subject "model checking"
Now showing items 1-4 of 4
(2011-08-25)Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause them to erroneously ...
Industrial Application of the System-Level Simplex Architecture for Real-Time Embedded System Safety (2009-09-24)Cyberphysical systems differ from traditional computer programming applications in that software bugs and mistakes have immediate, possibly dangerous, physical-world consequences. Rather than requiring all control software ...
(2011-05-31)Distributed Real-Time Systems (DRTS), such as avionics systems and distributed control systems in motor vehicles, are very hard to design because of asynchronous communication, network delays, and clock skews. Furthermore, ...
(2011-08-26)The growing use of multicore and networked computing systems is increasing the importance of developing reliable parallel and distributed code. Testing such code is notoriously difficult, especially for shared-memory models ...