Towards an Open Dependable Operating System
作者： Yutaka Ishikawa , Hajime Fujita , Toshiyuki Maeda , Motohiko Matsuda , Midori Sugaya
关键词:
摘要: This paper introduces a new dependable operating system project, called DEOS, started in 2006, and scheduled to continue for six years. In this safety extension mechanism P-Bus is be designed, implemented the Linux kernel so that future dependability attribute with P-Bus. A hardware abstraction layer, SPUMONE, introduced light-weight system, ArcOS, monitoring service on top of ArcOS monitors provide safety-net kernel. New metrics are being designed enable developers users decide which or software solution meets their requirements, thus can used.
elsevier.com
computer.org
sci-hub.se 参考文章(30)
David B. Golub, Avadis Tevanian, Michael J. Accetta, William J. Bolosky, Richard F. Rashid, Robert V. Baron, Michael Young, Mach: A New Kernel Foundation for UNIX Development. USENIX Summer. pp. 93- 113 ,(1986)
Mike Keefe, Patrick O'Rourke, Performance Evaluation of Linux Virtual Server usenix large installation systems administration conference. pp. 79- 92 ,(2001)
Takahiro Kosakai, Toshiyuki Maeda, Akinori Yonezawa, Compiling c programs into a strongly typed assembly language ASIAN'07 Proceedings of the 12th Asian computing science conference on Advances in computer science: computer and network security. pp. 17- 32 ,(2007) , 10.1007/978-3-540-76929-3_3
Ming-Yuan Zhu, Lei Luo, Guang-Zhe Xiong, A provably correct operating system ACM SIGOPS Operating Systems Review. ,vol. 35, pp. 17- 33 ,(2001) , 10.1145/371455.371458
Ted Wobber, Bjarne Steensgaard, James Larus, Manuel Fähndrich, Orion Hodson, Brian Zill, Mark Aiken, Nick Murphy, David Tarditi, Steven Levi, Galen Hunt, Martín Abadi, Chris Hawblitzel, Paul Barham, An Overview of the Singularity Project ACM Transactions on Storage. pp. 44- ,(2005)
Jeremy Condit, Matthew Harren, Zachary Anderson, David Gay, George C. Necula, Dependent types for low-level programming european symposium on programming. pp. 520- 535 ,(2007) , 10.1007/978-3-540-71316-6_35
Harvey Tuch, Gerwin Klein, Gernot Heiser, OS verification: now! hot topics in operating systems. pp. 2- 2 ,(2005)
K. Yamamoto, Y. Ishikawa, T. Matsui, Portable Execution Time Analysis Method embedded and real-time computing systems and applications. pp. 267- 270 ,(2006) , 10.1109/RTCSA.2006.49
Thomas Ball, Sriram K. Rajamani, The SLAM project Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02. ,vol. 37, pp. 1- 3 ,(2002) , 10.1145/503272.503274
B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, S. Eggers, Extensibility safety and performance in the SPIN operating system symposium on operating systems principles. ,vol. 29, pp. 267- 283 ,(1995) , 10.1145/224056.224077