Embedded systems development: quest for productivity and reliability

It is widely agreed that the state of art in methodologies, techniques and tools for embedded systems development is many years behind their desktop counterparts. The job of the embedded software developer is further complicated by the increasing tendency of system designers to shift functionality and complexity away from hardware and into software. As part of an ongoing research at Philips Semiconductors, we have been investigating solutions to the two main problems of productivity and reliability in embedded software development. This paper describes our research effort in this investigation. Specifically, the paper first describes the requirements on embedded systems and their development challenges. It then provides a literature survey of some techniques that address the issues of productivity and reliability. With this background the paper proposes a model driven architectural approach to embedded software development.

[1]  Even-André Karlsson,et al.  Software reuse: a holistic approach , 1995 .

[2]  Miguel Goulão,et al.  Bridging the gap between Acme and UML 2.0 for CBD , 2003 .

[3]  Paul Francis,et al.  Model Driven Architecture with Executable UML , 2004 .

[4]  Richard N. Taylor,et al.  Separating fact from fiction in software architecture , 1998, ISAW '98.

[5]  Nenad Medvidovic,et al.  Integrating architecture description languages with a standard design method , 1998, Proceedings of the 20th International Conference on Software Engineering.

[6]  Bernhard Rumpe,et al.  UML+ROOM as a standard ADL? , 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).

[7]  Richard N. Taylor,et al.  A Classification and Comparison Framework for Software Architecture Description Languages , 2000, IEEE Trans. Software Eng..

[8]  Hans Toetenel,et al.  Embedded Software Engineering: The State of the Practice , 2003, IEEE Softw..

[9]  Dieter K. Hammer,et al.  Component-based software engineering for resource-constraint systems: what are the needs? , 2001, Proceedings Sixth International Workshop on Object-Oriented Real-Time Dependable Systems.

[10]  Frank Lüders.  Adopting a Software Component Model in Real-Time Systems Development , 2003, SEW.

[11]  Paul C. Clements,et al.  A survey of architecture description languages , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[12]  Earl F. Ecklund,et al.  Modelling QoS: Towards a UML Profile , 2002, UML.

[13]  William M. Thomas,et al.  Issues in the Assurance of Component-Based Software , 2000 .

[14]  Hans Toetenel,et al.  Software Technologies for Embedded Systems: An Industry Inventory , 2002, PROFES.

[15]  Jan Oyvind Aagedal,et al.  Quality of Service Support in Development of Distributed Systems , 2001 .

[16]  Johan Fredriksson,et al.  An Industrial Evaluation of Component Technologies for Embedded-Systems 1 , 2004 .

[17]  Yingxu Wang,et al.  A method for built-in tests in component-based software maintenance , 1999, Proceedings of the Third European Conference on Software Maintenance and Reengineering (Cat. No. PR00090).

[18]  Ivica Crnkovic,et al.  Building Reliable Component-Based Software Systems , 2002 .

[19]  Jeff Magee,et al.  The Koala Component Model for Consumer Electronics Software , 2000, Computer.

[20]  Ivica Crnkovic.  Component-based approach for embedded systems , 2004 .

[21]  Michael Goedicke,et al.  On the specification of software components , 1991, Proceedings of the Sixth International Workshop on Software Specification and Design.

[22]  Ivica Crnkovic,et al.  Report of the International Symposium on Component-Based Software Engineering , 2005, SOEN.

[23]  Mrv Michel Chaudron,et al.  Estimation of static memory consumption for systems built from source code components , 2002 .

[24]  Ivica Crnkovic,et al.  Specification, implementation, and deployment of components , 2002, CACM.

[25]  Steffen Zschaler,et al.  CQML +: Enhancements to CQML. , 2003 .

[26]  John Daniels,et al.  UML Components: A Simple Process for Specifying Component-Based Software , 2000 .

[27]  Tammy Noergaard,et al.  Embedded Software , 2009, Encyclopedia of Biometrics.

[28]  Vittorio Cortellessa,et al.  Towards a UML profile for QoS: a contribution in the reliability domain , 2004, WOSP '04.

[29]  Taewoong Jeon,et al.  Architecture modeling language based on UML2.0 , 2004, 11th Asia-Pacific Software Engineering Conference.

[30]  Volker Gruhn,et al.  State of the art in testing components , 2003, Third International Conference on Quality Software, 2003. Proceedings..

[31]  Jeanine Souquières,et al.  Integration of UML and B specification techniques: systematic transformation from OCL expressions into B , 2002, Ninth Asia-Pacific Software Engineering Conference, 2002..

[32]  Xavier Franch,et al.  Systematic formulation of non-functional characteristics of software , 1998, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98.

[33]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[34]  Andrea Polini,et al.  A framework for component deployment testing , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[35]  MedvidovicNenad.  Software Architectures and Embedded Systems , 2005 .

[36]  Nenad Medvidovic.  Software Architectures and Embedded Systems: A Match Made in Heaven? , 2005, IEEE Softw..

[37]  George T. Heineman,et al.  Component-Based Software Engineering: Putting the Pieces Together , 2001 .

[38]  Software Architectures and Embedded Systems , 2003 .

[39]  Mary Shaw,et al.  Truth vs. knowledge: the difference between what a component does and what we know it does , 1996, Proceedings of the 8th International Workshop on Software Specification and Design.

[40]  H. van Vliet,et al.  The Future of Component-Based Development is Generation, not Retrieval , 2002 .

[41]  Alberto L. Sangiovanni-Vincentelli,et al.  A vision for embedded software , 2001, CASES '01.

[42]  Nenad Medvidovic,et al.  Assessing the Suitability of a Standard Design Method for Modeling Software Architectures , 1999, WICSA.

[43]  Alfred Strohmeier,et al.  Towards a UML Profile for Software Architecture Descriptions , 2000, UML.