Skip to main content
SpringerLink
Log in
Book cover

CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems pp 179–212Cite as

Component-Based Development

  • Chapter
  • First Online:

  • 1071 Accesses

Abstract

In this chapter, we focus on the use of component-based development (CDB) in Cesar. First, we introduce what we mean by components and how they fit into the product lifecycle. Then, we report on the two major technological innovations of the project: the X-MAN and HRC frameworks.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    We will use ‘life cycle’ interchangeably with ‘development process’ or simply ‘process’.

  2. 2.

    The name W-Model has also been used in software testing [146] and product line engineering [112] in the context of traditional (i.e., non-CBD) software engineering.

  3. 3.

    This name was not used in these papers, but has been created within the Cesar project.

  4. 4.

    In English, “W” is pronounced “double u”; there is no letter pronounced “double v”.

  5. 5.

    This is one of the pilot applications in the Cesar project.

  6. 6.

    Odile Laurent and François Pouzolz; Airbus France; Airbus generic pilot application Aircraft doors management system; Cesar Use Case; May 2009

References

  1. E. Böde, W. Damm, J. Hoyem, B. Josko, J. Niehaus, M. Segelken, Adding value to automotive models, in Automotive Software – Connected Services in Mobile Networks. volume 4147 Lecture Notes in Computer Science. ARTIST and NSF Workshop on Automotive Software Development (Springer, Berlin, 2006), pp. 86–102

    Google Scholar 

  2. M. Broy, A. Deimel, J. Henn, K. Koskimies, F. Plasil, G. Pomberger, W. Pree, M. Stal, C. Szyperski, What characterizes a software component? Softw. Concepts Tools 19(1), 49–56 (1998)

    Article  Google Scholar 

  3. L. Capretz, Y: A new component-based software lifecycle model. J. Comput. Sci. 1(1), 76–82 (2005)

    Article  Google Scholar 

  4. B. Christiansson, L. Jakobsson, I. Crnkovic, CBD process, in Building Reliable Component-Based Software Systems, ed. by I. Crnkovic, M. Larsson (Artech House, Boston, 2002), pp. 89–113

    Google Scholar 

  5. E. Clarke, D. Kroening, F. Lerda, A tool for checking ANSI-C programs, in Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), ed. by K. Jensen, A. Podelski. Lecture Notes in Computer Science, vol. 2988 (Springer, Berlin/New York, 2004), pp. 168–176

    Google Scholar 

  6. I. Crnkovic, M. Chaudron, S. Larsson, Component-based development process and component lifecycle. J. Comput. Inf. Technol. 13(4), 321–327 (2005)

    Article  Google Scholar 

  7. I. Crnkovic, M. Chaudron, S. Larsson, Component-based development process and component lifecycle, in Proceedings of International Conference on Software Engineering Advances, Tahiti, 2006, pp. 44–53

    Google Scholar 

  8. W. Damm, A. Votintseva, A. Metzner, B. Josko, T. Peikenkamp, E. Böde, Boosting re-use of embedded automotive applications through rich components, in Proceedings, FIT 2005 – Foundations of Interface Technologies, San Francisco, 2005

    Google Scholar 

  9. W. Damm, H. Hungar, B. Josko, T. Peikenkamp, I. Stierand, Using contract-based component specifications for virtual integration testing and architecture design, in Design, Automation & Test in Europe Conference & Exhibition (DATE) (IEEE, 2011), pp. 1–6

    Google Scholar 

  10. A. Engel, M. Winokur, G. Doehmen, M. Enzmann, Assumptions/promises – shifting the paradigm in systems-engineering, in Proceedings of the 18th Annual International Symposium of the International Council on Systems Engineering, Utrecht, 2008

    Google Scholar 

  11. Firebird – The RDBMS that’s going where you’re going, http://www.firebirdsql.org/.

  12. M. Fortes da Cruz, P. Raistrick, AMBERS: improving requirements specification through assertive models and SCADE/DOORS integration, in The Safety of Systems, Proceedings of the 15th Safety-Critical Systems Symposium, Bristol, UK, ed. by F. Redmill, T. Anderson (Springer, London, 2007), pp. 217–241

    Google Scholar 

  13. A. Gaufillet, B. Gabel, Avionic software development with TOPCASED SAM, in Proceedings of the Embedded Real Time Software and Systems 2010, Toulouse, 2010

    Google Scholar 

  14. GME: Generic Modeling Environment, http://www.isis.vanderbilt.edu/Projects/gme/

  15. N. He, D. Kroening, T. Wahl, K.-K. Lau, F. Taweel, T. Cuong, P. Ruemmer, S. Sharma, Component-based design and verification in x-man, in Embedded Real Time Software and Systems (ERTS 2), Toulouse, 2012

    Google Scholar 

  16. G. Heineman, W. Councill (eds.), Component-Based Software Engineering: Putting the Pieces Together (Addison-Wesley, Boston, 2001)

    Google Scholar 

  17. B. Josko, Q. Ma, A. Metzner, Designing embedded systems using heterogeneous rich components, in Proceedings of the INCOSE International Symposium, Utrecht, 2008, vol. 2008

    Google Scholar 

  18. K. Kaur, H. Singh, Candidate process models for component based software development. J. Softw. Eng. 4(1), 16–29 (2010)

    Article  Google Scholar 

  19. G. Kotonya, I. Sommerville, S. Hall, Towards a classification model for component-based software engineering research, in Proceedings of the 29th EUROMICRO Conference (IEEE Computer Society, Los Alamitos, 2003), pp. 43–52

    Google Scholar 

  20. K.-K. Lau, Z. Wang, Software component models. IEEE Trans. Softw. Eng. 33(10), 709–724 (2007)

    Article  Google Scholar 

  21. K.-K. Lau, F. Taweel, Domain-specific software component models, in Proceedings of the 12th International Symposium on Component-Based Software Engineering, ed. by G. Lewis, I. Poernomo, C. Hofmeister. Lecture Notes in Computer Science, vol. 5582 (Springer, Berlin, 2009), pp. 19–35

    Google Scholar 

  22. K.-K. Lau, P. Velasco Elizondo, Z. Wang, Exogenous connectors for software components, in Proceedings of the 8th International Symposium on Component-Based Software Engineering, ed. by G. Heineman et al. Lecture Notes in Computer Science, vol. 3489 (Springer, Berlin/New York, 2005), pp. 90–106

    Google Scholar 

  23. K.-K. Lau, M. Ornaghi, Z. Wang, A software component model and its preliminary formalisation, in Proceedings of the 4th International Symposium on Formal Methods for Components and Objects, ed. by F. de Boer et al. Lecture Notes in Computer Science, vol. 4111 (Springer, Berlin/New York, 2006), pp. 1–21

    Google Scholar 

  24. K.-K. Lau, F. Taweel, C. Tran, The W Model for component-based software development, in Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications (IEEE, Piscataway, 2011), pp. 47–50

    Google Scholar 

  25. J.-H. Li, Q. Li, J. Li, The W-Model for testing software product lines, in International Symposium on Computer Science and Computational Technology, Shanghai, 2008, pp. 690–693

    Google Scholar 

  26. I. Sommerville, Software Engineering, 7th edn. (Addison Wesley, Boston, 2004)

    Google Scholar 

  27. A. Spillner, The W-MODEL – strengthening the bond between development and test, in International Conference on Software Testing, Analysis and Review, 2002, http://www.sqe.com/stareast

  28. SQLAPI +  + - C +  + library for accessing SQL databases, http://www.sqlapi.com/

  29. The SoftIntegration Ch SDK, http://www.softintegration.com/products/sdk/chsdk/

  30. The V-model, Development standard for IT-systems of the Federal Republic of Germany, IABG, http://www.v-modell.iabg.de

  31. P. Velasco Elizondo, K.-K. Lau, A catalogue of component connectors to support development with reuse. J. Syst. Softw. 83, 1165–1178 (2010)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Kungliga Tekniska Högskolan, Stockholm, Sweden

    Marc Pantel, DeJiu Chen, Magnus Persson & Martin Törngren

  2. The University of Manchester, Manchester, UK

    Kung-Kiu Lau & Cuong Tran

Authors
  1. Kung-Kiu Lau
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marc Pantel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. DeJiu Chen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Magnus Persson
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Martin Törngren
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Cuong Tran
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Kung-Kiu Lau .

Editor information

Editors and Affiliations

  1. , Dept. of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, United Kingdom

    Ajitha Rajan

  2. , Dept. of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford, OX1 3QD, United Kingdom

    Thomas Wahl

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Wien

About this chapter

Cite this chapter

Lau, KK., Pantel, M., Chen, D., Persson, M., Törngren, M., Tran, C. (2013). Component-Based Development. In: Rajan, A., Wahl, T. (eds) CESAR - Cost-efficient Methods and Processes for Safety-relevant Embedded Systems. Springer, Vienna. https://doi.org/10.1007/978-3-7091-1387-5_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-7091-1387-5_5

  • Published:

  • Publisher Name: Springer, Vienna

  • Print ISBN: 978-3-7091-1386-8

  • Online ISBN: 978-3-7091-1387-5

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation