The design and implementation of tripwire: a file system integrity checker
CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
Efficient Utilization of Scratch-Pad Memory in Embedded Processor Applications
EDTC '97 Proceedings of the 1997 European conference on Design and Test
A Measurement-Based Analysis of the Real-Time Performance of Linux
RTAS '02 Proceedings of the Eighth IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'02)
Xen and the art of virtualization
SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Stealthy malware detection through vmm-based "out-of-the-box" semantic view reconstruction
Proceedings of the 14th ACM conference on Computer and communications security
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
VMM-based hidden process detection and identification using Lycosid
Proceedings of the fourth ACM SIGPLAN/SIGOPS international conference on Virtual execution environments
The role of virtualization in embedded systems
Proceedings of the 1st workshop on Isolation and integration in embedded systems
Automatic Inference and Enforcement of Kernel Data Structure Invariants
ACSAC '08 Proceedings of the 2008 Annual Computer Security Applications Conference
Address-space layout randomization using code islands
Journal of Computer Security - Best papers of the Sec Track at the 2006 ACM Symposium
Hi-index | 0.00 |
Recent embedded systems are dramatically increasing their features to satisfy a user's demanding requirements. In traditional approaches, each feature uses a dedicated processor to be implemented, but the approach increases the cost to develop highly functional embedded systems. A multi-core processor offers a new opportunity to solve the dilemma because various functionalities can be implemented on one multi-core processor. While the number of functionalities is increased, we can just add more cores in the multi-core processor. However, we need a desirable software platform to implement a large number of functionalities on a multi-core processor for developing highly functional embedded systems. A composition kernel makes it possible to compose multiple functionalities on a multi-core processor with the minimum modifications of OS kernels and applications. In this paper, we present SPUMONE, a composition kernel for developing highly functional embedded systems, and runs on the SH4-based multi-core processor. SPUMONE does not support the spatial isolation to isolate guest OSes not to sacrifice the performance due to its virtualization. The approach may sacrifice the reliability and security, so we also propose to add the monitoring service that runs in the outside of a target guest OS to enhance its reliability and security without relying on the spatial isolation.