| Author | Carvalho, Adrino Didimo Machado de |
| Call Number | AIT Thesis no.ISE-11-25 |
| Subject(s) | Embedded computer systems
|
| Note | A thesis submitted in pa1tial fulfillment of the requirements for the degree of Master of Science in Microelectronics and Embedded Systems. |
| Publisher | Asian Institute of Technology |
| Series Statement | Thesis ; no. ISE-11-25 |
| Abstract | Many modern real-time embedded systems are reaching a level of complexity which precludes their proper assurance and verification. One way to overcome this problem is to use an architecture based on a Virtual-Machine Monitor (VMM). A VMM-based architecture enables an absolute logical isolation between critical and non-critical software components; thus preventing any component from ever affecting another one. In this study the first steps have been given for the development of a VMM, especially targeted for the real-time systems used in space applications. |
| Year | 2011 |
| Corresponding Series Added Entry | Asian Institute of Technology. Thesis ; no. ISE-11-25 |
| Type | Thesis |
| School | School of Engineering and Technology (SET) |
| Department | Department of Industrial Systems Engineering (DISE) |
| Academic Program/FoS | Industrial Systems Engineering (ISE) |
| Chairperson(s) | Mongkol Ekpanyapong.; |
| Examination Committee(s) | Conceicao, Adriano Jose da;Dailey, Matthew N.;Apinun Tunpan; |
| Scholarship Donor(s) | EM EuroAsia Scholarship Programme;Asian Institute of Technology |
| Degree | Thesis (M. Eng.) - Asian Institute of Technology, 2011 |