Construction of a highly dependable operating system

Proceedings - Sixth European Dependable Computing Conference, EDCC 2006

Volumn , Issue , 2006, Pages 3-12

  Herder, Jorrit N ^a   Bos, Herbert ^a   Gras, Ben ^a   Homburg, Philip ^a   Tanenbaum, Andrew S ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PERIPHERAL EQUIPMENT; COMPUTER RESOURCE MANAGEMENT; PROBLEM SOLVING; SERVERS; SOFTWARE ENGINEERING; SOFTWARE RELIABILITY;

DEVICE DRIVERS; MULTIPLE USER-MODE SERVERS; MULTISERVER DESIGN; SYSTEM CRASHING;

COMPUTER OPERATING SYSTEMS;

EID: 34547415107     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDCC.2006.7     Document Type: Conference Paper

References (20)

1. A. Chou and J. Yang and B. Chelf and S. Hallem and D. Engler. An Empirical Study of Operating System Errors. In Proc. 18th ACM Symp. on Oper. Syst. Prin., pages 73-88, 2001.
2. A.-M. de Saint-Exupéry. Wind, Sand, and Stars. Harcourt, Brace & Co, NY, 1940.
3. A. Gefflaut, T. Jaeger, Y. Park, J. Liedtke, K. Elphinstone, V. Uhlig, J. Tidswell, L. Deller, and L. Reuther. The SawMill Multiserver Approach. In ACM SIGOPS European Workshop, pages 109-114, Sept. 2000.
4. H. Hartig and M. Hohmuth and J. Liedtke and S. Schonberg and J. Wolter. The Performance of μ-Kernel-Based Systems. In Proc. 16th ACM Symp. on Oper. Syst. Prin., pages 66-77, Oct. 1997.
5. H. Härtig and R. Baumgartl and M. Borriss and Cl.-J. Hamann and M. Hohmuth and F. Mehnert and L. Reuther and S. Schonberg and J. Wolter. DROPS OS Support for Distributed Multimedia Applications. In Proc. 8th ACM SIGOPS European Workshop, pages 203-209, Sept. 1998.
6. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum. Modular System Programming in MINIX 3. ;login: The USENIXMagazine, 31(1):19-28, Apr. 2006.
7. J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum. Reorganizing UNIX for Reliability. In Proc. 11th Asia-Pacific Computer Systems Architecture Conference, Sept. 2006.
8. J. N. Herder, H. Bos, and A. S. Tanenbaum. A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers. In Technical Report IR-CS-018 [www.cs.vu.nl/~jnherder/ir-cs018.pdf], Vrije Universiteit, Jan. 2006.
9. G. C. Hunt, J. R. Larus, M. Abadi, M. Aiken, P. Barham, M. Fahndrich, C. Hawblitzel, O. Hodson, S. Levi, N. Murphy, B. Steensgaard, D. Tarditi, T. Wobber, and B. Zill. An Overview of the Singularity Project. Technical Report MSR-TR-2005-135, Microsoft Research, Oct. 2005.
10. J. LeVasseur and V. Uhlig and J. Stoess and S. Gotz. Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines. In Proc. 6th Symp. on Oper. Syst. Design and Impl, pages 17-30, Dec. 2004.
11. J. Liedtke. On μ-Kernel Construction. In Proc. 15th ACM Symp. on Oper. Syst. Prin., pages 237-250, Dec. 1995.
12. B. Leslie, P. Chubb, N. Fitzroy-Dale, S. Gotz, C. Gray, L. Macpherson, Y.-T. S. Daniel Potts, K. Elphinstone, and G. Heiser. User-Level Device Drivers: Achieved Performance. Journal of Computer Science and Technology, 20(5), Sept. 2005.
13. B. Pfitzmann and C. Stble. Perseus: A Quick Open-source Path to Secure Signatures. In Proc. of the 2nd Workshop on Microkernel-based Systems, 2001.
14. J. Saltzer and M. Schroeder. The Protection of Information in Computer Systems. Proceedings of the IEEE, 63(9), Sept. 1975.
15. M. Swift, M. Annamalai, B. Bershad, and H. Levy. Recovering Device Drivers. In Proc. Sixth Symp. on Oper. Syst. Design and Impl, pages 1-15, 2004.
16. M. Swift, B. Bershad, and H. Levy. Improving the Reliability of Commodity Operating Systems. 23(1):77-110, 2005.
17. A. S. Tanenbaum, J. N. Herder, and H. Bos. File Size Distribution on UNIX Systems: Then and Now. ACM SIGOPS Operating Systems Review.
18. T.J. Ostrand and E.J. Weyuker. The Distribution of Faults in a Large Industrial Software System. In Proc. of the 2002 ACM SIGSOFTInt'l Symp. on Software Testing and Analysis, pages 55-64. ACM, 2002.
19. T.J. Ostrand and E.J. Weyuker and and R.M. Bell. Where the Bugs Are. In Proc. of the 2004 ACM SIGSOFT Int'l Symp. on Software Testing and Analysis, pages 86-96. ACM, 2004.
20. V.R. Basili and B.T. Perricone. Software Errors and Complexity: An Empirical Investigation. Commun, of the ACM, 21(1):42-52, Jan. 1984.