Towards Efficient Component-Based Software Development of Distributed Embedded Systems

The paper presents Save-IDE, an Integrated Development Environment for thedevelopment of component-based embedded systems. Save-IDE supports efficient development of dependable embedded systems by providing tools for design of embedded software systems using a dedicated component model, formal specification and analysis of component and system behaviors already in early development phases, and a fully automated transformation of the system of components into an executable image.

[1]  J-C. Laprie,et al.  DEPENDABLE COMPUTING AND FAULT TOLERANCE : CONCEPTS AND TERMINOLOGY , 1995, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..

[2]  Klaus Turowski,et al.  Classification framework for business components , 2000, Proceedings of the 33rd Annual Hawaii International Conference on System Sciences.

[3]  Séverine Sentilles,et al.  Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[4]  Eric Barboni,et al.  Component-Based Behavioural Modelling with High-Level Petri Nets , 2004 .

[5]  Steve Vestal,et al.  An Overview of the SAE Architecture Analysis & Design Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering , 2004, IFIP-WADL.

[6]  Gabriel A. Moreno.  Creating custom containers with generative techniques , 2006, GPCE '06.

[7]  Hugh Maaskant.  A Robust Component Model for Consumer Electronic Products , 2005 .

[8]  John Håkansson,et al.  Analyzing a Pattern-Based Model of a Real-Time Turntable System , 2009, FESCA@ETAPS.

[9]  Hany H. Ammar,et al.  Characterizing a Software Component , 1999 .

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

[11]  Hans van Vliet.  Software Engineering: Principles and Practice, 2nd Edition , 2000 .

[12]  Séverine Sentilles,et al.  Save-IDE - A tool for design, analysis and implementation of component-based embedded systems , 2009, 2009 IEEE 31st International Conference on Software Engineering.

[13]  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.

[14]  Sébastien Gérard,et al.  Annotating UML Models with Non-functional Properties for Quantitative Analysis , 2005, MoDELS Satellite Events.

[15]  Herbert Hanselmann,et al.  Challenges in automotive software engineering , 2008, ICSE Companion '08.

[16]  Oliver Rogalla,et al.  Extracting, specifying and predicting software system properties in component based real-time embedded software development , 2009, 2009 31st International Conference on Software Engineering - Companion Volume.

[17]  Ian Sommerville,et al.  Towards a classification model for component-based software engineering research , 2003, 2003 Proceedings 29th Euromicro Conference.

[18]  林俊彦.  用Visual Studio实践敏捷测试（一） , 2010 .

[19]  Gabriel A. Moreno,et al.  Packaging Predictable Assembly with Prediction-Enabled Component Technology , 2001 .

[20]  Petr Hnetynka,et al.  SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model , 2006, Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06).

[21]  G. Lewis,et al.  Service Level Agreements in Service-Oriented Architecture Environments , 2008 .

[22]  Daniel Plakosh,et al.  Pin Component Technology (V1.0) and Its C Interface , 2005 .

[23]  Hany H. Ammar,et al.  A Model for Classifying Component Interfaces , 1999 .

[24]  Séverine Sentilles,et al.  A Component Model Family for Vehicular Embedded Systems , 2008, 2008 The Third International Conference on Software Engineering Advances.

[25]  Kurt C. Wallnau,et al.  Volume III: A Technology for Predictable Assembly from Certifiable Components , 2003 .

[26]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming, 2nd Edition , 2002, Addison-Wesley component software series.

[27]  Michael Winter,et al.  Components for embedded software: the PECOS approach , 2002, CASES '02.

[28]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[29]  Martin Herrmann,et al.  Software Behavior Description of Real-Time Embedded Systems in Component Based Software Development , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[30]  John Håkansson,et al.  The SAVE approach to component-based development of vehicular systems , 2007, J. Syst. Softw..

[31]  Steffen Becker,et al.  Model-Based performance prediction with the palladio component model , 2007, WOSP '07.

[32]  Martin Herrmann,et al.  A Backbone in Automotive Software Development Based on XML and ASAM/MSR , 2004 .

[33]  Kung-Kiu Lau,et al.  Software Component Models , 2007, IEEE Trans. Software Eng..

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

[35]  Hans Hansson,et al.  The SaveCCM Language Reference Manual , 2007 .

[36]  Paul Pettersson,et al.  REMES: A Resource Model for Embedded Systems , 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

[37]  H Fennel,et al.  Achievements and exploitation of the AUTOSAR development partnership , 2006 .

[38]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[39]  Hans Hansson,et al.  Beating the Automotive Code Complexity Challenge , 2008 .

[40]  Mary Shaw,et al.  Writing good software engineering research papers , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[41]  Séverine Sentilles,et al.  Integration of Extra-Functional Properties in Component Models , 2009, CBSE.

[42]  Ivica Crnkovic,et al.  An empirical comparison of SaveUML and SaveCCM technologies : Version 1.0 , 2009 .

