CoConES: An Approach for Components and Contracts in Embedded Systems
Chapter
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.
Keywords
Embed System Component Blueprint Message Size Timing Contract Embed Software
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Preview
Unable to display preview. Download preview PDF.
References
- 1.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)Google Scholar
- 2.Beugnard, A., Jézéquel, J.-M., Plouzeau, N., Watkins, D.: Making components contract aware. Computer 32(7), 38-45 (1999)CrossRefGoogle Scholar
- 3.Bluetooth. Bluetooth wireless protocol (2003), http://www.bluetooth.com/, http://www.bluetooth.com/
- 4.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)Google Scholar
- 5.DESSteam. Definition of components and notation for components. Technical report (December 2001), http://www.dess-itea.org
- 6.DESSteam. Timing, memory and other resource constraints. Technical report (2001), http://www.dess-itea.org
- 7.Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)Google Scholar
- 8.ITRS. International technology roadmap for semiconductors. Internet (2004), http://public.itrs.net
- 9.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)Google Scholar
- 10.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)Google Scholar
- 11.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)Google Scholar
- 12.Selic, B., Gullekson, G., Ward, P.: Real-Time Object Oriented Modeling. Wiley, Chichester (1994) ISBN 0471599174 MATHGoogle Scholar
- 13.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)CrossRefGoogle Scholar
- 14.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)CrossRefGoogle Scholar
- 15.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)CrossRefGoogle Scholar
- 16.Szyperski, C.: Component Software: Beyond Object-Oriented Programming, November 2002. Addison-Wesley, Reading (2002)Google Scholar
- 17.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)Google Scholar
- 18.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)Google Scholar
- 19.van Ommering, R.: The Koala Component Model. In: Building Reliable Component-Based Software Systems, July 2002, Artech House Publishers, Norwood (2002)Google Scholar
- 20.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)Google Scholar
Copyright information
© Springer-Verlag Berlin Heidelberg 2005