by Jordi Cabot | Jan 13, 2020 | article
Hierarchical block diagrams (HBDs) are at the heart of embedded system design tools, including Simulink. Numerous translations exist from HBDs into languages with formal semantics, amenable to formal verification. However, none of these translations has been proven...
by Jordi Cabot | Dec 2, 2019 | article
Performance-driven software evolution presents a high complexity due to two causes: (i) performance is a quality attribute that emerges from the combination of different factors (e.g., workload, software deployment, hardware utilization), hence it is difficult to...
by Jordi Cabot | Nov 11, 2019 | article, Meeting
The paper On the Use of Hackathons to Enhance Collaboration in Large Collaborative Projects – A Preliminary Case Study of the MegaM@Rt2 EU Project by A. Sadovykh, D. Truscan, P. Pierini, G. Widforss, A. Ashraf, H. Bruneliere, P. Smrz, A. Bagnato, W. Afzal and A....
by Jordi Cabot | Oct 28, 2019 | article
Internet of Things (IoT) devices are usually advanced embedded systems that require functionalities monitoring and control. The design, development and validation of these devices is complex, even more when communication capabilities need to be included. In industrial...
by Jordi Cabot | Sep 29, 2019 | article
Introduction to IntegrationDistiller, a new automated solution to help in the testing of component integration scenarios, by Mehrdad Saadatmand. The paper has been published at the IEEE International Conference on Industrial Technology, ICIT 2019 Software systems...
