Empirical software engineering and formal methods for IoT systems
Basile D, Ter Beek Mh, Broccia G, Ferrari A
Empirical software engineering Formal methods IoT systems Systems of Systems
Researchers from the Formal Methods and Tools (FMT) lab of ISTI-CNR are working on the application of formal methods to devise interaction protocols for safe-by-construction IoT Systems of Systems. They are also working on the empirical investigation and evaluation of the effectiveness of techniques and methodologies proposed for IoT application scenarios. The research is being conducted in the context of the national project T-LADIES, funded by the Italian Ministry of Education, University and Research (MIUR) under the program for Projects of National Interest (PRIN).
Source: ERCIM NEWS, vol. 131, pp. 34-35
Back to previous page
@article{oai:it.cnr:prodotti:471818,
title = {Empirical software engineering and formal methods for IoT systems},
author = {Basile D and Ter Beek Mh and Broccia G and Ferrari A},
year = {2022}
}
0000-0002-7196-6609
Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems
Typeful Language Adaptation for Dynamic, Interacting and Evolving Systems