Separation of concerns for dependable software design
Name
Jackson_Separation of.pdf
Size
314.52 KB
Format
Adobe PDF
Checksum (MD5)
2d1c5c634ee20b39550a41595be407e2
Author(s)
Jackson, Daniel
Kang, Eunsuk
Date Issued
November 2010
Journal
Proceedings of the FSE/SDP workshop on Future of software engineering research
Publisher
Association for Computing Machinery
Citation
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.
Version
Author's final manuscript
Abstract
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.
MIT Department
Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike 3.0
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1145/1882362.1882399
