Document Actions
High-assurance software in IT systems
The integration of high-assurance software in IT systems often requires deep and specific know-how in the field of application due to the use of technologies that the typical Computer Engineer does not master.
Establishing these skills in-house is often not affordable for companies working in the area of ICT. Partnerships with HASLab have allowed many companies to overcome this limitation through two basic mechanisms:
- Outsourcing the analysis and development of critical software components to HASLab;
- Integrating HASLab researchers as consultants in the development team.
HASLab offers expertise for cooperation and services in the following areas of specialisation:
- Rigorous analysis of non-functional requirements;
- Model-driven engineering;
- Verification of safety-critical software;
- Development and integration of cryptographic components;
- Cloud computing;
- Big data.
Forgot your password?
