• DocumentCode
    656243
  • Title

    Hardware-Specific Bare-Metal Microhypervisor Prototype

  • Author

    Kolchin, Ivan ; Nikolaev, Maxim ; Parfenov, Stanislav ; Popkov, Oleg ; Sobolev, Sergey

  • Author_Institution
    Corp. Technol., Reliable Embedded Syst., Siemens LLC, St. Petersburg, Russia
  • fYear
    2013
  • fDate
    1-4 Oct. 2013
  • Firstpage
    1038
  • Lastpage
    1043
  • Abstract
    Hyper visors and virtual machines have become very popular in recent decade due to a number of indisputable advantages. But there is a dark side of this fact, especially for industry companies which are engaged into development of safety-relevant systems. The software becomes too complicated and bloated to meet all possible versions and configurations of hardware. As a result it´s difficult to certify it with compliance to safety standards such as IEC 61508. An attempt to go another way is undertaken in the research. The way is to develop a bare-metal hyper visor for a particular platform with a certain set of peripheral devices and thus to reduce lines of code significantly. This approach allows making the software faster and more reliable in exchange for flexibility. The hardware-specific bare-metal microhypervisor has been developed from the scratch for x86 quad-core CPU. It can run three real-time virtual machines on separated cores. The main achievements are just not above 10k lines of code and simplicity.
  • Keywords
    multiprocessing systems; operating systems (computers); virtual machines; virtualisation; IEC 61508 safety standards; hardware configurations; hardware-specific bare-metal microhypervisor; peripheral devices; virtual machines; x86 quad-core CPU; Computer architecture; Hardware; Operating systems; Virtual machine monitors; Virtual machining; Virtualization; bare metal software; microhypervisor; real-time systems; safety-critical systems; symmetric multiprocessor; virtual machine;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel Processing (ICPP), 2013 42nd International Conference on
  • Conference_Location
    Lyon
  • ISSN
    0190-3918
  • Type

    conf

  • DOI
    10.1109/ICPP.2013.123
  • Filename
    6687448