| Presentation | 2013/3/6 4 method for monitoring GPOS using SafeG TAKUYA MIURA, TAKAYA OHTA, DANIEL SANGORRIN, SHINYA HONDA, HIROAKI TAKADA, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | In this study, a method for monitoring a general-purpose operating system (GPOS) using SafeG, a highly reliable dual-OS monitor for embedded systems is proposed and implemented. SafeG is a small-scale software module designed for concurrently executing a GPOS and real-time operating system (RTOS) on top of the same embedded system platform. By using SafeG for monitoring the GPOS from the RTOS, it is possible to ensure that the GPOS kernel, as well as other existing monitoring mechanism, work correctly. Therefore, in this study, we focused on a method consist of execution sequence and developed and evaluated, we confirmed from evaluation results that this monitoring mechanism was successfully accomplished. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Embedded system / Real-time OS / Virtualization / Security / Rootkit |
| Paper # | Vol.2013-SLDM-160 No.1,Vol.2013-EMB-28 No.1 |
| Date of Issue |
| Conference Information | |
| Committee | DC |
|---|---|
| Conference Date | 2013/3/6(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Dependable Computing (DC) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | 4 method for monitoring GPOS using SafeG |
| Sub Title (in English) | |
| Keyword(1) | Embedded system |
| Keyword(2) | Real-time OS |
| Keyword(3) | Virtualization |
| Keyword(4) | Security |
| Keyword(5) | Rootkit |
| 1st Author's Name | TAKUYA MIURA |
| 1st Author's Affiliation | Department of Information Engineering, Nagoya University() |
| 2nd Author's Name | TAKAYA OHTA |
| 2nd Author's Affiliation | Graduate school of Information Science, Nagova University |
| 3rd Author's Name | DANIEL SANGORRIN |
| 3rd Author's Affiliation | Graduate school of Information Science, Nagova University |
| 4th Author's Name | SHINYA HONDA |
| 4th Author's Affiliation | Graduate school of Information Science, Nagova University |
| 5th Author's Name | HIROAKI TAKADA |
| 5th Author's Affiliation | Graduate school of Information Science, Nagova University |
| Date | 2013/3/6 |
| Paper # | Vol.2013-SLDM-160 No.1,Vol.2013-EMB-28 No.1 |
| Volume (vol) | vol.112 |
| Number (no) | 482 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |