Separation of concerns for dependable software design
Author(s)Jackson, Daniel; Kang, Eunsuk
MetadataShow full item record
For ‘mixed-criticality’ systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that each critical requirement has a small trusted base, the cost of the analysis required for a dependability case might be dramatically reduced. An implication of this approach is that conventional object-oriented design may be a liability, because it leads to ‘entanglement’, and an approach based on separating services may be preferable.
DepartmentMassachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory; Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Proceedings of the FSE/SDP workshop on Future of software engineering research
Association for Computing Machinery
Jackson, Daniel, and Eunsuk Kang. “Separation of concerns for dependable software design.” Proceedings of the FSE/SDP workshop on Future of software engineering research. Santa Fe, New Mexico, USA: ACM, 2010. 173-176.
Author's final manuscript