The Embedded World Exhibition & Conference 2012 will take place next week, February 28th to 1st March 1st. The conference features 900 international companies and 300 lectures. International speakers will cover all areas of embedded system development. The annual Embedded World event will take place in Nuremberg, Germany. This year’s conference includes a Machine-to-Machine communication (M2M) area, forums, electronic displays, international pavilions, and a keynote by Mike Muller (CTO at ARM).
SYSGO will make a technical presentation on operating system correctness at Embedded World 2010 in Nuremberg. For composite systems, high levels of the Common Criteria standard make mandatory the formal verification of the OS layer(s) that interface the user application with the hardware platform. Correctness of this software component is one of the major challenges that embedded solution suppliers are increasingly facing. The presentation will focus on the methods and techniques used in the formal verification process applied to the PikeOS safe and secure virtualization RTOS platform.