A lightweight code analysis and its role in evaluation of a dependability case

A lightweight code analysis and its role in evaluation of a dependability case

A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a dependability case for the control software of a medical device. The key novelty of our approach is a lightweight code analysis...

Full description

Bibliographic Details
Main Authors: Near, Joseph Paul (Contributor), Milicevic, Aleksandar (Contributor), Kang, Eunsuk (Contributor), Jackson, Daniel (Contributor)
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory (Contributor), Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor)
Format: Article
Language:English
Published: Association for Computing Machinery (ACM), 2012-09-10T18:11:05Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items