OFFERED SERVICES
We offer consulting and engineering services in the following areas:
![](images/service1.png)
Specification, design, development of software applications for mission-critical, real-time and embedded systems.
![](images/service2.png)
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.
![](images/service3.png)
Preparation of data packages for certification purposes. We have practical experience with the following standards: IEC 61508, UL1998, ECSS-E-ST-40C, and ECSS-Q-ST-80C.
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.