PhD Thesis

From Chance to Choice: Strategies to Attaining Resilience in Cyber-Physical Systems

[visual abstract of the thesis contributions]

Download a lean digital version of the thesis, click here (kappa - 5,92MB).
Download a full digital version of the thesis, click here (kappa+papers - 25,7MB).

List of publications included in the thesis:

  1. R. Caldas, J. A. P. García, M. Schiopu, P. Pelliccione, G. Rodrigues, T. Berger,
    ``Runtime Verification and Field-based Testing for ROS-based Robotic Systems'' Trans. Softw. Eng. (TSE) 50(10): 2544 - 2567, IEEE, 2024.
    DOI: 10.1109/TSE.2024.3444697.
  2. G. S. Rodrigues, R. Caldas, G. Araujo, V. de Moraes, G. Rodrigues, P. Pelliccione,
    ``An Architecture for Mission Coordination of Heterogeneous Robots'' J. Syst. Softw. (JSS) 191:111363, ACM, 2022.
    DOI: 10.1016/j.jss.2022.111363.
  3. R. Queiroz, D. Sharma, R. Caldas, K. Czarnecki, S. García, T. Berger, P. Pelliccione,
    ``A Driver-Vehicle Model for ADS Scenario-based Testing'' Trans. on Intell. Transp. Syst. (ITS) 25(8): 8641-8654, IEEE, 2024.
    DOI: 10.1109/TITS.2024.3373531.
  4. R. Caldas, A. Rodrigues, E. B. Gil, G. N. Rodrigues, T. N. Vogel, P. Pelliccione,
    ``A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems'' Proceedings of the 15th Intl. Symp. on Softw. Eng. for Adapt. and Self-Managing Syst. (SEAMS), IEEE/ACM, 2020.
    DOI: 10.1145/3387939.3391595.
  5. M. Rizwan, C. Reichenbach, R. Caldas, M. Mayr, V. Krueger,
    ``EzSkiROS: Enhancing Robot Skill Composition with Embedded DSL for Early Error Detection'' Frontiers in Robotics and AI (RAI), Frontiers, 2024.
    DOI: 10.3389/frobt.2024.1363443.
  6. J. P. C. de Araujo, G. N. Rodrigues, M. Carwehl, T. Vogel, L. Grunske, R. Caldas, P. Pelliccione,
    ``Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach'' IEEE Softw. 41(5): 43-51, IEEE, 2024.
    DOI: 10.1109/MS.2024.3387289.
  7. G. Araujo, R. Caldas, F. Formica, G. Rodrigues, P. Pelliccione, C. Menghi,
    ``Search-based Trace Diagnostic''
    (submitted) -- ArXiV: 2406.17268.
  8. E. B. Gil, R. Caldas, A. Rodrigues, G. L. G. da Silva, G. N. Rodrigues, P. Pelliccione,
    ``Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain'' Proceedings of the 16th Intl. Symp. on Softw. Eng. for Adapt. and Self-Managing Syst. (SEAMS), IEEE/ACM, 2021.
    DOI: 10.1109/SEAMS51251.2021.00037.
  9. M. Askarpour, C. Tsigkanos, C. Menghi, R. Calinescu, P. Pelliccione, S. García, R. Caldas, T. J. von Oertzen, M. Wimmer, L. Berardinelli, M. Rossi, M. M. Bersani, G. S. Rodrigues,
    ``RoboMAX: Robotic Mission Adaptation eXemplars'' Proceedings of the 16th Intl. Symp. on Softw. Eng. for Adapt. and Self-Managing Syst. (SEAMS), IEEE/ACM, 2021.
    DOI: 10.1109/SEAMS51251.2021.00040.

Contact me by email ([firstname].[lastname]@chalmers.se) in case of any doubts.

Best,
Ricardo Caldas