Abstract
Component models for autonomous robots control architectures are much more constrained than traditional ones: obeying strict timing constraints, coping with a large spectrum of rapidly changing hardware (e.g. sensors and actuators), etc. Beyond introducing new concepts into components themselves, composition in such models must go much farther than the standard connection through method signature interfaces. Viewing components as full-fledged sensori-motor behaviors, our model follows the concept of rich interfaces introduced by Henzinger et al. to attach to each component all the necessary syntactical and behavioral information to make them externally composable. This paper presents two kinds of composition, parallel and by modes, their semantics, their compositionality properties and the impact of these on the composition model. A prototype implementation in Java is backed by a constructive semantics defined as a constraint system solved in this prototype with the ECLIPSe constraint programming system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Rogovchenko, O., Malenfant, J.: Composants et composition pour les architectures de contrôle de robots. Revue des systèmes série JESA. Journal Européen des Systèmes Automatisés 42, 423–438 (2008)
Rogovchenko, O., Malenfant, J.: Components for Control Architectures of Autonomous Robots (2010) (submitted for publication)
de Alfaro, L., Henzinger, T.A.: Interface-based design. In: Engineering theories of software intensive systems. NATO Science Series, vol. 195, pp. 83–104. Springer, Heidelberg (2005)
de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Timed Interfaces. In: Sangiovanni-Vincentelli, A.L., Sifakis, J. (eds.) EMSOFT 2002. LNCS, vol. 2491, pp. 108–122. Springer, Heidelberg (2002)
Chakrabarti, A., de Alfaro, L., Henzinger, T.A., Stoelinga, M.: Resource Interfaces. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 117–133. Springer, Heidelberg (2003)
Brugali, D. (ed.): Software Engineering for Experimental Robotics. Springer Tracts in Advanced Robotics, vol. 30. Springer, Heidelberg (2007)
Passama, R., Andreu, D., Dony, C., Libourel, T.: CoSARC, un langage de composants pour l’ingnierie des architectures robotiques. Revue des systèmes série JESA, Journal Européen des Systèmes Automatisés 42, 439–458 (2008)
Gallien, M., Gargouri, F., Kahloul, I., Krichen, M., Nguyen, T.H., Bensalem, S., Ingrand, F.: D’une approche modulaire à une approche orientée composant pour le développement des systèmes autonomes: Défis et principes. In: Proceedings of Control Architectures of Robots, CAR 2008 (2008)
Schlegel, C.: Communication patterns as key towards component interoperability. [6]
Dominguez, A.L.J., Day, N.A.: Compositional Reasoning for Port-Based Distributed Systems. In: Proceedings of ASE 2005, pp. 376–379. ACM, New York (2005)
Maraninchi, F., Bouhadiba, T.: 42: Programmable Models of Computation for a Component-Based Approach to Heterogeneous Embedded Systems. In: Proceedings of GPCE 2007, pp. 53–62. ACM, New York (2007)
Gu, Z., He, Z.: Real-Time Scheduling Techniques for Implementation Synthesis from Component Software Models. In: Heineman, G.T., Crnković, I., Schmidt, H.W., Stafford, J.A., Szyperski, C., Wallnau, K. (eds.) CBSE 2005. LNCS, vol. 3489, pp. 235–250. Springer, Heidelberg (2005)
Lipari, G., Gai, P., Trimarchi, M., Guidi, G., Ancilotti, P.: A Hierarchical Framework for Component-Based Real-Time Systems. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 209–216. Springer, Heidelberg (2004)
Sandström, K., Fredriksson, J., Akerholm, M.: Introducing a Component Technology for Safety Critical Embedded Real-Time Systems. In: Crnković, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds.) CBSE 2004. LNCS, vol. 3054, pp. 194–208. Springer, Heidelberg (2004)
Wuyts, R., Ducasse, S., Nierstrasz, O.: A data-centric approach to composing embedded, real-time software components. The Journal of Systems and Software 74, 25–34 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rogovchenko, O., Malenfant, J. (2010). Composition and Compositionality in a Component Model for Autonomous Robots. In: Baudry, B., Wohlstadter, E. (eds) Software Composition. SC 2010. Lecture Notes in Computer Science, vol 6144. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14046-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-14046-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14045-7
Online ISBN: 978-3-642-14046-4
eBook Packages: Computer ScienceComputer Science (R0)