Results 1 -
3 of
3
Applications of Model Checking at Honeywell Laboratories
- Proceedings of the 8th International SPIN Workshop 2001, volume 2057 of Lecture Notes in Computer Science
, 2001
"... This paper provides a brief overview of ve projects in which Honeywell has successfully used or developed model checking methods in the veri cation and synthesis of safety-critical systems. 1 ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
This paper provides a brief overview of ve projects in which Honeywell has successfully used or developed model checking methods in the veri cation and synthesis of safety-critical systems. 1
RT-MLab: Really Real-Time Robotics
- AAAI Spring Symposium on Real-time Autonomous Systems, Spring 2000
, 2000
"... A common misconception about real-time computing is that it is equivalent to "fast computing." Many robotics examples in recent history have shown that without rigorous understanding of the resource requirements and interactions of the software, these systems are doomed to failure. In this pap ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
A common misconception about real-time computing is that it is equivalent to "fast computing." Many robotics examples in recent history have shown that without rigorous understanding of the resource requirements and interactions of the software, these systems are doomed to failure. In this paper, we discuss our application of rigorous real-time analysis and execution methods to Georgia Tech's MissionLab system for robot tasking and control [Endo et al. 1999; MacKenzie, Arkin, & Cameron 1997]. In this paper, we describe RT-MLab, which combines MissionLab with Honeywell's MetaH realtime analysis and execution tool to provide real-time schedulability analysis and reliable real-time execution support for robot behaviour configurations. Introduction For decades, robotics researchers have pushed the boundaries of computer science and computing hardware, striving to build intelligent control systems that are smart enough and fast enough to control robots moving through complex...
In the 2000 AAAI SSS `Real-Time Autonomous Systems' RT-MLab: Really Real-Time Robotics
"... A common misconception about real-time computing is that it is equivalent to \fast computing. " Many robotics examples in recent history have shown that without rigorous understanding of the resource requirements and interactions of the software, these systems are doomed to failure. In this paper, w ..."
Abstract
- Add to MetaCart
A common misconception about real-time computing is that it is equivalent to \fast computing. " Many robotics examples in recent history have shown that without rigorous understanding of the resource requirements and interactions of the software, these systems are doomed to failure. In this paper, we discuss our application of rigorous real-time analysis and execution methods to Georgia Tech's MissionLab system for robot tasking and control
