Transcript p2-demo1
ERTOS OS explained Operating Systems for Embedded Systems Trustworthy, Reliable Systems Need Trustworthy, Reliable Infrastructure. The Work of a Unique Collection of World Leaders in Operating-Systems Research Dependency on Embedded Systems Is Dramatically on the Rise Keep Faults at Bay ERTOS developed HW platform PLEB2 Understand the Basics Building and thus understanding hardware is an integral part of building a reliable and trustworthy operating system. At ERTOS we have built a number of custom boards to further this understanding by students and to showcase the capabilities of our operating system. Have a look at the different boards we have brought along and let us demonstrate what they can do. The main reason for errors at runtime of a system is complexity. Separation and encapsulation of functionality in modules with minimal, clear, and well-defined interaction between components has two effects: • Lowering complexity with the result that fewer errors are introduced by programmers. • Malicious and faulty components can be safely limited in what they can do. The interfaces between components are enforced by L4 mediated hardware mechanisms. It is therefore essential that this kernel works correctly, since all other system functionality depends on it. To guarantee this we have embarked on two projects which aim to provide guarantees regarding the functional and temporal behavior of the kernel as well as one project to automatically identify erroneous code. Untrusted Trusted Sensitive Sensitive Sensitive App. Sensitive App. App. App. Legacy Legacy Legacy App. Legacy App. App. App. Linux Server Device Driver Trusted Trusted Trusted Service Trusted Service Service Service Save Energy by Moving Faster and Sleeping Device Device Driver Driver Embedded OS L4 Microkernel Hardware Many embedded systems are battery operated or have otherwise restricted energy budgets. Idealised models widely used in academia have the major problem of diverging too far from reality. In particular the idea that slowing down execution always saves power is not necessarily true any more. To avoid the problem of inaccurate models we design our power management strategy based on real measurements. See our power measurement environment at work! Work with Whomever and Whatever Portability and the ability to interoperate with different systems is an essential property in the embedded systems world. The modularisation described previously is an essential ingredient to achieve this. Only a few modules need to be replaced to port our operating system to different hardware. Our streaming video demonstrator shows our OS running on several hardware platforms. Embedded Systems you can trust