1
|
Heiser G, Elphinstone K, Kuz I, Klein G, Petters SM. Towards trustworthy computing systems. ACTA ACUST UNITED AC 2007. [DOI: 10.1145/1278901.1278904] [Citation(s) in RCA: 15] [Impact Index Per Article: 0.9] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/22/2022]
Abstract
As computer systems become increasingly mission-critical, used in life-critical situations, and relied upon to protect intellectual property, operating-system reliability is becoming an ever growing concern. In the past, mission- and life-critical embedded systems consisted of simple microcontrollers running a small amount of software that could be validated using traditional and informal techniques. However, with the growth of software complexity, traditional techniques for ensuring software reliability have not been able to keep up, leading to an overall degradation of reliability. This paper argues that microkernels are the best approach for delivering truly trustworthy computer systems in the foreseeable future. It presents the NICTA operating-systems research vision, centred around the L4 microkernel and based on four core projects. The
seL4
project is designing an improved API for a secure microkernel,
L4, verified
will produce a full formal verification of the microkernel, Potoroo combines execution-time measurements with static analysis to determine the worst case execution profiles of the kernel, and
CAmkES
provides a component architecture for building systems that use the microkernel. Through close collaboration with
Open Kernel Labs
(a NICTA spinoff) the research output of these projects will make its way into products over the next few years.
Collapse
Affiliation(s)
- Gernot Heiser
- NICTA and University of New South Wales, Sydney, Australia
| | | | - Ihor Kuz
- NICTA and University of New South Wales, Sydney, Australia
| | - Gerwin Klein
- NICTA and University of New South Wales, Sydney, Australia
| | | |
Collapse
|
2
|
Scacchi W, Feller J, Fitzgerald B, Hissam S, Lakhani K. Understanding Free/Open Source Software Development Processes. ACTA ACUST UNITED AC 2006. [DOI: 10.1002/spip.255] [Citation(s) in RCA: 90] [Impact Index Per Article: 5.0] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/10/2022]
|
3
|
Crowston K, Howison J, Annabi H. Information systems success in free and open source software development: theory and measures. ACTA ACUST UNITED AC 2006. [DOI: 10.1002/spip.259] [Citation(s) in RCA: 163] [Impact Index Per Article: 9.1] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/07/2022]
|