We offer consulting and engineering services in the following areas:
Specification, design, 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 take projects where we can make a significant contribution.
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.