Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A Systematic Approach to Safety Case Maintenance
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Assurance Based Development of Critical Systems
DSN '07 Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks
Arguing safety with Problem Oriented Software Engineering
HASE '07 Proceedings of the 10th IEEE High Assurance Systems Engineering Symposium
Hi-index | 0.00 |
Safety-critical systems certification is a complex endeavor. Regulating agencies are moving to goal-based standards in an effort to remedy significant problems of prescriptive standards. However, goal-based standards introduce new difficulties into the development and certification processes. In this work I introduce Certification-Based Development, or CBD. CBD is a process framework designed to mitigate these difficulties by meeting the needs of a specific certifying agency with regard to a specific system.