[PDF][PDF] An overview of microkernel, hypervisor and microvisor virtualization approaches for embedded systems
A Iqbal, N Sadeque, RI Mutia - Report, Department of Electrical and …, 2009 - Citeseer
This paper addresses an essential application of microkernels; its role in virtualization for
embedded systems. Virtualization in embedded systems and microkernel-based …
embedded systems. Virtualization in embedded systems and microkernel-based …
The role of virtualization in embedded systems
G Heiser - Proceedings of the 1st workshop on Isolation and …, 2008 - dl.acm.org
System virtualization, which enjoys immense popularity in the enterprise and personal
computing spaces, is recently gaining significant interest in the embedded domain. Starting …
computing spaces, is recently gaining significant interest in the embedded domain. Starting …
Ec: Embedded systems compartmentalization via intra-kernel isolation
Embedded systems comprise of low-power microcontrollers and constitute computing
systems from IoT nodes to supercomputers. Unfortunately, due to the low power constraint …
systems from IoT nodes to supercomputers. Unfortunately, due to the low power constraint …
Kalas: A verified, end-to-end compiler for a choreographic language
JÅ Pohjola, A Gómez-Londoño, J Shaker… - … Theorem Proving (ITP …, 2022 - drops.dagstuhl.de
Choreographies are an abstraction for globally describing deadlock-free communicating
systems. A choreography can be compiled into multiple endpoints preserving the global …
systems. A choreography can be compiled into multiple endpoints preserving the global …
Manipulative interference attacks
A μ-kernel is an operating system (OS) paradigm that facilitates a strong cybersecurity
posture for embedded systems. Unlike a monolithic OS such as Linux, a μ-kernel reduces …
posture for embedded systems. Unlike a monolithic OS such as Linux, a μ-kernel reduces …
Formally verified software in the real world
Formally verified software in the real world Page 1 68 COMMUNICATIONS OF THE ACM |
OCTOBER 2018 | VOL. 61 | NO. 10 contributed articles IN FEBRUARY 2017, a helicopter took …
OCTOBER 2018 | VOL. 61 | NO. 10 contributed articles IN FEBRUARY 2017, a helicopter took …
Towards trustworthy computing systems: taking microkernels to the next level
As computer systems become increasingly mission-critical, used in life-critical situations,
and relied upon to protect intellectual property, operating-system reliability is becoming an …
and relied upon to protect intellectual property, operating-system reliability is becoming an …
HAMR: an AADL multi-platform code generation toolset
This paper describes the High-Assurance Model-based Rapid engineering for embedded
systems (HAMR) tool-kit that generates high-assurance software from standards-based …
systems (HAMR) tool-kit that generates high-assurance software from standards-based …
A component model for hard real‐time systems: CCM with ARINC‐653
The size and complexity of software in safety‐critical systems is increasing at a rapid pace.
One technology that can be used to mitigate this complexity is component‐based software …
One technology that can be used to mitigate this complexity is component‐based software …
seL4 Microkernel for virtualization use-cases: Potential directions towards a standard VMM
Virtualization plays an essential role in providing security to computational systems by
isolating execution environments. Many software solutions, called hypervisors, have been …
isolating execution environments. Many software solutions, called hypervisors, have been …