QNX Software Systems introduced their IEC 61508 Certification Support Package for safety-critical systems. The IEC 61508 Certification Support Package helps engineers navigate the complexities of the rigorous certification process, up to and including SIL 3. The IEC 61508 Certification Support Package and its associated services will be available in June 2010.
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.
Trusted Logic has added new features to their Trusted NFC software platform. Major enhancements in security and application framework are specifically designed for the Google Android operating system. Trusted NFC is a complete software platform enabling mobile phone applications to use Near Field Communication (NFC) connectivity. It provides simple interfaces for developing applications for the various application frameworks of the mobile Operating Systems.
DDC-I’s DO-178B-certifiable Deos real-time operating system (RTOS) is now integrated with LDRA’s tool suite. The integrated solution enable developers to get to market faster with optimized, robust, and certifiable software that meets the most demanding safety-critical requirements, including DO-178B Level A, the FAA’s highest level of safety criticality. The integration gives developers across a broad range of mission-critical applications the turnkey platform they need to quickly develop, debug, comprehensively test, and deploy safety-critical software that can be readily certified to the most demanding requirements.