Separation of concerns for dependable software design

10 years 2 months ago
Separation of concerns for dependable software design
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. Categories and Subject Descriptors D.2.2 [Software Engineering]: Design Tools and Techniques; D.2.4 Software/Program Verification; D.2.10 Design. General Terms Design, Reliability, Languages, eory, Verification. Keywords Dependability, software design, separation of concerns, object-orientation, formal methods, trusted bases, decoupling, entanglement, mixed-criticality systems.
Daniel Jackson, Eunsuk Kang
Added 15 Feb 2011
Updated 15 Feb 2011
Type Journal
Year 2010
Authors Daniel Jackson, Eunsuk Kang
Comments (0)