NanoSTIMA - RL 1.4

High-Assurance Medical Cyber-physical Systems

Use issues are a critical element in the acceptability and safety of healthcare systems. Use errors are already associated with a significant proportion of reported adverse events in healthcare systems. Techniques are required to assess risk and to guarantee appropriate (high-assurance) interfaces/interaction with the devices are needed. This project (part of Integrated Project NORTE-01-0145-FEDER-000016) aims to contribute to safer medical cyber-physical systems through the development of such design and analysis techniques.


Project Information

Project "NORTE-01-0145-FEDER-000016" is financed by the North Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, and through the European Regional Development Fund (ERDF).

  • Start date: July 1st, 2015
  • Duration: 36 months
  • RL 1.4 Funding: K€ 138,5
  • Hosted by: HASLab / INESC TEC at Departamento de Informática, Universidade do Minho
  • RL 1.4 Coordination: José C. Campos