Software construction
Related papers: 20
About
Software construction in robotics and AI refers to the systematic process of designing, building, verifying, and maintaining software systems that govern robotic and autonomous behavior. It encompasses a broad range of practices including component-based engineering, modular framework design, automated testing, formal verification, and deployment architecture—all applied to the unique challenges robots present, such as real-time constraints, hardware variability, and physical-world interaction. In practice, software construction for robotics involves tools and frameworks like ROS, OROCOS, and MoveIt!, which provide reusable modules and standardized interfaces that reduce development complexity. Techniques such as model-based testing, runtime verification, and automated test generation ensure reliability and safety across diverse operating conditions. Domain-specific languages and self-adaptive architectures further enable robots to handle dynamic, unpredictable environments. This field matters because robotic systems are increasingly deployed in safety-critical domains—surgery, autonomous driving, manufacturing—where software failures carry serious consequences. Sound construction practices reduce development barriers, improve reusability, and enhance system dependability, enabling engineers to build complex, trustworthy robotic applications more efficiently and confidently.
Top Researchers
Top Institutes
Top Cited Papers
Optuna: A Next-generation Hyperparameter Optimization Framework
Citations: 995 • 2019
Open robot control software: the OROCOS project
Herman Bruyninckx
Citations: 566 • 2002
Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study
David Coleman, Ioan A. Şucan, Sachin Chitta, Nikolaus Correll
Citations: 269 • 2014
Software Engineering for Self-Adaptive Systems II
Rogério de Lemos, Holger Giese, Hausi Müller, Mary Shaw
Citations: 213 • 2013
Empirical Assessment of Machine Learning based Software Defect Prediction Techniques
V.U.B. Challagulla, Farokh Bastani, I‐Ling Yen, Raymond A. Paul
Citations: 153 • 2006
Component-Based Robotic Engineering (Part II)
Davide Brugali, Azamat Shakhimardanov
Citations: 131 • 2010
Reducing the Barrier to Entry of Complex Robotic Software: a MoveIt! Case Study
David Coleman, Ioan A. Şucan, Sachin Chitta, Nikolaus Correll
Citations: 86 • 2014
A Study on Challenges of Testing Robotic Systems
Afsoon Afzal, Claire Le Goues, Michael Hilton, Christopher S. Timperley
Citations: 85 • 2020
Combining Model Checking and Runtime Verification for Safe Robotics
Ankush Desai, Tommaso Dreossi, Sanjit A. Seshia
Citations: 75 • 2017
Robotic Testing of Mobile Apps for Truly Black-Box Automation
Ke Mao, Mark Harman, Yue Jia
Citations: 65 • 2017
The build-time software architecture view
Qiang Tu, Michael W. Godfrey
Citations: 65 • 2002
Runtime Verification of Component-Based Systems
Ylìès Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem
Citations: 57 • 2011
An Automated Test Generation Technique for Software Quality Assurance
Dianxiang Xu, Weifeng Xu, Mike Kent, Lijo Thomas, Linzhang Wang
Citations: 54 • 2014
A reusable operational software architecture for advanced robotics
Chetan Kapoor, Delbert Tesar
Citations: 51 • 1996
Design Principles of the Component-Based Robot Software Framework Fawkes
Tim Niemueller, Alexander Ferrein, Daniel Beck, Gerhard Lakemeyer
Citations: 51 • 2010
Robot operating system: A modular software framework for automated driving
Andre-Marcel Hellmund, Sascha Wirges, Ömer Şahin Taş, Claudio Bandera, Niels Ole Salscheider
Citations: 46 • 2016
Towards automatic verification of autonomous systems
Reid Simmons, Charles Pecheur, Grama R. Srinivasan
Citations: 45 • 2002
Software components and frameworks for medical robot control
A. Kapoor, Anton Deguet, Peter Kazanzides
Citations: 45 • 2006
A test generation solution to automate software testing
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux
Citations: 44 • 2008
Software engineering research on the Robot Operating System: A systematic mapping study
Michel Albonico, Milica Đorđević, Engel Hamer, Ivano Malavolta
Citations: 36 • 2022