28 citations · 130 across the 12 of their papers we have counts for
12 papers
Adaptation Needs in Robotic Systems: Assessing Behavior Trees and Their Enhancement
Mehran Rostamnia, Gianluca Filippone, Ricardo Caldas +1
Robotic systems increasingly operate in dynamic, uncertain, and open-ended environments, where design-time assumptions may no longer hold, and adaptation becomes necessary to maint…
Operationalizing Human Values in the Requirements Engineering Process of Ethics-Aware Autonomous Systems
Everaldo Silva Júnior, Lina Marsso, Ricardo Caldas +2
Operationalizing human values alongside functional and adaptation requirements remains challenging due to their ambiguous, pluralistic, and context-dependent nature. Explicit repre…
An Adaptive Testing Approach Based on Field Data
Samira Silva, Ricardo Caldas, Patrizio Pelliccione +1
The growing need to test systems post-release has led to extending testing activities into production environments, where uncertainty and dynamic conditions pose significant challe…
Towards an Engineering Discipline for Resilient Cyber-Physical Systems
Ricardo D. Caldas
Resilient cyber-physical systems comprise computing systems able to continuously interact with the physical environment in which they operate, despite runtime errors. The term resi…
Search-based Trace Diagnostic for Cyber-Physical Systems
Gabriel Araujo, Ricardo Caldas, Federico Formica +3
Cyber-physical systems (CPS) development requires verifying whether system behaviors violate their requirements. This analysis often considers system behaviors expressed by executi…
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
Ricardo Caldas, Juan Antonio Pinera Garcia, Matei Schiopu +3
Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has eme…
A Driver-Vehicle Model for ADS Scenario-based Testing
Rodrigo Queiroz, Divit Sharma, Ricardo Caldas +4
Scenario-based testing for automated driving systems (ADS) must be able to simulate traffic scenarios that rely on interactions with other vehicles. Although many languages for hig…
Towards Mapping Control Theory and Software Engineering Properties using Specification Patterns
Ricardo Caldas, Razan Ghzouli, Alessandro V. Papadopoulos +3
A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are…
Body Sensor Network: A Self-Adaptive System Exemplar in the Healthcare Domain
Eric Bernd Gil, Ricardo Caldas, Arthur Rodrigues +3
Recent worldwide events shed light on the need of human-centered systems engineering in the healthcare domain. These systems must be prepared to evolve quickly but safely, accordin…
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil +3
Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of ada…
Taming Uncertainty in the Assurance Process of Self-Adaptive Systems: a Goal-Oriented Approach
Gabriela Félix Solano, Ricardo Diniz Caldas, Genaína Nunes Rodrigues +2
Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-adaptation. A SAS often operates in dynamic and partially unknown environments, which cause un…
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive Systems
Arthur Rodrigues, Ricardo Diniz Caldas, Genaína Nunes Rodrigues +2
The assurance of real-time properties is prone to context variability. Providing such assurance at design time would require to check all the possible context and system variations…