Component Based Software Engineering for Embedded Systems A literature survey

This work has been supported by: SSF within the SAVE project, Volvo and Vinnova wihtin the EAST/EEA project, and KKS within the HEAVE project.

[1]  Jakob Axelsson.  Holistic object-oriented modelling of distributed automotive real-time control applications , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[2]  Dieter K. Hammer,et al.  Evaluation of static properties for component-based architectures , 2002, Proceedings. 28th Euromicro Conference.

[3]  James M. Purtilo,et al.  Module reuse by interface adaptation , 1991, Softw. Pract. Exp..

[4]  David Lorge Parnas,et al.  The Modular Structure of Complex Systems , 1984, IEEE Transactions on Software Engineering.

[5]  Wang Yi,et al.  Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.

[6]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[7]  Manfred Broy,et al.  The Specification of System Components by State Transition Diagrams , 2003 .

[8]  Roy S. Freedman,et al.  Testability of Software Components , 1991, IEEE Trans. Software Eng..

[9]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[10]  Hans A. Hansson,et al.  Towards systematic testing of distributed real-time systems , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[11]  David B. Stewart,et al.  A study of the applicability of existing exception-handling techniques to component-based real-time software technology , 1998, TOPL.

[12]  James J. Alpigini,et al.  USING GRAMMAR-ORIENTED OBJECT DESIGN TO SEAMLESSLY MAP BUSINESS MODELS TO COMPONENT-BASED SOFTWARE ARCHITECTURES , 2001 .

[13]  Martín Abadi,et al.  The existence of refinement mappings , 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

[14]  Len Bass,et al.  Technical Concepts of Component-Based Software Engineering, Volume 2 , 2000 .

[15]  Damir Isovic.  Components in Real-Time Systems , 2002 .

[16]  Naranker Dulay,et al.  Specifying Distributed Software Architectures , 1995, ESEC.

[17]  Judith A. Stafford,et al.  Ensembles: abstractions for a new class of design problem , 2001, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.

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

[19]  Lars Asplund,et al.  A formal model of a run-time kernel for Ravenscar , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).

[20]  John A. Stankovic,et al.  Distributed Processing , 1978, Computer.

[21]  Jim Waldo,et al.  The Jini Specification , 1999 .

[22]  Edward A. Lee,et al.  System-Level Types for Component-Based Design , 2001, EMSOFT.

[23]  Matthew B. Dwyer,et al.  Cadena: an integrated development, analysis, and verification environment for component-based systems , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[24]  J. Voas,et al.  Software Testability: The New Verification , 1995, IEEE Softw..

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

[26]  David Garlan,et al.  Exploiting style in architectural design environments , 1994, SIGSOFT '94.

[27]  Frank Bellosa,et al.  Component-based software engineering for distributed embedded real-time systems , 2001, IEE Proc. Softw..

[28]  Pradeep K. Khosla,et al.  Design of Dynamically Reconfigurable Real-Time Software Using Port-Based Objects , 1997, IEEE Trans. Software Eng..

[29]  Mary Jean Harrold,et al.  Testing: a roadmap , 2000, ICSE '00.

[30]  Oscar Nierstrasz,et al.  Separation of Concerns through Unification of Concepts , 2000 .

[31]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[32]  John A. Stankovic.  VEST - A Toolset for Constructing and Analyzing Component Based Embedded Systems , 2001, EMSOFT.

[33]  Henrik Thane,et al.  Safe and Reliable Computer Control Systems Concepts and Methods , 1999 .

[34]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[35]  Edward A. Lee.  Computing for embedded systems , 2001, IMTC 2001. Proceedings of the 18th IEEE Instrumentation and Measurement Technology Conference. Rediscovering Measurement in the Age of Informatics (Cat. No.01CH 37188).

[36]  Svend Frølund,et al.  Quality-of-service specification in distributed object systems , 1998, Distributed Syst. Eng..

