Abstract
This chapter presents CoConES (Components and Contracts for Embedded Software), a methodology for the development of embedded software, supported by a tool chain. The methodology is based on the composition of reusable components with the addition of a contract principle for modeling non-functional constraints. Non-functional constraints are an important aspect of embedded systems, and need to be modeled explicitly. The tool chain contains CCOM, a tool used for the design phase of software development, coupled with Draco, a middleware layer that supports the component-based architecture at run-time.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Baldwin, P., Kohli, S., Lee, E.A., Liu, X., Zhao, Y.: Modeling of sensor nets in ptolemy ii. In: Proceedings of Information Processing in Sensor Networks (IPSN), Berkeley, CA, USA, April 26-27 (2004)
Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38-45 (1999)
Bluetooth. Bluetooth wireless protocol (2003), http://www.bluetooth.com/ , http://www.bluetooth.com/
Bruneton, E., Coupaye, T., Stefani, J.-B.: Recursive and dynamic software composition with sharing. In: Proc. of the Seventh International Workshop on Component-Oriented Programming, Malaga, Spain (2002)
DESSteam. Definition of components and notation for components. Technical report (December 2001), http://www.dess-itea.org
DESSteam. Timing, memory and other resource constraints. Technical report (2001), http://www.dess-itea.org
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)
ITRS. International technology roadmap for semiconductors. Internet (2004), http://public.itrs.net
Nierstrasz, O., Ar’evalo, G., Ducasse, S., Wuyts, R., Müller, P., Zeidler, C., Genssler, T., van den Born, R.: A component model for field devices. In: proceedings of the IFIP/ACMworking conference on Component Deployment, Berlin (2002)
Rigole, P., Berbers, Y., Holvoet, T.: Design and run-time bandwidth contracts for pervasive computing middleware. In: Urarahy, C., Sztajnberg, A., Cerqueira, R. (eds.) Proceedings of the first International Workshop on Middleware for Pervasive and Ad Hoc Computing (MPAC), Rio De Janeiro, Brazil, June 2003, pp. 5–12 (2003)
Rigole, P., Berbers, Y., Holvoet, T.: Bluetooth enabled interaction in a distributed camera surveillance system. In: Proceedings of the Thirty-Seventh Annual Hawaii International Conference on System Sciences, pp. 1-10. IEEE Computer Society, Los Alamitos (2004)
Selic, B., Gullekson, G., Ward, P.: Real-Time Object Oriented Modeling. Wiley, Chichester (1994) ISBN 0471599174
Stankovic, J.A.: A toolset for constructing and analyzing component based embedded systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 390–402. Springer, Heidelberg (2001)
Stewart, D.B., Khosla, P.K.: The chimera methodology: Designing dynamically reconfigurable and reusable real-time software using port-based objects. International Journal of Software Engineering and Knowledge Engineering 6(2), 249-277 (1996)
Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of dynamically reconfigurable real-time software using port-based objects. Software Engineering 23(12), 759-776 (1997)
Szyperski, C.: Component Software: Beyond Object-Oriented Programming, November 2002. Addison-Wesley, Reading (2002)
Urting, D., Baelen, S.V., Holvoet, T., Rigole, P., Vandewoude, Y., Berbers, Y.: A tool for component based design of embedded software. In: Noble, J., Potter, J. (eds.) Proceedings of 40th International Conference on Technology of Object-Oriented Languages and Systems (Tools Pacific 2002), February 2002, vol. 10, pp. 159–168. Australian Computer Society Inc., Sydney (2002)
Urting, D., Holvoet, T., Berbers, Y.: Embedded software development: Components and contracts. In: Gonzalez, T. (ed.) Proc. of the IASTED Conference on Parallel and Distributed Computing and Systems, pp. 685-690 (2001)
van Ommering, R.: The Koala Component Model. In: Building Reliable Component-Based Software Systems, July 2002, Artech House Publishers, Norwood (2002)
Winter, M., Genssler, T., Christoph, A., Nierstrasz, O., Ducasse, S., Wuyts, R., Arévalo, G., Müller, P., Stich, C., Schönhage, B.: Components for embedded software - the pecos approach. In: Proceedings of the Second International Workshop on Composition Languages, Malaga, Spain (June 2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Berbers, Y., Rigole, P., Vandewoude, Y., Van Baelen, S. (2005). CoConES: An Approach for Components and Contracts in Embedded Systems. In: Atkinson, C., Bunse, C., Gross, HG., Peper, C. (eds) Component-Based Software Development for Embedded Systems. Lecture Notes in Computer Science, vol 3778. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11591962_11
Download citation
DOI: https://doi.org/10.1007/11591962_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30644-3
Online ISBN: 978-3-540-31614-5
eBook Packages: Computer ScienceComputer Science (R0)