DOCSLIB.ORG

Lynuxworks Open

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Lynuxworks Open LynuxWorks Open. Reliable. Safe. Secure. Every day, millions of people world- In 1988, LynuxWorks (formerly Lynx wide are touched by products that Real-Time Systems) made history “Embedded is everywhere ™ rely on LynuxWorks software—from right away with the launch of the today, and safety, security and ® Internet and phone communications, LynxOS real-time operating system reliability are the keys behind to airline fl ight-control systems, offi ce (RTOS), offering UNIX® functionality its proliferation. With two automation and medical devices. to developers of embedded systems decades of innovation, vision- LynuxWorks software provides the long before embedded Linux® be- ary leadership and dedication hidden intelligence that empowers, came available. to open standards, LynuxWorks protects and secures our modern will continue to raise the bar for world. Today—22 years later—LynxOS is embedded software serving our customers and delivering next- in its fi fth generation of reliability, generation products.” It’s no secret to the people who build boasts full POSIX® conformance and embedded applications like these even symmetrical multiprocessing that LynuxWorks operating systems (SMP). LynxOS has matured over the GURJOT SINGH, offer unmatched levels of perfor- years and evolved into a complete CEO mance, stability, and security for their family of real-time operating systems, projects. each enhanced for specifi c security and certifi cation needs: LynxOS-178 for critical avionics systems requiring software certifi cation; LynxOS-SE with operating systems like Windows®, time and space partitioning; and the Linux, Solaris and Chromium, all host- Pioneers in real-time UNIX/POSIX, LynxSecure separation kernel and embedded hypervisor and soft- ed on the latest multicore processors. embedded hypervisor. ware virtualization The military-grade security that it of- fers is combined with near-native per- LynxSecure award-winning soft- LynxSecure is again making a tech- formance and real-time determinism, ware separation kernel and hyper- nological milestone in the company’s meaning no compromise is required visor history. It is the most full-featured when adding security and virtualiza- secure virtualization solution on the Military-grade secure platform tion to modern client devices and market, offering support for guest Evaluatable to highest levels of embedded systems. security Secure and fl exible utilization of multicore processors LynxOS high-performance operat- OPEN-STANDARDS APPLICATIONS ing systems and tools based on POSIX APPLICATION PROGRAMMING INTERFACE open standards Safety and security standards are -SE met by certifi able RTOS technol- HARD REAL- SAFETY-CRITICAL SECURITY- TIME SMP CERTIFIED PARTITIONED SMP ogy LynxOS-178, the fi rst and only SECURITY SEPARATION KERNEL AND HYPERVISOR COTS operating system to receive EMBEDDED PROCESSORS (INTEL, PPC, ARM) acceptance for reusability from the FAA for DO-178B certifi cation Our family of real-time operating Only LynuxWorks’ operating systems systems is complemented by our provide developers of embedded “Reliability is a key attribute of Eclipse-based Luminosity Integrated applications the ability to leverage LynuxWorks software solutions. Development Environment (IDE). the reuse of existing code, third-party Our products have proven their re- commercial solutions and open- liability in both the lab and in real- As processor-based embedded source applications seamlessly, with world applications, allowing our systems proliferate, and the function- unrivaled interoperability and porta- customers to feel confi dent that ality of today’s connected devices bility among various platforms. their requirements will be met.” continues to increase, the amount of embedded software included in the LynuxWorks is active in many of the ARUN device continues to grow. industry committees and groups SUBBARAO, that shape and maintain standards— VP Engineering As a result, there is an ever-increasing such as OMG (Object Management need for reusability and reliability Group), Open Group Future Air- of embedded software and applica- borne Capability Environment (FACE) tions. At LynuxWorks we believe Consortium, power.org, and eclipse. that open standards can be coupled org. This ensures that our customers’ with reliability, safety and security to needs are met by the standards we designing such embedded systems meet the software needs of the most support, keeping our open systems is ensuring the fail-safe operation of complex embedded systems. current as standards evolve. these “always on” devices. Lynux- Works’ products have proven their Our commitment to For our avionics customers, we ad- dependability time and again even in open standards here to the ARINC 653 standard, and the most extreme environments. we offer a MILS-based separation From our earliest days, LynuxWorks kernel for our customers demanding LynuxWorks’ operating systems are the has conformed to open standards, the highest levels of security. We most tested in the world—both in the such as UNIX and POSIX, embracing utilize the industry-standard Eclipse lab and in everyday environments. In the rise of embedded Linux and even framework and the open-source addition to our own thorough, in-house offering Linux compatibility in our projects such as CDT to provide an testing and verifi cation measures, all LynxOS family with our unique Linux enterprise-strength open develop- LynuxWorks products are submitted to ABI. ment environment. rigorous testing against a wide array of quality standards, including ISO and This commitment to openness ex- CMMI. “Use of open standards allows tends to our customer relationships our customers to take advantage as well. We provide customers with This testing ensures that our software of open-source and commercial access to source code and engineer- provide the utmost in reliability in the applications to complement their ing resources, as well as the oppor- fi eld. For example, LynxOS has been own proprietary applications. By tunity to participate in discussions at the core of the British national tele- utilizing maximum reuse, they of our product direction through our phone network for more than 10 years build complex embedded soft- Customer Advisory Board. without a single failure. Our industry- ware systems on-time and on- leading avionics solution, LynxOS-178, budget.” Fail-safe reliability has logged more than 500,000 fl ight Unlike the typical desktop system, hours for one of our leading avionics ROBERT DAY, many embedded systems run 24 hours customers, over a number of airframe VP Marketing a day, seven days a week, maintain- platforms in true safety-critical applica- ing our quality of life and ensuring tions. our safety. The greatest challenge in has been deployed in—non-avionics cure partitions, operating at their own environments as well and has been levels of security. LynxOS-178 brings openness and used in other safety-critical applications reliability together with certifi able safety to offer the best solution in the automotive, industrial-control, LynxSecure is small, fast, secure and for systems that have human lives medical and transportation industries. meets the design requirements for depending on them. Our products high-assurance systems. The technol- have been deployed or designed Security for the modern world’s ogy is also fl exible with the incorpora- into the best-known military and interconnected systems tion of the HPH and can be used for commercial avionics systems in Today’s embedded systems require other non-secure systems where there the world.” interconnectivity, therefore, the need is a need to run multiple operating for increased security. Designing systems in virtualized partitions. MARK BAKER, security into embedded systems is not VP Sales an easy task and requires security from Tools, support, services, training, the network, through the application partners and down to the operating system. LynuxWorks’ operating systems are For military systems, guidelines and used by leading companies in a wide certifi cation requirements ensure array of industries, from aviation and Ultimate safety for safety-critical that systems are secure, and today’s defense to networking and telecom systems operating systems need to adhere to to consumer electronics and indus- Our LynxOS-178 RTOS remains the them. Security standards such as those trial automation. Companies includ- only hard real-time operating system defi ned by Common Criteria have ing 3Com, Alcatel, Boeing, Ericsson, certifi able to the DO-178B level A different levels of information assur- Hewlett Packard, iRobot, Galileo, avionics software certifi cation process ance (EAL1 to EAL7), with increasingly Lockheed Martin, Marconi, Mitsubishi, accepted by both U.S. and European stringent requirements. Motorola, General Dynamics, Ray- regulators. LynxOS-178 also offers the theon, Northrop Grummun, Rockwell interoperability benefi ts of POSIX and At LynuxWorks, we have been design- Collins and Xerox have selected support for the ARINC 653 Application ing our operating systems to help our Executive (APEX). customers meet whatever security re- quirement is demanded. Our LynxOS Widely deployed in both commercial family of operating systems provides and military avionics applications, open POSIX APIs and the Linux ABI, “LynxSecure represents the fore- LynxOS-178 offers brick-wall partition- and our LynxOS-SE operating system front of today’s embedded oper- ing of applications allowing integrated adds on time and space partitioning to ating system
Load more

