Home HASLab Cooperation and Services High-assurance software in IT systems
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.





HASLab +351 22 209 4000