[1] [1] SENTILLES S, STEPAN P, CARLSON J, et al.Integration of extra-functional properties in component models ［C］//The 12th International Symposium on Component Based Software Engineering, 2009:184-197.

[2] [2] VAN OMMERING R, VAN DER LINDEN F, KRAMER J, et al.The Koala component model for consumer electronics software［J］.Computer, 2000, 33(3):78-85.

[3] [3] MAASKANT H.A robust component model for consumer electronic products［J］.Philips Research, 2005, 13(3):167-192.

[4] [4] KOZIOLEK H.Parameter dependencies for reusable per-formance specifications of software components ［D］.Ol-denburg:Oldenburg University, 2008.

[5] [5] AKERHOLM M, CARLSON J, FREDRIKSSON J, et al.The SAVE approach to component-based development of vehicular systems ［J］.Journal of Systems and Software, 2007, 80(5):655-667.

[6] [6] BORDE E, CARLSON J.Toward verified synthesis of ProCom, a component model for real-time embedded systems［J］.IEEE Transactions on Software Engineering, 2011, 20(24):129-138.

[7] [7] VULGARAKIS A, SURYADEVARA J, CARLSON J, et al.Formal semantics of the ProCom real-time component mo-del［C］//The 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009:478-485.