We offer consulting and engineering services in the following areas:

  • Specification, design and development of software applications for mission-critical, real-time and embedded systems.
  • Verification and validation of applications using either the classical review- and test-based approach or model-checking techniques. We have practical experience with both the Spin model checker and the SCADE tool suite.
  • Preparation of data packages for certification purposes. We have practical experience with the following standards: IEC 61508, UL1998, and ECSS-E-ST-40C.

We only accept projects where we believe that we can make a significant contribution on the basis of our specific skills and past experience. The quality of our products – publicly available via open-source licences – is a guarantee for the quality of the services which we offer to our customers.

We work with partners in the Czech Republic and offer their support for labour-intensive development activities. In this case, we take over project management, requirements and architecture definition and out-source development tasks.

print versionPrint this page

Design,XHTML&CSS by Ivan Pik