IEEE Robotics & Automation Magazine - September 2015 - 166

[20] P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL:
An Introduction to the SAE Architecture Analysis & Design Language, 1st ed.
Boston, MA: Addison-Wesley, 2012.
[21] M. Faugere, T. Bourbeau, R. de Simone, and S. Gerard, "MARTE: Also an
UML profile for modeling AADL applications," in Proc. 12th IEEE Int. Conf.
Engineering Complex Computer Systems, July 2007, pp. 359-364.
[22] (2015). Osate: Open source AADL tool environment. [Online]. Available:
http://www.aadl.info.
[23] G. Biggs, K. Fujiwara, and K. Anada, "Modelling and analysis of a redundant mobile robot architecture using AADL," in Simulation, Modeling, and
Programming for Autonomous Robots (Lecture Notes in Computer Science,
vol. 8810), D. Brugali, J. Broenink, T. Kroeger, and B. MacDonald, Eds. New
York: Springer International Publishing, 2014, pp. 146-157.
[24] L. Lamport, "Proving the correctness of multiprocess programs," IEEE
Trans. Softw. Eng., vol. 3, no. 2, pp. 125-143, Mar. 1977.
[25] A. Basu, M. Bozga, and J. Sifakis, (2006). Modeling heterogeneous realtime components in BIP. in Proc. 4th IEEE Int. Conf. Software Engineering Formal Methods. Washington, D.C., pp. 3-12. [Online]. Available: http://dx.doi.
org/10.1109/SEFM.2006.27
[26] S. Bensalem, M. Bozga, T.-H. Nguyen, and J. Sifakis, "D-finder: A tool for
compositional deadlock detection and verification," in 21st Int. Conf., CAV Computer Aided Verification (Lecture Notes in Computer Science, vol. 5643). Grenoble, France, June 26-July 2, 2009, New York: Springer, 2009, pp. 614-619.
[27] S. Bensalem, L. de Silva, F. Ingrand, and R. Yan. (2011). A verifiable and correct-by-construction controller for robot functional levels. J. Softw. Eng. Robot.
2(1). pp. 1-19. [Online]. Available: http://dx.doi.org/10.4018/ijismd.2014070103
[28] R. France, B. Rumpe, and M. Schindler. (2013). Why it is so hard to use
models in software development: Observations. Softw. Syst. Model. 12(4). pp.
665-668. [Online]. Available: http://dx.doi.org/10.1007/s10270-013-0383-z
[29] Y. Zheng and R. N. Taylor. (2013, Oct.). A classification and rationalization of model-based software development. Softw. Syst. Model. 12(4). pp. 669-
678. [Online]. Available: http://dx.doi.org/10.1007/s10270-013-0355-3
[30] OMG. (2015). Model driven architecture. [Online]. Available: http://www.
omg.org/mda/
[31] S. Sendall and W. Kozaczynski. (2003, Sept.). Model transformation: The
heart and soul of model-driven software development. IEEE Softw. 20(5). pp.
42-45. [Online]. Available: http://dx.doi.org/10.1109/MS.2003.1231150
[32] A. Lotz, J. F. Inglés-Romero, D. Stampfer, M. Lutz, C. Vicente-Chicote,
and C. Schlegel. (2014, July). Towards a stepwise variability management process for complex systems: A robotics perspective. Int. J. Informat. Syst. Model.
Design. 5(3). pp. 55-74. [Online]. Available: http://dx.doi.org/10.4018/
ijismd.2014070103
[33] M. Huhns and M. Singh, "Service-oriented computing: Key concepts and
principles," IEEE Internet Comput., vol. 9, no. 1, pp. 75-81, Jan. 2005.
[34] (2015). RTAI-The realtime application interface for linux. [Online].
Available: https://www.rtai.org/
[35] O. M. Group. (2015). Common object request broker architecture.
[Online]. Available: http://www.corba.org/
[36] (2015). Plateforme pour la Robotique Organisant les Transferts Entre Utilisateurs et Scientifiques (proteus). [Online]. Available: http://www.anr-proteus.fr.
[37] M. R. Genesereth and N. J. Nilsson, Logical Foundations of Artificial Intelligence. San Francisco, CA: Morgan Kaufmann Publishers, 1987.
[38] S. Dhouib, S. Kchir, S. Stinckwich, T. Ziadi, and M. Ziane, "Robotml, a
domain-specific language to design, simulate and deploy robotic applications,"
in Simulation, Modeling, and Programming for Autonomous Robots(Lecture

166

*

IEEE ROBOTICS & AUTOMATION MAGAZINE

*

September 2015

Notes in Computer Science, vol. 7628), I. Noda, N. Ando, D. Brugali, and J.
Kuffner, Eds. Berlin Heidelberg, Germany: Springer, 2012, pp. 149-160.
[39] J. Palczynski and S. Kowalewski, "Early behaviour modelling for control
systems," in Proc. 3rd UKSim European Symp. Computer Modeling Simulation,
Nov. 2009, pp. 148-153.
[40] (2015). Simulink, simulation and model-based design. [Online]. Available:
http://it.mathworks.com/products/simulink/
[41] (2015). 20-sim. [Online]. Available: http://www.20sim.com
[42] Y. Brodskiy, R. Wilterdink, S. Stramigioli, and J. Broenink, "Fault avoidance in development of robot motion-control software by modeling the computation," in Proc. 4th Int. Conf. Simulation, Modeling, Programming
Autonomous Robots (Lecture notes in computer science, vol. 8810), D. Brugali,
J. Broenink, T. Kroeger, and B. MacDonald, Eds. New York: Springer International Publishing, Oct. 2014, pp. 158-169.
[43] R. Bischoff, U. Huggenberger, and E. Prassler, "Kuka youbot-A mobile
manipulator for research and education," in Proc. IEEE Int. Conf. Robotics
Automation, May 2011, pp. 1-4.
[44] (2015). Brics integrated development environment. [Online]. Available:
http://www.best-of- robotics.org/bride/
[45] M. Anand, S. Fischmeister, Y. Hur, J. Kim, and I. Lee. (2010, July). Generating reliable code from hybrid-systems models. IEEE Trans. Comput. 59. p.
1281-1294. [Online]. Available: http://ieeexplore.ieee.org/xpl/articleDetails.
jsp?arnumber=5453343
[46] P. Clements and L. Northrop, Software Product Lines: Practices and Patterns. Boston, MA: Addison-Wesley and White Plains, NY: Longman, 2001.
[47] L. Gherardi and D. Brugali, "Modeling and Reusing Robotic Software
Architectures: The HyperFlex toolchain," in Proc. IEEE Int. Conf. Robotics and
Automation, Hong Kong, China, May 31-June 5, 2014, pp. 6414-6420.
[48] K. Kang, S. Cohen, J. Hess, W. Novak, and A. Peterson. (1990). Featureoriented domain analysis (FODA) feasibility study. Software Engineering
Institute. Carnegie Mellon Univ. Pittsburgh, PA, Tech. Rep. CMU/SEI-90TR-021. [Online]. Available: http://resources.sei.cmu.edu/library/asset-view.
cfm?AssetID=11231
[49] S. Blumenthal and H. Bruyninckx, "Towards a domain specific language
for a scene graph based robotic world model," in Proc. 4th Int. Workshop
Domain-Specific Languages models Robotic systems, Tokyo, Japan, Nov. 2013,
arXiv:1408.0200.
[50] M. Guarnieri, E. Magri, D. Brugali, and L. Gherardi. (2012). A domain
specific language for modeling differential constraints of mobile robots. in
Proc. Int. Conf. Autonomous Robot Systems Competitions. Guimares, Portugal.
[Online]. Available: http://hdl.handle.net/1822/18887
[51] A. Nordmann, N. Hochgeschwender, and S. Wrede, A Survey on DomainSpecific Languages in Robotics (Lecture Notes in Computer Science, vol. 8810).
New York: Springer International Publishing, 2014, ch. 17, pp. 195-206.
[52] A. Ramaswamy, B. Monsuez, and A. Tapus. (2014). Model-driven software
development approaches in robotics research. in Proc. 6th Int. Workshop Modeling in Software Engineering. New York. pp. 43-48. [Online]. Available: http://
doi.acm.org/10.1145/2593770.2593781
[53] R. Capilla, J. Bosch, P. Trinidad, A. Ruiz-Corts, and M. Hinchey. (2014). An
overview of dynamic software product line architectures and techniques: Observations from research and industry. J. Syst. Softw., 91, pp. 3-23. [Online]. Available: http://www.sciencedirect.com/science/article/pii/S0164121214000119

Davide Brugali, University of Bergamo, Italy. E-mail:
brugali@unibg.it.

http://it.mathworks.com/products/simulink/ http://www.aadl.info http://www.20sim.com http://www.dx.doi http://www.best-of http://www.robotics.org/bride/ http://ieeexplore.ieee.org/xpl/articleDetails http://dx.doi.org/10.4018/ijismd.2014070103 http://dx.doi.org/10.1007/s10270-013-0383-z http://dx.doi.org/10.1007/s10270-013-0355-3 http://resources.sei.cmu.edu/library/asset-view http://www http://www.omg.org/mda/ http://dx.doi.org/10.1109/MS.2003.1231150 http://dx.doi.org/10.4018/ http://hdl.handle.net/1822/18887 https://www.rtai.org/ http://http:// http://www.corba.org/ http://doi.acm.org/10.1145/2593770.2593781 http://www.anr-proteus.fr http://www.sciencedirect.com/science/article/pii/S0164121214000119

Table of Contents for the Digital Edition of IEEE Robotics & Automation Magazine - September 2015