TECOM Project Results Leaflet

Total Page:16

File Type:pdf, Size:1020Kb

TECOM Project Results Leaflet Project Results TECOM (ITEA2 ~ 06038) Delivering trust in embedded ••••••••••••••• systems n Partners Offering secure and dependable solutions Atego EADS DS for a wide range of applications Fagor ••••••••••••••••••••••••••••••••••••• Ikerlan Technicolor Technikon The TECOM (Trusted Embedded ABSTRACT ARCHITECTURES Trialog Computing) project has developed TECOM focused on the growing demand Universidad Politécnica de Madrid architectures and solutions combining for execution platforms in embedded Universidad Politécnica de Valencia embedded trust services and trusted systems that address both integrity and Visual Tools operating system technologies to security concerns. It developed abstract ensure security and dependability in architectures based on generic modules a wide range of complex and dynamic involving on one side an embedded trust n Countries involved embedded systems. The project focused services layer offering hardware security, on enabling multiple applications to and on the other trusted operating Austria be run safely on the same systems system technology involving system and France and processors while acting totally middleware space. The result can be Spain independently of each other. customised to a specific application. Applications range from protecting film rights in video-on-demand applications The state-of-the art approach to trust at n Project start to ensuring bug-free software upgrades systems level, close to the processor, is September 2007 in domestic appliances. some form of hypervisor or virtualisation application for securely partitioning the n Project end Industry and society are increasingly applications. While this has already been August 2010 dependent on embedded systems that are developed for use on PCs where it was becoming ever more complex, dynamic and possible to run two windows independently open, while interacting with progressively at the same time, it has not been available more demanding and heterogeneous for embedded systems. n Contact environments. As a consequence, systems Project leader : reliability and security have become major RESULTING SOLUTION Antonio Kung, Trialog concerns. TECOM resulted in an open-source Email : and evolvable solution with the XtratuM [email protected] Current approaches provide little or hypervisor for safety critical embedded no support to determine the level of system which can meet stringent Project website : dependability and trustworthiness in certification needs in the avionics industry. www.tecom-itea.org a system. An increasing number of external security attacks as well as On the middleware side, TECOM worked design weaknesses in operating systems, on extending the PERC Ultra Java virtual especially in the PC world, have resulted machine technology from Atego to support in major economic damage. As a multiple applications. PERC was integrated consequence, it has been difficult to obtain with the TECOM middleware security layer user acceptance and market acceptance. and TECOM trusted operating systems. The outcome was a proof of concept that it is Trust involves the accepted dependence possible to add partitioning applications in between two stakeholders, one of which such a virtual machine. is responsible for a trusted artefact. In trusted computing, this involves a trusted APPLICATIONS DEMONSTRATED computing artefact such as an electronic TECOM demonstrated its approach in five device. Such trust is achieved by involving applications: means for security and dependability and 1. Isolation of the film stream from other providing some form of evidence for trust action in video-on-demand applications that can be examined by the stakeholders to protect rights; involved. The trustworthiness of a 2. Separated counting of numbers computing system is important as it allows of accesses for events in video- the reliance placed on the service it delivers surveillance applications for legal or to be justified. financial purposes; TECOM Trusted Embedded Computing •••••••••••••••••••••••••••••••• SOLUTIONS & ARCHITECTURES FOR INTEGRITY & SECURITY REQUIREMENTS TECOM’s goal is to investigate solutions and architectures for embedded system platforms which need to meet both security and integrity requirements. The TECOM approach will apply the concept of trusted platforms to real-time embedded systems in Project Results different sectors. ITEA 2 Office High Tech Campus 69 - 3 5656 AG Eindhoven OBJECTIVES 3. Quarantine of software updates in 5. Combination of a series of The Netherlands domestic appliances until an update has independently operating safety-critical n Meet security and integrity proved bug free; applications on single processors in Tel : +31 88 003 6136 requirements 4. Independent operation of multiple avionics for weight and cost reasons. Fax : +31 88 003 6130 separate functions, including Email : [email protected] n Provide a domain independent trusted dependable control and infotainment, on COMMERCIAL APPLICATIONS Web : www.itea2.org architecture for real-time embedded processors in automotive applications The resulting convergence of security and to reduce the number of processors dependability developed in this ITEA 2 n ITEA 2 – Information Technology for systems required; and project is already leading to commercial European Advancement – is Europe’s applications of both the operating systems premier co-operative R&D programme and virtual machines. The XTratuM secure driving pre-competitive research on operating system is now on the market with UNIQUE SELLING POINTS / BUSINESS VALUE support from FentiSS, a spin-off from the embedded and distributed software- intensive systems and services. n Unified abstract architecture based on University of Valencia. And the Atego PERC virtual machine is ready for integration As a EUREKA strategic Cluster, we generic models: once the required functions are identified. support co-ordinated national funding - security & trust layer The concepts developed in the other submissions and provide the link demonstrators are also serving as a basis between those who provide finance, - secure OS technology for future products. technology and software engineering. Our aim is to mobilise a total of 20,000 n Customisable to application sectors person-years over the full eight-year n Handles fragmented market period of our programme from 2006 to 2013. EXPECTED RESULTS n ITEA 2-labelled projects are Major project outcomes industry-driven initiatives building n TPM based solutions vital middleware and preparing DISSEMINATION standards to lay the foundations - hypervisors, middleware n 27 papers were published. for the next generation of products, n 19 dissemination actions were carried out. n Demonstrators systems, appliances and services. Our programme results in real product - mobile application, home control, video surveillance EXPLOITATION innovation that boosts European n XTratuM will be further disseminated by UPV. competitiveness in a wide range of n Studies n Trialog jointly with FentiSS will support XTratuM in France. industries. Specifically, we play a key - automotive sector, safety critical domain n UPV and Trialog are involved in the Oversee FP7 project which is building a platform for the automotive industry, based on XTratuM and the TECOM role in crucial application domains abstract architecture. where software dominates, such as n Aonix-Perc will integrate the isolation capability into a new release to be aerospace, automotive, consumer offered by Atego, based on market requirements. CONTACT electronics, healthcare/medical systems Project Leader: Antonio Kung and telecommunications. TRIALOG ~ Paris, France ~ Tel: +33 144 70 61 00, Fax: +33 144 70 05 91 STANDARDISATION Email: [email protected] ~ Website: www.tecom-itea.org n Through the IMA for Space project, UPV is involved in the standisation for n ITEA 2 projects involve TSP (Temporal and Spatial Partitioning) based on ARINC-653, with XtratuM complementary R&D from at least two as the hypervisor technology used as the input for the standard elaboration. companies in two countries. We issue n XtratuM is compliant with the SKPP and it is the process to be certified for annual Calls for Projects, evaluate the aerospace community. n XtratuM can be adapted to be AUTOSAR compliant with low effort. projects and help bring research n UPV will follow up all activities related to standarisation in system isolation. partners together. Our projects are n Atego is involved in JSR-282, which is defining a revision of RTSJ (Real- open to partners from large industrial Time Specification for Java). companies and small and medium-sized n Atego is involved in JSR-302 for the definition of safety-critical Java enterprises (SMEs) as well as public n Atego will follow up all the activities related to standarisation in middleware research institutes and universities. isolation that have an impact on Aonix-Perc. SPIN-OFFS n Taking into account the growing interest of the aerospace sector in the development of partitioned systems and the need of industrialisation of XtratuM to be used in final applications, UPV decided to setup the spin-off FentiSS. TECOM (ITEA2 ~ 06038) October 2010.
Recommended publications
  • Xtratum User Manual
    XtratuM Hypervisor for LEON4 Volume 2: XtratuM User Manual Miguel Masmano, Alfons Crespo, Javier Coronel November, 2012 Reference: xm-4-usermanual-047d This page is intentionally left blank. iii/134 DOCUMENT CONTROL PAGE TITLE: XtratuM Hypervisor for LEON4: Volume 2: XtratuM User Manual AUTHOR/S: Miguel Masmano, Alfons Crespo, Javier Coronel LAST PAGE NUMBER: 134 VERSION OF SOURCE CODE: XtratuM 4 for LEON3 () REFERENCE ID: xm-4-usermanual-047d SUMMARY: This guide describes the fundamental concepts and the features provided by the API of the XtratuM hypervisor. DISCLAIMER: This documentation is currently under active development. Therefore, there are no explicit or implied warranties regarding any properties, including, but not limited to, correctness and fitness for purpose. Contributions to this documentation (new material, suggestions or corrections) are welcome. REFERENCING THIS DOCUMENT: @techreport fxm-4-usermanual-047d, title = fXtratuM Hypervisor for LEON4: Volume 2: XtratuM User Manualg, author = f Miguel Masmano and Alfons Crespo and Javier Coronelg, institution = fUniversidad Polit´ecnicade Valenciag, number = fxm-4-usermanual-047dg, year=fNovember, 2012g, g Copyright c November, 2012 Miguel Masmano, Alfons Crespo, Javier Coronel Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled ”GNU Free Documentation License”. Changes: Version Date Comments 0.1 November, 2011 [xm-4-usermanual-047] Initial document 0.2 March, 2012 [xm-4-usermanual-047b] IOMMU included.
    [Show full text]
  • Spatial Isolation Refers to the System Ability to Detect and Avoid the Possibility That a Partition Can Access to Another Partition for Reading Or Writing
    Virtualización Apolinar González Alfons Crespo OUTLINE Introduction Virtualisation techniques Hypervisors and real-time TSP Roles and functions Scheduling issues Case study: XtratuM 2 Conceptos previos Máquina virtual (VM): software que implementa una máquina (computadora) como el comportamiento real. Hipervisor (también virtual machine monitor VMM) es una capa de software (o combinación de software/hardware) que permite ejecutar varios entornos de ejecución independientes o particiones en un computador. Partición: Entorno de ejecución de programas. Ejemplos: Linux + aplicaciones; un sistema operativo de tiempo real + tareas; … 3 Conceptos previos Partition Hypervisor 4 INTRODUCTION: Isolation Temporal isolation refers to the system ability to execute several executable partitions guaranteeing: • the timing constraints of the partition tasks • the execution of each partition does not depend on the temporal behaviour of other partitions. The temporal isolation enforcement is achieved by means of a scheduling policy: • Cyclic scheduling, the ARINC 653 • Periodic Priority Server • EDF Server • Priority 5 PARTITIONED SYSTEMS Temporal Isolation: duration Origin relative to MAF Slot (temporal window) P1P1 P2P2 P1P1 P3P3 P2P2 P2P2 P2P2 MAF (Major Frame) SlotP1P1 id = 3 start = 400ms duration = 100 partition: P1 Execution MAF 1 MAF 2 MAF 3 MAF 4 6 INTRODUCTION: Isolation Spatial isolation refers to the system ability to detect and avoid the possibility that a partition can access to another partition for reading or writing. The hardware
    [Show full text]
  • Virtualization Technologies Overview Course: CS 490 by Mendel
    Virtualization technologies overview Course: CS 490 by Mendel Rosenblum Name Can boot USB GUI Live 3D Snaps Live an OS on mem acceleration hot of migration another ory runnin disk alloc g partition ation system as guest Bochs partially partially Yes No Container s Cooperati Yes[1] Yes No No ve Linux (supporte d through X11 over networkin g) Denali DOSBox Partial (the Yes No No host OS can provide DOSBox services with USB devices) DOSEMU No No No FreeVPS GXemul No No Hercules Hyper-V iCore Yes Yes No Yes No Virtual Accounts Imperas Yes Yes Yes Yes OVP (Eclipse) Tools Integrity Yes No Yes Yes No Yes (HP-UX Virtual (Integrity guests only, Machines Virtual Linux and Machine Windows 2K3 Manager in near future) (add-on) Jail No Yes partially Yes No No No KVM Yes [3] Yes Yes [4] Yes Supported Yes [5] with VMGL [6] Linux- VServer LynxSec ure Mac-on- Yes Yes No No Linux Mac-on- No No Mac OpenVZ Yes Yes Yes Yes No Yes (using Xvnc and/or XDMCP) Oracle Yes Yes Yes Yes Yes VM (manage d by Oracle VM Manager) OVPsim Yes Yes Yes Yes (Eclipse) Padded Yes Yes Yes Cell for x86 (Green Hills Software) Padded Yes Yes Yes No Cell for PowerPC (Green Hills Software) Parallels Yes, if Boot Yes Yes Yes DirectX 9 Desktop Camp is and for Mac installed OpenGL 2.0 Parallels No Yes Yes No partially Workstati on PearPC POWER Yes Yes No Yes No Yes (on Hypervis POWER 6- or (PHYP) based systems, requires PowerVM Enterprise Licensing) QEMU Yes Yes Yes [4] Some code Yes done [7]; Also supported with VMGL [6] QEMU w/ Yes Yes Yes Some code Yes kqemu done [7]; Also module supported
    [Show full text]
  • Comparison of Platform Virtual Machines - Wikipedia
    Comparison of platform virtual machines - Wikipedia... http://en.wikipedia.org/wiki/Comparison_of_platform... Comparison of platform virtual machines From Wikipedia, the free encyclopedia The table below compares basic information about platform virtual machine (VM) packages. Contents 1 General Information 2 More details 3 Features 4 Other emulators 5 See also 6 References 7 External links General Information Name Creator Host CPU Guest CPU Bochs Kevin Lawton any x86, AMD64 CHARON-AXP Stromasys x86 (64 bit) DEC Alphaserver CHARON-VAX Stromasys x86, IA-64 VAX x86, x86-64, SPARC (portable: Contai ners (al so 'Zones') Sun Microsystems (Same as host) not tied to hardware) Dan Aloni helped by other Cooperati ve Li nux x86[1] (Same as parent) developers (1) Denal i University of Washington x86 x86 Peter Veenstra and Sjoerd with DOSBox any x86 community help DOSEMU Community Project x86, AMD64 x86 1 of 15 10/26/2009 12:50 PM Comparison of platform virtual machines - Wikipedia... http://en.wikipedia.org/wiki/Comparison_of_platform... FreeVPS PSoft (http://www.FreeVPS.com) x86, AMD64 compatible ARM, MIPS, M88K GXemul Anders Gavare any PowerPC, SuperH Written by Roger Bowler, Hercul es currently maintained by Jay any z/Architecture Maynard x64 + hardware-assisted Hyper-V Microsoft virtualization (Intel VT or x64,x86 AMD-V) OR1K, MIPS32, ARC600/ARC700, A (can use all OVP OVP Imperas [1] [2] Imperas OVP Tool s x86 (http://www.imperas.com) (http://www.ovpworld compliant models, u can write own to pu OVP APIs) i Core Vi rtual Accounts iCore Software
    [Show full text]
  • Hypervisors and Realtime Linux
    Hands-on course , 5 Hypervisors and realtime Linux day(s) Ref : HYP OBJECTIVES Participants At the end of this training you will be able to choose between the different realtime solutions for Linux and to Architects or developers in develop realtime applications based on Linux-RT, Xenomai or a realtime hypervisor architecture. charge of realtime application deployment merging realtime applications and opensource 1) Virtualisation using Linux 3) Overview of realtime architectures with Linux general purpose operating 2) The XEN Hypervisor 4) Realtime Hypervisors system. Pre-requisites Case study Basic knowledge of C The exercises are proposed using skeletons to be completed to allow the student to write a realtime programs development, application and to interface it with Linux. realtime executives and Linux or UNIX. 1) Virtualisation using Linux Next sessions - Overview of virtualization. History. Theory of virtualization. Virtualization types and modes. - The new virtualization helpers in modern CPU, Intel VTX and ARM Trust-zone. - Virtualization gains. Securing a system by diminution of the trusted software base. - Virtualization using Linux. Namespaces and application virtualization. - Overview of QEMU and KVM. Focus on XEN. 2) The XEN Hypervisor - Presentation of the XEN Hypervisor. Installation, commands overview. - Storage management, console, networking with XEN. - CPU virtualization, scheduling, checkpoints and migration. - Limits of the XEN scheduling. Tries to makes XEN realtime. - The XEN Development interface. Workshop Installation and management of the XEN Hypervisor. Implementation of a bare XEN application. Port of an Operating System to XEN. Xen scheduler. 3) Overview of realtime architectures with Linux - Linux realtime evolution. Origin of the problem. - Schedulers, bottom halves and latency.
    [Show full text]
  • EMC2 Prototyping and Benchmarking of Pikeos-Based and XTRATUM
    EMC2 Prototyping and Benchmarking of PikeOS-based and XTRATUM-based systems on LEON4x4 Introduction . Multi-core architectures will be adopted in the next generations of avionics and aerospace systems. Integrated Modular Avionics (IMA): mixed-criticality . Key requirement: spatial and temporal isolation . Virtualization appears to be a promising technique to implement robust software architectures in multi-core avionics platforms. Goal: exploiting virtualization in the prototyping of a multi-core test platform for the aerospace domain. This is a first attempt to exploit paravirtualization on Cobham-Gaisler LEON4, the European Space Agency Next Generation Microprocessor (NGMP). © 2015, Thales Alenia Space Reference Application Test Software (Test input, Application Stack: . Scenario: various analysis and (Telemetry, benchmarking) file transfers) levels of criticality and REFERENCE SOFTWARE dependability both at DEMO PLATFORM software and hardware level JTAG SPACEWIRE PERIPHERAL TARGET DEVICE 1 TEST SERIAL MULTICORE . Requirements: CONSOLE PROCESSING ETHERNET PLATFORM SPACEWIRE PERIPHERAL reliability, robustness. DEVICE 2 Overall objectives: . Implementation and analysis of a typical mixed-critical aerospace application over a next-gen multicore platform . Assessment and analysis of virtualization technologies (isolation) . Comparison of different hypervisors (robustness, self-healing) © 2015, Thales Alenia Space Platform & Tools The target hardware identified is a quad-core architecture based on the Gaisler SPARC-V8 LEON4 processor (ESA’s Next Generation MicroProcessor). Two different hypervisors, SYSGO PikeOS and FentISS XtratuM, have been considered for the implementation of the reference application on selected multicore platform. PikeOS is a platform providing RTOS, type I hypervisor and paravirtualization functionalities. XtratuM is an open-source, bare metal hypervisor targeting real- time systems and implementing the paravirtualization principle.
    [Show full text]
  • Use of Xtratum in an Automotive Application (*)
    Use of XtratuM in an Automotive Application (*) J. S´anchez , S. Peir´o, A. Crespo, J. Sim´o, M. Masmano, P. Balbastre Instituto de Automatica e Informatica Industrial Universidad Politecnica de Valencia, Spain jsanchez,mmasmano,speiro @ai2.upv.es, jsimo,acrespo,patricia disca.upv.es { } { } Abstract the paravirtualization technique, which means that Virtualization is playing a key role in many of software running on top of it must be modified in today software systems. At first used mainly to order to interact with the hypervisor and not with improve resource utilization, this technology is ex- the underlying hardware. Therefore, virtualization panding and has reached the market of embedded support cannot be limited to creating virtual ma- systems. In this scope, XtratuM o↵ers a virtual- chines but it has to be extended to provide support ization solution capable of running mixed-purpose for any run-time environment wanted to be run over applications. This paper presents the key contribu- XtratuM. tions to the OVERSEE project, whose architecture depends on the availability of this technology. This project has the goal of o↵ering an appropriate in- frastructure for the information technology systems of the upcoming smart vehicles. 1 Introduction The OVERSEE project [2] aims to provide a de- pendable and secure infrastructure for the execu- tion of mixed criticality applications on automotive systems. To meet this challenge, an architecture Figure 1: OVERSEE architecture overview. based on virtualization has been selected. XtratuM [1] o↵ers an ideal foundation for enforcing a strong Ultimately, this project has pushed forward the level of isolation, both temporal and spatial, thus cloud of available facilities in order to face the de- ensuring that vehicle functionality and safety can- sign of a XtratuM-based system.
    [Show full text]
  • Partitioned System with Xtratum on Powerpc
    Tesina de M´asteren Autom´aticae Inform´aticaIndustrial Partitioned System with XtratuM on PowerPC Author: Rui Zhou Advisor: Prof. Alfons Crespo i Lorente December 2009 Contents 1. Introduction1 1.1. MILS......................................2 1.2. ARINC 653..................................3 1.3. PikeOS.....................................6 1.4. ADEOS....................................7 2. Overview of XtratuM 11 2.1. Virtualization and Hypervisor........................ 11 2.2. XtratuM.................................... 12 3. Overview of PowerPC 16 3.1. POWER.................................... 16 3.2. PowerPC.................................... 17 3.3. PowerPC in Safety-critical.......................... 19 4. Main PowerPC Drivers to Virtualize 20 4.1. Processors................................... 20 4.2. Timer..................................... 21 4.3. Interrupt.................................... 23 4.4. Memory.................................... 24 5. Porting Implementation 25 5.1. Hypercall................................... 26 5.2. Timer..................................... 27 5.3. Interrupt.................................... 28 5.4. Memory.................................... 31 5.5. Partition.................................... 32 6. Benchmark 34 7. Conclusions and Future Work 38 Abstract Nowadays, the diversity of embedded applications has been developed into a new stage with the availability of various new high-performance processors and low cost on-chip memory. As the result of these new advances in hardware, there is a
    [Show full text]
  • Real-Time Operating Systems
    Informatik Systemarchitektur, Operating Systems Real-Time Operating Systems Dresden, 05.02.2009 Outline • Real-Time OS Introduction ● Basic Variants of RTOSes ● Real-Time Paradigms ● Non-Real-Time on RTOS ● Requirements for RTOSes • Scheduling • Modern Hardware • Memory Management • Real-Time OS Examples ● POSIX and Real-Time ● DROPS: Dresden Real – Time OS ● ARINC 653-1 Standard for Avionics Basic Variants of RTOSes (Simplest) Cyclic Executive – Only one task as infinite loop – Time driven, polling for external events Set of Interrupt Handlers – Event driven – Handlers usually have priorities TU Dresden, 06.02.09 Realtime Operating Systems Folie 3 von 36 Basic Variants of RTOSes (II) Thread Packages (iRMX, FreeRTOS, eCos, ... ) – Use a form of scheduling • Preemptive or cooperative • Priorities – Provide synchronization primitives (e.g., semaphores) • Some with priority inheritance/ceiling – No address-space protection, no virtual memory TU Dresden, 06.02.09 Realtime Operating Systems Folie 4 von 36 Basic Variants of RTOSes (III) Microkernels (QNX, VxWorks, Fiasco ...) – Memory protection (address spaces) • With or Without virtual memory ➢ More robustness (fault isolation) – Extensive Functionality provided by services atop TU Dresden, 06.02.09 Realtime Operating Systems Folie 5 von 36 Basic Variants of RTOSes (IV) Monolithic RTOS (LynxOS, MontaVista Linux ...) • Monolithic kernel with RT API (POSIX RT ...) • Often non-real-time APIs as well (e.g., Linux compatibility) • Device drivers etc. usually run in privileged mode • Real-time applications usually run in user mode Monolithic with RT Executive underneath (RTLinux, RTAI, XtratuM ...) • Combination of a legacy OS with some form of an RT thread package (Usually no memory protection) • Real-time applications run in kernel mode TU Dresden, 06.02.09 Realtime Operating Systems Folie 6 von 36 Real-Time Paradigms (I) Time Driven • Static partitioning in time slots • Scheduler dispatches time slots in a fixed fashion (e.g., fixed cyclic scheduler) Event Driven • Events: Messages, Signals, Interrupts..
    [Show full text]
  • A State-Of-The-Art Survey on Real-Time Issues in Embedded Systems Virtualization
    Journal of Software Engineering and Applications, 2012, 5, 277-290 277 http://dx.doi.org/10.4236/jsea.2012.54033 Published Online April 2012 (http://www.SciRP.org/journal/jsea) A State-of-the-Art Survey on Real-Time Issues in Embedded Systems Virtualization Zonghua Gu, Qingling Zhao College of Computer Science, Zhejiang University, Hangzhou, China. Email: {zgu, ada_zhao}@zju.edu.cn Received January 1st, 2012; revised February 5th, 2012; accepted March 10th, 2012 ABSTRACT Virtualization has gained great acceptance in the server and cloud computing arena. In recent years, it has also been widely applied to real-time embedded systems with stringent timing constraints. We present a comprehensive survey on real-time issues in virtualization for embedded systems, covering popular virtualization systems including KVM, Xen, L4 and others. Keywords: Virtualization; Embedded Systems; Real-Time Scheduling 1. Introduction on L4Ka::Pistachio microkernel; in turn, unmodified guest OS can run on top of QEMU; Schild et al. [2] used Platform virtualization refers to the creation of Virtual Intel VT-d HW extensions to run unmodified guest OS Machines (VMs), also called domains, guest OSes, or on L4. There are also Type-2, para-virtualization solu- partitions, running on the physical machine managed by tions, e.g., VMWare MVP (Mobile Virtualization Plat- a Virtual Machine Monitor (VMM), also called a hyper- form) [3], as well as some attempts at adding para-virtu- visor. Virtualization technology enables concurrent exe- alization features to Type-2 virtualization systems to im- cution of multiple VMs on the same hardware (single or prove performance, e.g., task-grain scheduling in KVM multicore) processor.
    [Show full text]
  • Device Virtualization in a Partitioned System: the OVERSEE Approach
    Device Virtualization in a Partitioned System: the OVERSEE Approach M. Masmano, S. Peir´o,J. S´anchez , J. Sim´o,A. Crespo Instituto de Automatica e Informatica Industrial Universidad Politecnica de Valencia, Spain fmmasmano,speiro,jsanchez,jsimo,[email protected] Abstract This paper presents a solution for device virtual- ization on a hypervisor driven partitioned system. The approach is in the scope of the OVERSEE project, which is the Open Secure Vehicular Plat- form. This software platform is intended to act as a single access point to vehicle networks. Such system will support different types of partitions, from real time constrained to non-trusted user par- titions running general purpose operating systems. On this scenario, the partitions compete for access to hardware resources, specially for the system pe- ripherals. Mostly oriented to non real-time parti- tions, this paper focuses on the design of a mech- anism for device virtualization based on the Linux standard Virtio. As on real time approaches, the architecture is based on the use of an I/O server, a partition which has direct access to devices and Figure 1: Oversee architecture overview. handles the requests from other partitions to access peripherals. OVERSEE, for short) is intended to serve as a sin- gle access point to vehicle networks. It will pro- 1 Introduction vide a protected, standarized in-vehicle runtime environment and on-board access and communi- Partitioned software architectures can represent cation point. Applications for this platform in- the future of secure systems. They have evolved clude, between others, positioning systems, stolen to fulfil security and avionics requirements where vehicle tracking, traffic information, web browsing, predictability is extremely important.
    [Show full text]
  • IO Virtualisation in a Partitioned System M Masmano, S Peiró, J Sánchez, J
    IO Virtualisation in a Partitioned System M Masmano, S Peiró, J Sánchez, J. Simo, A. Crespo To cite this version: M Masmano, S Peiró, J Sánchez, J. Simo, A. Crespo. IO Virtualisation in a Partitioned System. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. hal-02192402 HAL Id: hal-02192402 https://hal.archives-ouvertes.fr/hal-02192402 Submitted on 23 Jul 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. IO Virtualisation in a Partitioned System M. Masmano, S. Peiro,´ J. Sanchez´ , J. Simo,´ A. Crespo Instituto de Automatica e Informatica Industrial Universidad Politecnica de Valencia, Spain fmmasmano,speiro,jsanchez,jsimo,[email protected] Abstract OVERSEE makes XtratuM system partitioning the best way to isolate and protect applications from each other. Partitioned systems permit to isolate in partitions sev- Finally, for this system, the chosen target hardware is the eral applications with different security levels and/or crit- Intel Atom architecture, which is the Intel architecture for icality. Hypervisor technology provides virtual machines embedded systems. to execute partitions under two basic principles: space and time isolation. This view is complemented with the XtratuM ensures temporal and spatial isolation of the ”dedicated devices” technique that assigns devices exclu- applications that run over it.
    [Show full text]