Model-Driven Software Engineering in Robotics: Models Are Designed to Use the Relevant Things, Thereby Reducing the Complexity and Cost in the Field of Robotics

A model is an abstract representation of a real system or phenomenon [1]. The idea of a model is to capture important properties of reality and to eglect irrelevant details. The properties that are relevant and that can be neglected depend on the purpose of creating a model. A model can make a particular system or phenomenon easier to understand, quantify, visualize, simulate, or predict.

[1]  Joseph Sifakis,et al.  Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[2]  Joseph Sifakis,et al.  D-Finder: A Tool for Compositional Deadlock Detection and Verification , 2009, CAV.

[3]  Sébastien Gérard,et al.  MARTE: Also an UML Profile for Modeling AADL Applications , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[4]  Paul Clements,et al.  Documenting Component and Connector Views with UML 2.0 , 2004 .

[5]  Richard N. Taylor,et al.  A classification and rationalization of model-based software development , 2013, Software & Systems Modeling.

[6]  Hermann Schichl,et al.  Models and the History of Modeling , 2004 .

[7]  Bernhard Rumpe,et al.  Why it is so hard to use models in software development: observations , 2013, Software & Systems Modeling.

[8]  David Garlan,et al.  Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events , 2003, SFM.

[9]  Ali Ghodsi.  Common Object Request Broker Architecture , 2009, Encyclopedia of Database Systems.

[10]  Marco Guarnieri,et al.  A Domain Specific Language for Modeling Differential Constraints of Mobile Robots , 2012 .

[11]  Z. Hasan.  A Survey on Shari’Ah Governance Practices in Malaysia, GCC Countries and the UK , 2011 .

[12]  Adriana Tapus,et al.  Model-driven software development approaches in robotics research , 2014, MiSE 2014.

[13]  Jan F. Broenink,et al.  20-SIM software for hierarchical bond-graph/block-diagram models , 1999, Simul. Pract. Theory.

[14]  Leslie Lamport,et al.  Proving the Correctness of Multiprocess Programs , 1977, IEEE Transactions on Software Engineering.

[15]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[16]  Antonio Ruiz Cortés,et al.  Article in Press G Model the Journal of Systems and Software an Overview of Dynamic Software Product Line Architectures and Techniques: Observations from Research and Industry , 2022 .

[17]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[18]  Davide Brugali,et al.  Modeling and reusing robotic software architectures: The HyperFlex toolchain , 2014, 2014 IEEE International Conference on Robotics and Automation (ICRA).

[19]  François E. Cellier,et al.  Principles of Passive Electrical Circuit Modeling , 1991 .

[20]  Munindar P. Singh,et al.  Service-Oriented Computing: Key Concepts and Principles , 2005, IEEE Internet Comput..

[21]  Keisuke Takayama,et al.  Simulation, Modeling, and Programming for Autonomous Robots , 2012, Lecture Notes in Computer Science.

[22]  Azamat Shakhimardanov,et al.  Component-Based Robotic Engineering (Part II) , 2010, IEEE Robotics & Automation Magazine.

[23]  Lavindra de Silva,et al.  A Verifiable and Correct-by-Construction Controller for Robot Functional Levels , 2011, ArXiv.

[24]  Mark Rouncefield,et al.  The State of Practice in Model-Driven Engineering , 2014, IEEE Software.

[25]  Bran Selic,et al.  Modeling and Analysis of Real-Time and Embedded Systems , 2005, MoDELS.

[26]  Sébastien Gérard,et al.  First Experiments Using the UML Profile for MARTE , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[27]  Axel Uhl,et al.  Model-Driven Architecture , 2002, OOIS Workshops.

[28]  Ketil Stølen,et al.  What is model driven architecture , 2003 .

[29]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[30]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[31]  Herman Bruyninckx,et al.  Towards a Domain Specific Language for a Scene Graph based Robotic World Model , 2014, ArXiv.

[32]  Erwin Prassler,et al.  KUKA youBot - a mobile manipulator for research and education , 2011, 2011 IEEE International Conference on Robotics and Automation.

[33]  Stefan Kowalewski,et al.  Early Behaviour Modelling for Control Systems , 2009, 2009 Third UKSim European Symposium on Computer Modeling and Simulation.

[34]  Kiyoshi Fujiwara,et al.  Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL , 2014, SIMPAR.

[35]  Sebastian Wrede,et al.  A Survey on Domain-Specific Languages in Robotics , 2014, SIMPAR.

[36]  Insup Lee,et al.  Generating Reliable Code from Hybrid-Systems Models , 2010, IEEE Transactions on Computers.

[37]  Brian P. Gerkey,et al.  Sharing Software with ROS [ROS Topics] , 2010, ICRA 2010.

[38]  Julio L. Medina Pasaje,et al.  Model-Based Analysis and Design of Real-Time Distributed Systems with Ada and the UML Profile for MARTE , 2011, Ada-Europe.

[39]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[40]  Kenneth D. Evensen,et al.  A Comparison and Evaluation of Real-Time Software Systems Modeling Languages , 2010 .

[41]  Patrizia Scandurra,et al.  Component-based robotic engineering (Part I) [Tutorial] , 2009, IEEE Robotics & Automation Magazine.

[42]  Qing Li,et al.  Unified Modeling Language , 2009 .

[43]  Peter H. Feiler,et al.  Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language , 2012 .

[44]  Klaus Schmid,et al.  A Comprehensive Survey of UML Compliance in Current Modelling Tools , 2009, Software Engineering.

[45]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[46]  Stefano Stramigioli,et al.  Fault Avoidance in Development of Robot Motion-Control Software by Modeling the Computation , 2014, SIMPAR.

[47]  Tewfik Ziadi,et al.  RobotML, a Domain-Specific Language to Design, Simulate and Deploy Robotic Applications , 2012, SIMPAR.

[48]  Michael R. Genesereth,et al.  Logical foundations of artificial intelligence , 1987 .

[49]  Juan F. Inglés-Romero,et al.  Towards a Stepwise Variability Management Process for Complex Systems: A Robotics Perspective , 2014, Int. J. Inf. Syst. Model. Des..