{"title":"具有成本效益的软件安全分析","authors":"L. Bass, D. L. Martin","doi":"10.1109/ARMS.1989.49569","DOIUrl":null,"url":null,"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.<<ETX>>","PeriodicalId":430861,"journal":{"name":"Proceedings., Annual Reliability and Maintainability Symposium","volume":"44 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-01-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Cost-effective software safety analysis\",\"authors\":\"L. Bass, D. L. Martin\",\"doi\":\"10.1109/ARMS.1989.49569\",\"DOIUrl\":null,\"url\":null,\"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.<<ETX>>\",\"PeriodicalId\":430861,\"journal\":{\"name\":\"Proceedings., Annual Reliability and Maintainability Symposium\",\"volume\":\"44 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-01-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings., Annual Reliability and Maintainability Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ARMS.1989.49569\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings., Annual Reliability and Maintainability Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ARMS.1989.49569","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