Recommended publications
  • Lynuxworks Lynxsecure Embedded Hypervisor and Separation
    Operating systems: RTOS and tools Software LynuxWorks, Inc. 855 Embedded Way • San Jose, CA 95138 800-255-5969 www.lynuxworks.com LynxSecure Embedded Hypervisor and Separation Kernel With the introduction of the new LynxSecure separation kernel and embedded hypervisor, LynuxWorks once again raises the bar when it comes to superior embedded software security and safety. LynxSecure has been built from the ground up as a real-time separa- tion kernel able to run different operating systems and applications in their own secure partitions. The LynxSecure separation kernel is a virtual machine monitor that is certifi able to (a) Common Criteria EAL 7 (Evaluated Assurance Level 7) security certifi cation, a level of certifi cation unattained by any known operating system to date; and (b) DO-178B Level A, the highest level of FAA certifi cation for safety-critical avionics applications. LynxSecure conforms to the Multiple Independent Levels of Security/ Safety (MILS) architecture. The embedded hypervisor component of LynxSecure allows multiple “guest” operating systems to run in their own secure partitions. These can be run in either paravirtual- ized or fully virtualized modes, helping preserve legacy applications and operating systems in systems that now have a security require- FEATURES ment. Guest operating systems include the LynxOS family, Linux and › Optimal security and safety – the only operating system designed to Windows. support CC EAL 7 and DO-178B Level A › Real time – time-space partitioned RTOS for superior determinism and performance
    [Show full text]
  • Cloud Computing Bible Is a Wide-Ranging and Complete Reference
    A thorough, down-to-earth look Barrie Sosinsky Cloud Computing Barrie Sosinsky is a veteran computer book writer at cloud computing specializing in network systems, databases, design, development, The chance to lower IT costs makes cloud computing a and testing. Among his 35 technical books have been Wiley’s Networking hot topic, and it’s getting hotter all the time. If you want Bible and many others on operating a terra firma take on everything you should know about systems, Web topics, storage, and the cloud, this book is it. Starting with a clear definition of application software. He has written nearly 500 articles for computer what cloud computing is, why it is, and its pros and cons, magazines and Web sites. Cloud Cloud Computing Bible is a wide-ranging and complete reference. You’ll get thoroughly up to speed on cloud platforms, infrastructure, services and applications, security, and much more. Computing • Learn what cloud computing is and what it is not • Assess the value of cloud computing, including licensing models, ROI, and more • Understand abstraction, partitioning, virtualization, capacity planning, and various programming solutions • See how to use Google®, Amazon®, and Microsoft® Web services effectively ® ™ • Explore cloud communication methods — IM, Twitter , Google Buzz , Explore the cloud with Facebook®, and others • Discover how cloud services are changing mobile phones — and vice versa this complete guide Understand all platforms and technologies www.wiley.com/compbooks Shelving Category: Use Google, Amazon, or
    [Show full text]
  • (DBATU Iope) Question Bank (MCQ) Cloud Computing Elective II
    Diploma in Computer Engineering (DBATU IoPE) Question Bank (MCQ) Cloud Computing Elective II (DCE3204A) Summer 2020 Exam (To be held in October 2020 - Online) Prepared by Prof. S.M. Sabale Head of Computer Engineering Institute of Petrochemical Engineering, Lonere Id 1 Question Following are the features of cloud computing: (CO1) A Reliability B Centralized computing C Location dependency D No need of internet connection Answer Marks 2 Unit I Id 2 Question Which is the property that enables a system to continue operating properly in the event of the failure of some of its components? (CO1) A Availability B Fault-tolerance C Scalability D System Security Answer Marks 2 Unit I Id 3 Question A _____________ is a contract between a network service provider and a customer that specifies, usually in measurable terms (QoS), what services the network service provider will furnish (CO1) A service-level agreement B service-level specifications C document D agreement Answer Marks 2 Unit I Id 4 Question The degree to which a system, subsystem, or equipment is in a specified operable and committable state at the start of a mission, when the mission is called for at an unknown time is called as _________ (CO1) A reliability B Scalability C Availability D system resilience Answer Marks 2 Unit I Id 5 Question Google Apps is an example of (CO1) A IaaS B SaaS C PaaS D Both PaaS and SaaS Answer Marks 2 Unit I Id 6 Question Separation of a personal computer desktop environment from a physical machine through the client server model of computing is known as __________.
    [Show full text]
  • High-Assurance Separation Kernels: a Survey on Formal Methods
    1 High-Assurance Separation Kernels: A Survey on Formal Methods Yongwang Zhao, Beihang University, China David Sanan´ , Nanyang Technological University, Singapore Fuyuan Zhang, Nanyang Technological University, Singapore Yang Liu, Nanyang Technological University, Singapore Separation kernels provide temporal/spatial separation and controlled information flow to their hosted applications. They are introduced to decouple the analysis of applications in partitions from the analysis of the kernel itself. More than 20 implementations of separation kernels have been developed and widely applied in critical domains, e.g., avionics/aerospace, military/defense, and medical devices. Formal methods are mandated by the security/safety certification of separation kernels and have been carried out since this concept emerged. However, this field lacks a survey to systematically study, compare, and analyze related work. On the other hand, high-assurance separation kernels by formal methods still face big challenges. In this paper, an analytical framework is first proposed to clarify the functionalities, implementations, properties and stan- dards, and formal methods application of separation kernels. Based on the proposed analytical framework, a taxonomy is designed according to formal methods application, functionalities, and properties of separation kernels. Research works in the literature are then categorized and overviewed by the taxonomy. In accordance with the analytical framework, a compre- hensive analysis and discussion of related work are presented.
    [Show full text]
  • Unit-1 Cloud Computing Virtualization Concepts
    Unit-1 Cloud Computing Virtualization Concepts AVINAV PATHAK Assistant Professor Shobhit Institute of Engineering & Technology (Deemed-to-be-University), Meerut, India Virtualization Concept Virtualization is a technique, which allows to share single physical instance of an application or resource among multiple organizations or tenants (customers). It does so by assigning a logical name to a physical resource and providing a pointer to that physical resource on demand. Virtualization Concept Creating a virtual machine over existing operating system and hardware is referred as Hardware Virtualization. Virtual Machines provide an environment that is logically separated from the underlying hardware. The machine on which the virtual machine is created is known as host machine and virtual machine is referred as a guest machine. This virtual machine is managed by a software or firmware, which is known as hypervisor. Hypervisor The hypervisor is a firmware or low-level program that acts as a Virtual Machine Manager. There are two types of hypervisor: Type 1 hypervisor executes on bare system. LynxSecure, RTS Hypervisor, Oracle VM, Sun xVM Server, VirtualLogic VLX are examples of Type 1 hypervisor. The following diagram shows the Type 1 hypervisor. Virtualization Concept The type1 hypervisor does not have any host operating system because they are installed on a bare system. Type 2 hypervisor is a software interface that emulates the devices with which a system normally interacts. Containers, KVM, Microsoft Hyper V, VMWare Fusion, Virtual Server 2005 R2, Windows Virtual PC and VMWare workstation 6.0 are examples of Type 2 hypervisor. The following diagram shows the Type 2 hypervisor. Types of Hardware Virtualization Here are the three types of hardware virtualization: 1.
    [Show full text]
  • Continuing to Secure the Internet of Things
    Safety & Security for the Connected World Continuing to secure the Internet of Things Connected embedded devices l Everything in our embedded world is becoming connected to – The Internet – Other connected devices – Personal devices l The information provided by these devices and the control of the devices is still vulnerable to cyber attacks – Cloud exploits – Embedded device compromise (e.g. Target attack) 2 Securing connected embedded devices l Security as an afterthought will have the same result as anti-virus and network security for protecting PCs l In the embedded world we have the opportunity to build security into our connected devices l Lynx Software Technologies continues to provide real-time products with built-in security 3 Security Technologies l LynxOS 7.0 offers military-grade security built into the RTOS Process 1 Process 2 l Connected embedded devices CPU CPU can be protected from Quota 1 Quota 2 Identification & Roles & traditional cyber attacks Authentication Capabilities Access Control Lists Residual – Network infiltration Information File System Audit Log Protection – Denial of Service attacks Device Hardware – Memory scraping – Password and authentication attacks • e.g. Root Escalation or “Rooting” the system 4 Security Technologies l LynxSecure offers isolation, separation and virtualization for multi-domain systems – Real-time performance and small footprint for real embedded deployments – Consolidation of hardware for efficient use of multi-core systems – Secure separation of networks, devices, operating systems
    [Show full text]
  • A Robust Durability Process for Military Ground
    2010 NDIA GROUND VEHICLE SYSTEMS ENGINEERING AND TECHNOLOGY SYMPOSIUM VEHICLE ELECTRONICS & ARCHITECTURE (VEA) MINI-SYMPOSIUM AUGUST 17-19 DEARBORN, MICHIGAN Software Virtualization in Ground Combat Vehicles Daniel McDowell John Norcross BAE Systems BAE Systems U.S. Combat Systems U.S. Combat Systems Minneapolis, MN Minneapolis, MN ABSTRACT Increased complexity of ground combat vehicles drives the need to support software applications from a broad variety of sources and seamlessly integrate them into a vehicle system. Traditionally, hosting GOTS and COTS applications required burdening a vehicle’s computing infrastructure with dedicated hardware tailored to specific processors and operating systems, heavily impacting the vehicles space, weight and power systems. Alternatively, porting the applications to the vehicles native computer systems is often cost prohibitive and error prone. Advancements in commercially developed software virtualization capabilities bring an entirely new approach for dealing with this challenge. Virtualization allows real-time and non-real-time applications running on different operating systems to operate seamlessly alongside each other on the same hardware. The benefits include reduced software porting costs and reduced qualification efforts. Additionally, elimination of specialized computing environments can produce significant gains in space, weight, power and cooling demands. INTRODUCTION The traditional approach used to consolidate and install all Ground combat vehicles are becoming increasingly more of
    [Show full text]
  • Cloud Computing MCQ.Xlsx
    Chapter 1 Question 1, 2, 3 Mark Created by Atul a b c d Correct Answer SR.NO 1 Write down question Option a Option b Option c Option d a/b/c/d 2 Cloud model relies on communication API Middleware web documents embedded device a 3 What widely used service is built on cloud-computing technology? Twitter Skype Gmail All of the above d 4 HTTP is a ______ protocol stateful unidirectional bidirectional full dulpex b websocket is a____ Protocol stateful bidirectional connection oriented all of the above d 5 6 Websocket protocol uses which communication model Publish-Subscribe Request Response Push-Pull Exclusive Pair a Which of these techniques is vital for creating cloud-computing centers Virtualization Transubstantiation Cannibalization Insubordination a 7 The group of knowledge workers An overhanging A cloud that sits An internal cloud is… A career risk for a CIO who use a social d threat behind a corporate network for water- cooler gossip 8 Which of these is not an antecedent of the cloud? Software as a service Utility computing Grid computing Desktop computing d 9 Accounting Which of the following subject area deals with pay-as-you-go usage model? Compliance Data Privacy All of the mentioned a 10 Management The low barrier to Except for tightly Cloud computing entry cannot be Point out the correct statement managed SaaS cloud vendors run very accompanied by a All of the mentioned b providers reliable networks low barrier to 11 provisioning ________ captive requires that the cloud accommodate multiple compliance Licensed Policy-based Variable All of the mentioned b 12 regimes.
    [Show full text]
  • UNIT – I – Cloud Computing – SCSA7023 Unit – I
    SCHOOL OF COMPUTING DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING UNIT – I – Cloud Computing – SCSA7023 Unit – I Understanding Cloud Computing Topics: Introduction -History of Cloud Computing-Cloud computing architecture-NIST architectural Framework-Types of Cloud-Service Based - Location Based-Merits and Demerits of Cloud Computing-Difference: Cloud and Web 2.0-Key challenges in cloud computing-Major cloud players-Cloud deployment model-Virtualization in cloud computing-Types of virtualization-Parallelization in cloud computing-Cloud resource management-Dynamic resource allocation-Optimal allocation of cloud models-Web services-Key Concepts 1.1. Introduction to Cloud Computing Cloud computing is the on-demand availability of computer system resources, especially data storage (cloud storage) and computing power, without direct active management by the user. The term is generally used to describe data centers available to many users over the Internet. Large clouds, predominant today, often have functions distributed over multiple locations from central servers. If the connection to the user is relatively close, it may be designated an edge server. 1.2 History of Cloud computing Cloud computing has as its antecedents both client/server computing and peer-to-peer distributed computing. It’s all a matter of how centralized storage facilitates collaboration and how multiple computers work together to increase computing power. During the 1960s, the initial concepts of time-sharing became popularized via RJE (Remote Job Entry) this terminology was mostly associated with large vendors such as IBM and DEC. Full- time-sharing solutions were available by the early 1970s on such platforms as Multics (on GE hardware), Cambridge CTSS, and the earliest UNIX ports (on DEC hardware).
    [Show full text]
  • Curtiss-Wright Debuts Support for Lynxsecure Hypervisor Operating Environment on Its Intel®-Based SBC and Small Form Factor Systems
    NEWS RELEASE FOR IMMEDIATE RELEASE Contact: John Wranovics M: 925.640.6402 [email protected] Curtiss-Wright Debuts Support for LynxSecure Hypervisor Operating Environment on its Intel®-based SBC and Small Form Factor Systems Expanded collaboration with Lynx Software Technologies brings secure hypervisor technology to rugged deployed modules and LRUs ASHBURN, Va. – January 30, 2017 – Curtiss-Wright’s Defense Solutions division today announced support for the LynxSecure separation kernel hypervisor, a real-time secure virtualization platform capable of leveraging multi-core CPU hardware virtualization features on Curtiss-Wright’s Intel-based single board computer (SBC) and Parvus® DuraCOR® small form factor processor product families. The expanded collaboration between Curtiss-Wright and Lynx Software Technologies, Inc., a world leader in the embedded safety and security software market, enables customers to deploy Curtiss-Wright hardware with LynxSecure hypervisor technology to satisfy high assurance computing requirements on in support of the NIST, NSA Common Criteria, and NERC CIP evaluation processes used to regulate military and industrial computing environments. The first Curtiss-Wright products pre-validated for LynxSecure support are the rugged DuraCOR 80-41 tactical mission computer subsystem and the VPX3-1257 3U OpenVPX SBC, both based on quad-core, Intel Core i7 processors. Curtiss-Wright and Lynx Software Technologies anticipate availability of additional pre-validated SBCs and subsystems in the near future. The use
    [Show full text]
  • Grid and Cloud Computing Subject Code
    MOTHER TERESA WOMEN’S UNIVERSITY DIRECTORATE OF DISTANCE EDUCATION KODAIKANAL – 624 102 M.Sc. COMPUTER SCIENCE (P.G.) MATERIAL FOR GRID AND CLOUD COMPUTING SUBJECT CODE Compiled by Dr. K.Kavitha GRID AND CLOUD COMPUTING UNIT I : Concepts and Architectures: Introduction - Parallel and Distributed Computing- Cluster computing – Grid Computing-anatomy and physiology of Grid – Review of web services – OGSA – WSRF. UNIT II : GRID Monitoring : Grid Monitoring Architecture (GMA) – An overview of Grid Monitoring systems – Grid ICE – JAMM – MDs – Network Weather Service – R – GMA – other Monitoring systems Ganglia and Grid Mon UNIT III: Grid Security and Resource Management: Grid Security – A Brief security primer – PRI – X509 Certificates – Grid security – Grid Scheduling and Resource management –Scheduling paradigms – Working principles of scheduling – A review of condor, SGE, PBS and LSF – Grid scheduling with QoS UNIT IV: Examining the Value Proposition : Defining Cloud Computing, Assessing the Value Proposition, Understanding Cloud Architecture, Understanding Services and Applications by Type. UNIT V : Using Platforms : Understanding Abstraction and Virtualization, Capacity, Planning, Exploring Platform as a Service, Using Google Web Services, Using Amazon Web Services, Using Microsoft Cloud Services. TEXT BOOKS 1.The Grid : Core Technologies – Maozhen Li, Mark Baker, - John Wiley & Sum 2005 2. Cloud Computing Bible – Barrie Sosinky – Wiley Publishing Inc, 2011 REFERENCE BOOKS 1. Grid Computing – Josy Joseph & Craig Fellenstein – Pearson Education, 2004 2. The Little Book of Cloud Computing – A New Street Executive Summary 3. Lars Nielson – 2011 Edition UNIT I CONCEPTS AND ARCHITECTURE Introduction Grid computing is a group of computers physically connected (over a network or with Internet) to perform a dedicated tasks together, such as analyzing e-commerce data and solve a complex problem.
    [Show full text]
  • Towards Full Virtualization of Embedded Real-Time Systems
    A thesis submitted to the Faculty of Computer Science, Electrical Engineering and Mathematics of the University of Paderborn in partial fulfillment of the requirements for the degree of Dr. rer. nat. submitted by Dipl.-Inform. Timo Kerstan Paderborn, 21. März 2011 TOWARDSFULLVIRTUALIZATIONOF EMBEDDEDREAL-TIMESYSTEMS Supervisor________________________________________________ Prof. Dr. rer. nat. Franz Josef Rammig Referees________________________________________________ Prof. Dr. rer. nat. Franz Josef Rammig Prof. Dr. rer. nat. Marco Platzner Timo Kerstan: Towards full virtualization of embedded real-time systems– © University of Paderborn, 21. März 2011 ABSTRACT The growing complexity and the need for high level functional- ity in embedded hard real-time systems lead to conflicting goals for the design of the underlying system software. Adding the re- quired high level functionality endangers the properties of being small, robust, efficient, safe and secure typically stated for em- bedded real-time operating systems. On the other side, the capa- bility of handling hard real-time loads in a general purpose OS is often not compatible due to strong non determinisms in gen- eral purpose OSes. Top of the line cars already house more than 70 interconnected embedded control units (ECUs). The question is how to cope with this additional complexity. Will the next generation of cars house even more ECUs or will there be pow- erful general purpose ECUs executing more than one dedicated task to reduce the number of ECUs, as the growing number of ECUs is not adequately manageable any more? When looking towards the direction of using more powerful ECUs, the con- flicting goals of general purpose OSes and real-time OSes arise again.
    [Show full text]