Title :
Cost-effective software safety analysis
Author :
Bass, Lewis ; Martin, Daniel L.
Author_Institution :
Kairos Co., Mountain View, CA, USA
Abstract :
The authors describe the application of cost-effective software safety to the motion control systems of two computer-controlled robots, one mobile and the other stationary. They discuss specific issues. The programming language analyzed is C, but the methodology is equally applicable to other computer languages or automated control systems using programmable controllers. Guidelines for safe programming practices and specifications are included
Keywords :
computerised control; position control; robots; safety; software reliability; C; computer-controlled robots; cost-effective software safety; motion control systems; Application software; Automatic control; Computer languages; Control systems; Mobile computing; Mobile robots; Motion control; Motion planning; Robotics and automation; Software safety;
Conference_Titel :
Reliability and Maintainability Symposium, 1989. Proceedings., Annual
Conference_Location :
Atlanta, GA
DOI :
10.1109/ARMS.1989.49569