[37]  Gregor Kiczales,et al.  Aspect-oriented programming , 2001, ESEC/FSE-9.

[38]  Lennart Lindh,et al.  Hardware Accelerator for Single and Multiprocessor Real-Time Operating Systems , 2000 .

[39]  Joel Huselius,et al.  Debugging Parallel Systems: A State of the Art Report , 2002 .

[40]  Mary Shaw,et al.  Abstractions and implementations for architectural connections , 1996, Proceedings of International Conference on Configurable Distributed Systems.

[41]  Brian W. Beach,et al.  Connecting software components with declarative glue , 1992, International Conference on Software Engineering.

[42]  Mohammed El Shobaki.  On-Chip Monitoring of Single- and Multiprocessor Hardware Real-Time Operating Systems , 2002 .

[43]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[44]  Michael M. Gorlick,et al.  Using weaves for software construction and analysis , 1991, [1991 Proceedings] 13th International Conference on Software Engineering.

[45]  David Garlan,et al.  A Formal Approach to Software Architectures , 1992, IFIP Congress.

[46]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[47]  Paul J. Jalics,et al.  An Assessment of Object-Oriented Method and C++ , 1996, J. Object Oriented Program..

[48]  Christine Mingins,et al.  Providing Trusted Components to the Industry , 1998, Computer.

[49]  Thomas A. Henzinger,et al.  Interface automata , 2001, ESEC/FSE-9.

[50]  Dk Dieter Hammer,et al.  Component-Based Architecting for Distributed Real-Time Systems , 2001 .

[51]  Janak H. Patel,et al.  Model of Computation , 1990 .

[52]  David Garlan,et al.  Architectural Mismatch or Why it's hard to build systems out of existing parts , 1995, 1995 17th International Conference on Software Engineering.

[53]  Thomas E. Bihari,et al.  Object-oriented real-time systems: concepts and examples , 1992, Computer.

[54]  David C. Luckham,et al.  An Event-Based Architecture Definition Language , 1995, IEEE Trans. Software Eng..

[55]  Steve Vestal,et al.  Domain-Specific Software Architectures for Guidance, Navigation and Control , 1996, Int. J. Softw. Eng. Knowl. Eng..

[56]  Robert V. Binder,et al.  Design for testability in object-oriented systems , 1994, CACM.

[57]  William M. Waite.  Code Generation , 1976, Compiler Construction.

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

[59]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[60]  S. Vestal,et al.  MetaH support for real-time multi-processor avionics , 1997, Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems.

[61]  Jean-Marc Jézéquel,et al.  From contracts to aspects in uml designs , 2002 .

[62]  Robert J. Allen.  A formal approach to software architecture , 1997 .

[63]  Shari Lawrence Pfleeger,et al.  Investigating the Influence of Formal Methods , 1997, Computer.

[64]  C LuckhamDavid,et al.  Specification and Analysis of System Architecture Using Rapide , 1995 .

[65]  Edward A. Lee,et al.  Ptolemy II, Heterogeneous Concurrent Modeling and Design in JAVA , 2001 .

[66]  Abraham Silberschatz,et al.  The Pebble Component-Based Operating System , 1999, USENIX Annual Technical Conference, General Track.

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

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

[69]  Pradeep K. Khosla,et al.  The Chimera II real-time operating system for advanced sensor-based control applications , 1992, IEEE Trans. Syst. Man Cybern..

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

[71]  Jeffrey M. Voas,et al.  Dependability certification of software components , 2000, J. Syst. Softw..

[72]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[73]  John A. Zinky,et al.  Architectural Support for Quality of Service for CORBA Objects , 1997, Theory Pract. Object Syst..

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

[75]  Werner Schütz,et al.  Fundamental issues in testing distributed real-time systems , 1994, Real-Time Systems.

[76]  Gabriel A. Moreno,et al.  Packaging Predictable Assembly , 2002, Component Deployment.