Embedded systems development: Quest for productivity and reliability

Proceedings - Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems

Volumn 2006, Issue , 2006, Pages 10-19

  Ibrahim, Abdelgadir E ^a   Zhao, Liping ^a   Kinghorn, John ^b  

^a UNIVERSITY OF MANCHESTER   (United Kingdom)

^b NXP SEMICONDUCTORS   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE; MATHEMATICAL MODELS; RELIABILITY; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

EMBEDDED SYSTEMS DEVELOPMENT; PHILIPS SEMICONDUCTORS (CO); SYSTEM DESIGNERS;

EMBEDDED SYSTEMS;

EID: 33749414369     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCBSS.2006.12     Document Type: Conference Paper

References (46)

1. E. A. Lee, "Embedded Software," in Advances in Computers/, vol. 56, e. M. Zelkowitz, Ed. London: Academic Press, 2002.
2. I. Crnkovic, "Component-based approach for Embedded Systems," in Proceedings of the 9th International Workshop on Component-Oriented Programming. Oslo, Norway, 2004.
3. B. Graaf, M. Lormans, and H. Toetenel, "Software Technologies for Embedded Systems: An Industry Inventory," in Lecture Notes in Computer Science, 2559 ed, 2002, pp. 453-465.
4. B. Graaf, M. Lormans, and H. Toetenel, "Embedded Software Engineering: The State of the Practice," IEEE Software, vol. 20, pp. 61-69, 2003.
5. G. T. Heineman and W. T. Councill, Component-based software engineering: putting the pieces together. Boston, London: Addison-Wesley, 2001.
6. E.-A. Karlsson, Software Reuse: a holistic approach: John Wiley & Sons Ltd, 1996.
7. G. Veccellio and W. M. Thomas, "Issues in the Assurance of Component-Based Software," presented at 3rd International Workshop on Component-based Software Engineering: Reflects and Practice, Limerick, Ireland, 2000.
8. A. Bertolino and A. Polini, "A framework for component deployment testing " in Proceedings of the 25th International Conference on Software Engineering Portland, Oregon IEEE Computer Society, 2003 pp. 221-231
9. S. Beydeda and V. Gruhn, "State of the art in testing components" in Proceedings of the Third International Conference on Quality Software IEEE Computer Society, 2003 pp. 146
10. F. Lüders, "Adopting a Software Component Model in Real-Time Systems Development," in Proceedings of the 28th Annual NASA/IEEE Software Engineering Workshop: IEEE Computer Society Press, 2004.
11. A. Möller, M. Åkerholm, J. Fredriksson, and M. Nolin, "An Industrial Evaluation of Component Technologies for Embedded-Systems," Mälardalen Real-Time Research Centre, Mälardalen University, Technical Report, ISSN 1404-3041, ISRN MDHMRTC-155/2004-1-SE, February 2004.
12. D. K. Hammer and M. R. V. Chaudron, "Component-based software engineering for resource-constraint systems: what are the needs?," in Proceedings of WORDS 2001, 6th International Workshop on Object-Oriented Real-Time Dependable System, 8-10 Jan. 2001. Rome, Italy: IEEE Comput. Soc, 2001, pp. 91-4.
13. R. van Ommering, F. van der Linden, J. Kramer, and J. Magee, "The Koala component model for consumer electronics software," Computer, vol. 33, pp. 78-85, 2000.
14. R. v. Ommering, "A Composable Software Architecture for Consumer Electronics Products," in XOOTIC Magazine, vol. 7, 2000.
15. I. Crnkovic and M. Larsson, Building Reliable Component-based Software Systems: Boston Artech House, Inc, 2002.
16. E. M. Eskenazi, A. V. Fioukov, D. K. Hammer, and M. R. V. Chaudron, "Estimation of static memory consumption for systems built from source code components," in 9th IEEE Conference and Workshops on Engineering of Computer-Based Systems. Lund, Sweden: IEEE Computer Society Press, 2002.
17. I. Crnkovic, R. Reussner, H. Schmidt, K. Simons, J. Stafford, and K. Wallnau, "Report of the International Symposium on Component-Based Software Engineering " SIGSOFT Softw. Eng. Notes vol. 30 pp. 1-9 2005
18. "ROBOCOP Project website. http://www.hitech-projects.com/euprojects/robocop/."
19. I. Crnkovic, B. Hnich, T. Jonsson, and Z. Kiziltan, "Specification, implementation, and deployment of components " Commun. ACM vol. 45 pp. 35-40 2002
20. F. Lüders, K.-K. Lau, and S.-M. Ho, "Specification of Software Components," in Building Reliable Component-based Software Systems, I. Crnkovic and M. Larsson, Eds.: ARTECH HOUSE BOOKS, 2002, pp. 52-69.
21. J. Cheesman and J. Daniels, UML Components - a Simple Process for Specifying Component-Based Software: Addison-Wesley, 2001.
22. M. Shaw, "Truth vs. knowledge: the difference between what a component does and what we know it does," in Proceedings of the 8th International Workshop on Software Specification and Design, 22-23 March 1996. Schloss Velen, Germany: IEEE Comput. Soc. Press, 1996, pp. 181-5.
23. S. Frolund and J. Koistinen, "QML: A language for Quality of Service Specification," Software Technology Laboratory, Hewlett Packard, Technical Report HPL-98-10, February 1998 1998.
24. X. Franch, "Systematic Formulation of Non-Functional Characteristics of Software," in Proceedings of the 3rd International Conference on Requirements Engineering (ICRE). Colorado Springs (USA), 1998.
25. J. y. Aagedal and J. Earl F. Ecklund, "Modelling QoS: Towards a UML Profile" in Proceedings of the 5th International Conference on The Unified Modeling Language Springer-Verlag, 2002 pp. 275-289
26. V. Cortellessa and A. Pompei, "Towards a UML profile for QoS: a contribution in the reliability domain " in Proceedings of the fourth international workshop on Software and performance Redwood Shores, California ACM Press, 2004 pp. 197-206
27. J. Ø. Aageda, "Quality of Service Support in Development of Distributed Systems," University of Oslo, 2001.
28. S. Röttger and S. Zschaler, "CQML+: Enhancements to CQML, " in 1st International Workshop on Quality of Service in Component-Based Software Engineering, Cépaduès-Éditions ed. Toulouse, France, 2003, pp. 43-56.
29. P. C. Clements, "A Survey of Architecture Description Languages," in Proceedings of the 8th International Workshop on Software Specification and Design: IEEE Computer Society, 1996, pp. 16.
30. N. Medvidovic and R. N. Taylor, "A classification and comparison framework for software architecture description languages," IEEE Transactions on Software Engineering, vol. 26, pp. 70-93, 2000.
31. N. Medvidovic and R. N. Taylor, "Separating fact from fiction in software architecture," in Proceedings of the 1998 3rd International Software Architecture Workshop, ISAW-3, Nov 1-Nov 2 1998. Orlando, FL, USA: Association for Computing Machinery, New York, NY, USA, 1998, pp. 105-108.
32. N. Medvidovic, S. Malek, and M. Mikic-Rakic, "Software Architectures and Embedded Systems," in Monterey Workshop on Software Engineering for Embedded Systems (SEES 2003). Chicago, IL, 2003, pp. 65-71.
33. N. Medvidovic and D. S. Rosenblum, "Assessing the suitability of a standard design method for modeling software architectures," in Proceedings of WICSA1: 1st Working IFIP Conference on Software Architecture, 22-24 Feb. 1999. San Antonio, TX, USA: Kluwer Academic Publishers, 1999, pp. 161-82.
34. J. E. Robbins, N. Medvidovic, D. F. Redmiles, and D. S. Rosenblum, "Integrating architecture description languages with a standard design method," in Proceedings of the 1998 20th International Conference on Software Engineering, Apr 19-25 1998. Kyoto, Jpn: IEEE Comp Soc, Los Alamitos, CA, USA, 1998, pp. 209-218.
35. M. M. Kande and A. Strohmeier, "Towards a UML profile for software architecture descriptions," presented at Proceedings of UML 2000. 3rd International Conference on the Unified Modeling Language, 2-6 Oct. 2000, York, UK, 2000.
36. B. Rumpe, M. Schoenmakers, A. Radermacher, and A. Schürr, "UML + ROOM as a Standard ADL?," in Proceedings of the 5th International Conference on Engineering of Complex Computer Systems IEEE Computer Society, 1999 pp. 43
37. S. Roh, K. Kim, and T. Jeon, "Architecture modeling language based on UML2.0," in Proceedings. 11th Asia-Pacific Software Engineering Conference, 30 Nov.-3 Dec. 2004. Busan, South Korea: IEEE Comput. Soc, 2004, pp. 663-9.
38. M. Goulao and F. B. e. Abreu, "Bridging the gap between ACME and UML 2.0 for CBD.," presented at Specification and Verification of Component-Based Systems Workshop (SAVCBS 2003) at the SEC/FSE 2003, Helsinki, Finland, 2003.
39. A. Sangiovanni-Vincentelli and G. Martin, "A vision for embedded software " in Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems Atlanta, Georgia, USA ACM Press, 2001 pp. 1-7
40. "MDA website. http://www.omg.org/mda/."
41. H. d. Bruin and H. v. Vliet, "The Future of Component-Based Development is Generation, not Retrieval," in Proceedings of the ECBS'02 Workshop on CBSE - Composing Systems from Components, I. Crnkovic, S. Larsson, and J. Stafford, Eds. Lund, Sweden, 2002.
42. C. Raistrick, P. Francis, J. Wright, C. Carter, and I. Wilkie, Model Driven Architecture with Executable UML: Cambridge University Press, 2004.
43. Y. Wang, G. King, and H. Wickburg, "A Method for Built-in Tests in Component-based Software Maintenance," presented at 3rd ECSMR, 1999.
44. S. Bernardi, S. Donatelli, and J. Merseguer, "From UML sequence diagrams and statecharts to analysable petri net models," presented at Proceedings of the Third International Workshop on Software and Performance WOSP2002, Jul 24-26 2002, Rome, Italy, 2002.
45. H. Ledang and J. Souquieres, "Integration of UML and B specification techniques: systematic transformation from OCL expressions into B," in Proceedings of Asia-Pacific Software Engineering Conference, 4-6 Dec. 2002. Gold Coast, Qld., Australia: IEEE Comput. Soc, 2002, pp. 495-504.
46. J. Bosch, C. Szyperski, and W. Week, "The Eighth International Workshop on Component-Oriented Programming," Workshop report 2003.