High Assurance

“Failure is not an option” was a historic statement for Apollo 13, but it’s business as usual for the high assurance system developer. Challenging goals such as one failure per billion operating hours can be met and even exceeded for your code, but only if your middleware foundation is as equally reliable.

Safety-critical applications demand the highest level of quality in their software. This is why ORBexpress is the preferred choice for developers of safety-critical systems when choosing their communications framework.

Today’s applications prioritize both safety and security. ORBexpress makes it easy to satisfy these requirements. Example applications include:

• • Avionics Software
  • Communications Software
  • Transportation Software
  • Medical Imaging and Diagnostic Equipment
  • Robotics
  • Unmanned Aerial Vehicles

OIS advances the state of the art for middleware correctness. OIS engineers make use of formal methods and tools that can mathematically prove software correctness. OIS has established relationships with the leading source code static analysis tool vendors to prevent bugs before they happen. OIS is at the forefront of research, in partnership with the tool vendors, to extend static analysis capabilities so that middleware users will have tools available that can verify that middleware is used correctly by verifying pre-conditions and post-conditions.

Learn more about how ORBexpress can help you meet your highest assurance goals.