The Kaya OS project and the μMPS hardware emulator

Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education

Volumn , Issue , 2005, Pages 49-53

  Goldweber, Michael ^a   Davoli, Renzo ^b   Morsiani, Mauro ^c  

^a XAVIER UNIVERSITY   (United States)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c CINECA   (Italy)

Author keywords

Education; Emulation; Hardware; Operating Systems

Indexed keywords

EMULATION; HARDWARE EMULATOR;

COMPUTER HARDWARE; CURRICULA; EDUCATION; PROJECT MANAGEMENT; STUDENTS;

COMPUTER OPERATING SYSTEMS;

EID: 29844447524     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1067445.1067462     Document Type: Conference Paper

References (23)

1. O. Babaoglu, M. Bussan, R. Drummond, and F. Schneider. Documentation for the CHIP computer system, 1988.
2. O. Babaoglu and F. Schneider. The HOCA operating system specifications, 1990.
3. W. A. Christopher, S. J. Procter, and T. E. Anderson. The nachos instructional operating system. In USENIX Winter 1993 Conference Proceedings, 1993.
4. R. Davoli. VDE: Virtual distributed ethernet. In Proceedings of Tridentcom, 2005.
5. R. Davoli and M. Goldweber. New directions in operating systems courses using hardware simulators. In Proceedings of the SCS International Conference on Simulation and Multimedia in Engineering Education, 2003.
6. E. Dijkstra. The structure of the THE multiprogramming system. Commun. ACM, 11(3), may 1968.
7. B. Gaeke. The vmips project. http//www.dgate.org/vmips.
8. G. Frankhauser, C. Conrad, E. Zitler, and B. Plattner. Topsy - a teachable operating system. http://www.tik.ee.ethz.ch/~topsy.
9. D. A. Holland, A. T. Lim, and M. I. Seltzer. A new instructional operating system. In Proceedings of the 33rd SIGCSE Technical Symposium on Computer Science Education, 2002.
10. D. Hovemeyer, J. Hollingsworth, and B. Bhattacharjee. Running on the bare metal with GeekOS. In Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004.
11. Joint IEEE Computer Society/ACM Task Force on Computing Curricula. Computing curricula 2001: Computer science - final report, 2001.
12. M. Kifer and S. Smolka, OSP An Environment for Operating System Projects. Addison-Wesley, 1991.
13. M. Kifer and S. Smolka. OSP An Environment for Operating System Projects: Instructor's Manual. Addison-Wesley, 1991.
14. M. Kifer and S. Smolkaka. OSP 2. http://www.lmc.cs.sunysb.edu:8180/osp2/ index.jsp.
15. M. Morsiani. AMIKE resource page. http://www.cs.unibo.it/~morsiani/amike. html.
16. M. Morsiani. ICARO.S resource page. http://www.cs.unibo.it/~morsiani/ icaros.html.
17. M. Morsiani. MPS resource page. http://MPS.sourceforge.net.
18. M. Morsiani and R. Davoli. Learning operating systems structure and implementation through the MPS computer system simulator. In Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999.
19. G. Nutt. Operating Systems: A Modern Perspective. Addison Wesley, 3rd edition, 2004.
20. M. Rosenblum, S. Herrod, E. Witchel, and A. Gupta. Complete computer simulation: The SimOS approach. IEEE Parallel and Distributed Technology, 1995.
21. A. Silberschatz, P. Galvin, and G. Gagne. Operating System Concepts. Wiley, 6th edition, 2001.
22. A. Tanenbaum. Modern Operating Systems. Prentice Hall, 2nd edition, 2001.
23. A. Tanenbaum and A. Woodhull. Operating Systems: Design and Implementation. Prentice Hall, 2nd edition, 1997.