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 dram...
| Main Authors: | , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | en_US |
| Published: |
Association for Computing Machinery
2011
|
| Online Access: | http://hdl.handle.net/1721.1/62030 https://orcid.org/0000-0002-0194-3989 https://orcid.org/0000-0003-4864-078X |
| _version_ | 1826214536757116928 |
|---|---|
| author | Jackson, Daniel Kang, Eunsuk |
| author2 | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
| author_facet | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Jackson, Daniel Kang, Eunsuk |
| author_sort | Jackson, Daniel |
| collection | MIT |
| description | 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. |
| first_indexed | 2024-09-23T16:07:19Z |
| format | Article |
| id | mit-1721.1/62030 |
| institution | Massachusetts Institute of Technology |
| language | en_US |
| last_indexed | 2024-09-23T16:07:19Z |
| publishDate | 2011 |
| publisher | Association for Computing Machinery |
| record_format | dspace |
| spelling | mit-1721.1/620302022-09-29T18:20:42Z Separation of concerns for dependable software design Jackson, Daniel Kang, Eunsuk Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science Jackson, Daniel Jackson, Daniel Kang, Eunsuk 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. National Science Foundation (U.S.) (Grant No. 0541183) Northrop Grumman Corporation 2011-04-04T15:12:39Z 2011-04-04T15:12:39Z 2010-11 Article http://purl.org/eprint/type/ConferencePaper 978-1-4503-0427-6 http://hdl.handle.net/1721.1/62030 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. https://orcid.org/0000-0002-0194-3989 https://orcid.org/0000-0003-4864-078X en_US http://dx.doi.org/10.1145/1882362.1882399 Proceedings of the FSE/SDP workshop on Future of software engineering research Creative Commons Attribution-Noncommercial-Share Alike 3.0 http://creativecommons.org/licenses/by-nc-sa/3.0/ application/pdf Association for Computing Machinery MIT web domain |
| spellingShingle | Jackson, Daniel Kang, Eunsuk Separation of concerns for dependable software design |
| title | Separation of concerns for dependable software design |
| title_full | Separation of concerns for dependable software design |
| title_fullStr | Separation of concerns for dependable software design |
| title_full_unstemmed | Separation of concerns for dependable software design |
| title_short | Separation of concerns for dependable software design |
| title_sort | separation of concerns for dependable software design |
| url | http://hdl.handle.net/1721.1/62030 https://orcid.org/0000-0002-0194-3989 https://orcid.org/0000-0003-4864-078X |
| work_keys_str_mv | AT jacksondaniel separationofconcernsfordependablesoftwaredesign AT kangeunsuk separationofconcernsfordependablesoftwaredesign |