INESC TEC’s High-Assurance Software Laboratory (HASLab) coordinates the project “Quantitative methods for cyber-physical programming: reasoning precisely about imprecisions in cyber-physical behavior”, whose main objective is the development of mathematical methods to model and analyse imprecisions in cyber-physical software.
Cyber-physical systems are a key element to Industry 4.0. In this sense, the project team aims to establish the mathematical foundations needed to the imprecision-oriented and systemic development of cyber-physical software. “The creation of mathematical bases for a cyber-physical software engineering, dedicated to the principles of uncertainty, stability, and noise, aims to facilitate the development of advanced and robust technology, with application in different areas, such as medicine, energy, and the automotive industry”, explained Renato Neves, researcher at HASLab, in charge of coordinating the project.
The project’s innovation lies in the development of quantitative methods, namely methods that can deal with uncertainty, stability, and noise in cyber-physical software.
The project is coordinated by INESC TEC, with CISTER-ISEP (Research Center in Real-Time and Embedded Computing Systems) as a partner. It is scheduled to start in 2022 and end in late 2024. It is funded by the Foundation for Science and Technology (€259K).
The INESC TEC researchers mentioned in this news piece are associated with INESC TEC and UP-FEUP.
News, current topics, curiosities and so much more about INESC TEC and its community!