[43]  Frank Lüders.  An Evolutionary Approach to Software Components in Embedded Real-Time Systems , 2006 .

[44]  Ivica Crnkovic,et al.  Component-based development process and component lifecycle , 2005, 27th International Conference on Information Technology Interfaces, 2005..

[45]  Antonio Vallecillo,et al.  Quality Attributes for COTS Components , 2002 .

[46]  Mikael Åkerholm.  Reusability of Software Components in the Vehicular Domain , 2008 .

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

[48]  Valeriy Vyatkin.  IEC 61499 Function Blocks for Embedded and Distributed Control Systems Design , 2007 .

[49]  Oscar Nierstrasz,et al.  A Component Model for Field Devices , 2002, Component Deployment.

[50]  Richard N. Taylor,et al.  Moving Architectural Description from Under the Technology Lamppost , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[51]  Joseph Sifakis,et al.  Modeling Heterogeneous Real-time Components in BIP , 2006, Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM'06).

[52]  Ivica Crnkovic,et al.  Towards Guidelines for a Development Process for Component-Based Embedded Systems , 2009, ICCSA.

[53]  Christo Angelov,et al.  COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems , 2007, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007).

[54]  Fintan Bolton.  Pure CORBA , 2001 .

[55]  Séverine Sentilles,et al.  ProCom - the Progress Component Model Reference Manual, version 1.0 , 2008 .

[56]  Séverine Sentilles,et al.  A Component Model for Control-Intensive Distributed Embedded Systems , 2008, CBSE.

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

[58]  Heiko Koziolek,et al.  Parameter dependencies for reusable performance specifications of software components , 2010 .

[59]  Allen Silver,et al.  Beta , 1975, The SAGE Encyclopedia of Research Design.

[60]  Steffen Zschaler,et al.  Formal specification of non-functional properties of component-based software systems , 2010, Software & Systems Modeling.

[61]  Magnus Larsson,et al.  Component-Based and Service-Oriented Software Engineering: Key Concepts and Principles , 2007, 33rd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO 2007).

[62]  Stan Jarzabek,et al.  Proceedings of the 5th international conference on Generative programming and component engineering , 2006 .

[63]  M. F.,et al.  Bibliography , 1985, Experimental Gerontology.

[64]  Prometheus - A Compositional Modeling Tool for Real-Time Systems , .

[65]  Richard Zurawski.  Embedded Systems Handbook, Second Edition: Embedded Systems Design and Verification , 2009 .

[66]  Petr Stepan.  An extensible attribute framework for ProCom , 2009 .

[67]  Barbara Paech,et al.  Component-based product line engineering with UML , 2001, Addison Wesley object technology series.

[68]  Jean-Marc Jézéquel,et al.  Making Components Contract Aware , 1999, Computer.

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

[70]  Ivica Crnkovic.  Component-based software engineering for embedded systems , 2005, Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005..

[71]  Stamatis Vassiliadis,et al.  Embedded Computer Systems: Architectures, Modeling, and Simulation, 6th International Workshop, SAMOS 2006, Samos, Greece, July 17-20, 2006, Proceedings , 2006, SAMOS.

[72]  Paul Pettersson,et al.  Formal Semantics of the ProCom Real-Time Component Model , 2009, 2009 35th Euromicro Conference on Software Engineering and Advanced Applications.

[73]  Joseph Sifakis,et al.  The IF Toolset , 2004, SFM.

[74]  Clemens A. Szyperski,et al.  Component software - beyond object-oriented programming , 2002 .

[75]  Joseph Sifakis,et al.  Embedded Systems Design: The ARTIST Roadmap for Research and Development , 2005, Lecture Notes in Computer Science.

[76]  Ivica Crnkovic,et al.  Concerning Predictability in Dependable Component-Based Systems: Classification of Quality Attributes , 2004, WADS.

[77]  Sébastien Gérard,et al.  Managing Complexity of Automotive Electronics Using the EAST-ADL , 2007, 12th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2007).

[78]  Douglas C. Schmidt,et al.  An overview of the Real-Time CORBA specification , 2000, Computer.

[79]  Johan Fredriksson,et al.  Evaluation of component technologies with respect to industrial requirements , 2004, Proceedings. 30th Euromicro Conference, 2004..

[80]  Gordon S. Blair,et al.  An Efficient Component Model for the Construction of Adaptive Middleware , 2001, Middleware.

[81]  John Håkansson,et al.  Partial Order Reduction for Verification of Real-Time Components , 2007, FORMATS.

[82]  Panagiotis Tsarchopoulos.  European Research in Embedded Systems , 2006, SAMOS.

[83]  Dale Rogerson,et al.  Inside COM , 1997 .

[84]  Ivica Crnkovic,et al.  Using UML for Domain-Specific Component Models , 2009 .