SkiROS2: A Skill-Based Robot Control Platform for ROS
The need for autonomous robot systems in both the service and the industrial domain is
larger than ever. In the latter, the transition to small batches or even “batch size 1” in …
larger than ever. In the latter, the transition to small batches or even “batch size 1” in …
Runtime Verification and Field-based Testing for ROS-based Robotic Systems
R Caldas, JAP García, M Schiopu… - IEEE Transactions …, 2024 - ieeexplore.ieee.org
Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …
as manufacturing, healthcare, and space exploration. To this end, engineering software has …
Runtime Verification and Field Testing for ROS-Based Robotic Systems
R Caldas, JAP García, M Schiopu, P Pelliccione… - arXiv preprint arXiv …, 2024 - arxiv.org
Robotic systems are becoming pervasive and adopted in increasingly many domains, such
as manufacturing, healthcare, and space exploration. To this end, engineering software has …
as manufacturing, healthcare, and space exploration. To this end, engineering software has …
Towards an Engineering Discipline for Resilient Cyber-Physical Systems
RD Caldas - arXiv preprint arXiv:2407.15562, 2024 - arxiv.org
Resilient cyber-physical systems comprise computing systems able to continuously interact
with the physical environment in which they operate, despite runtime errors. The term …
with the physical environment in which they operate, despite runtime errors. The term …
[PDF][PDF] Programming for Reliability and Safety in Robotics: The Role of Domain-Specific Languages: Domain Specific Programming for Safe and Reliable Robots
M Rizwan - 2024 - portal.research.lu.se
Autonomous robots must operate reliably and predictably in uncertain environments.
Throughout the robot software development cycle, robot operators and developers must be …
Throughout the robot software development cycle, robot operators and developers must be …
[PDF][PDF] Type Checker Generation using Reference Attribute Grammars
NB Isacsson - lup.lub.lu.se
Static type checkers are a popular method for early detection of bugs in computer programs,
by ensuring the correct data types are used throughout the program. One approach for …
by ensuring the correct data types are used throughout the program. One approach for …