TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS

Lucas Cordeiro, Raimundo Barreto, Meuse Oliveira

Abstract

In recent days, the amount of functions has increased significantly in embedded products so that systems de- velopment methodologies play an important role to ensure the product’s quality, cost, and time. Furthermore, this complexity coupled with constantly evolving specifications, has led to propose a semiformal develop- ment methodology to support the building of embedded real-time systems. A platform-based design approach has been used to balance costs and time-to-market in relation to performance and functionality constraints. We performed three expressive case studies and we concluded that the proposed methodology significantly reduces design time and improves software modularity and reliability.

References

  1. Abrahamsson, P., Warsta, J., Siponen, M., and Ronkainen, J. (2003). New directions on agile methods: A comparative analysis. Proceedings of the 25th International Conference on Software Engineering, Portland, Oregon, USA, IEEE Computer Society, pages 244- 254.
  2. Beck, K. and Andres, C. (2004). Extreme Programming Explained - Embrace Change. Second Edition, AddisonWesley.
  3. Chateau, J. M. (2001). Flexible platform-based design. Online Resources for comms design engineers. Available at http://www.commsdesign.com. Last visit on 14th January 2008.
  4. Coplien, J. O. and Schmidt, D. (2004). Organizational Patterns of Agile Software Development. First Edition, Prentice Hall.
  5. Cordeiro, L. (2008). Txm: Uma metodologia de desenvolvimento de hw/sw para sistemas embarcados. A thesis presented at the Federal University of Amazonas in partial fulfillment of requirements for the degree of Master of Science. Available at http://www.dcc.ufam.edu.br/ lcc/resume.html (In Portuguese) and http://www.dcc.ufam.edu.br/ lcc/methodology (In English).
  6. Cordeiro, L., Becker, C. O., and Barreto, R. S. (2007). Applying scrum and organizational patterns to multi site software development. In 6th Latin American Conference on Pattern Languages of Programming, 2007, Porto de Galinhas, Brazil. SugarLoafPlop'07, pages 46-67.
  7. Dowty, M. (2004). Test driven development of embedded systems using existing software test infrastructure. Available at http://embunit.sourceforge.net/. Last visit on 27th December 2007.
  8. Esparza, J., Schrter, C., and Schwoon, S. (2008). ModelChecking Kit. Published at the University of Stuttgart in the Institute of Formal Methods in Computer Science, Available at http://www.fmi.unistuttgart.de/szs/tools/mckit/. Last visit on 14th January 2008.
  9. Gajski, D., Zhu, J., Dmer, R., Gerstlauer, A., and Zhao, S. (2000). Specc: Specification language and methodology. Kluwer Academic Publishers, Boston, March 2000.
  10. Greene, B. (2004). Agile methods applied to embedded software development. Proceeding of the Agile Development Conference (ADC'04).
  11. Koss, R. and Langr, J. (2002). Test driven development in c. Available at http://embunit.sourceforge.net/. Last visit on 27th December 2007.
  12. Kukkala, P., Riihimki, J., Hnnikinen, M., Hmlinen, T., and Kronlf, K. (2005). Uml 2.0 profile for embedded system design. Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE'05).
  13. Manhart, P. and Schneider, K. (2004). Breaking the ice for agile development of embedded software: An industry experience report. Proceedings of the 26th International Conference on Software Engineering (ICSE04), page 3647.
  14. Nguyen, K., Sun, Z., , and Thiagarajan, P. (2004). Modeldriven soc design via executable uml to systemc. Proceedings of the 25th IEEE International Symposium on Real-Time Systems, Page(s) 459-468, pages 459- 468.
  15. Oliveira Jr., M. (1998). Desenvolvimento de Um Protótipo para a Medida Na˜o Invasiva da Saturac¸ a˜o Arterial de Oxigeˆnio em Humanos - Oxímetro de Pulso (In Portuguese). Master thesis, Center for Informatics at Federal University of Pernambuco.
  16. Oliveira Jr., M., Neto, S., Maciel, P., Lima, R., Ribeiro, A., Barreto, R., Tavares, E., and Braga, F. (2006). Analyzing software performance and energy consumption of embedded systems by probabilistic modeling: An approach based on coloured petri nets. ICATPN 2006, LNCS 4024, pp. 261281, 2006., page 261281.
  17. Ronkainen, J. and Abrahamsson, P. (2003). Software development under stringent hardware constraints: Do agile methods have a chance? eXtreme Programming Conference.
  18. Schooenderwoert, N. V. and Morsicato, N. (2004). Taming the embedded tiger - agile test techniques for embedded software. Proceedings of the Agile Development Conference (ADC'04).
  19. Schwaber, K. and Beedle, M. (2002). Agile Software Development with Scrum. First Edition, Series in Agile Software Development, Prentice Hall.
  20. SourceForge (2007a). C and C++ Code Counter. Available at http://sourceforge.net/projects/cccc. Last visit on 18th October.
  21. SourceForge (2007b). embUnit: Unit Test Framework for Embedded C Systems. Available at http://embunit.sourceforge.net/. Last visit on 18th October.
  22. Vicentelli, A. S. (2002). Platform-based design. EEDesign of EETimes.
Download


Paper Citation


in Harvard Style

Cordeiro L., Barreto R. and Oliveira M. (2008). TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS . In Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8111-28-9, pages 5-12. DOI: 10.5220/0001758800050012


in Bibtex Style

@conference{enase08,
author={Lucas Cordeiro and Raimundo Barreto and Meuse Oliveira},
title={TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS},
booktitle={Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2008},
pages={5-12},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001758800050012},
isbn={978-989-8111-28-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Third International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - TOWARDS A SEMIFORMAL DEVELOPMENT METHODOLOGY FOR EMBEDDED SYSTEMS
SN - 978-989-8111-28-9
AU - Cordeiro L.
AU - Barreto R.
AU - Oliveira M.
PY - 2008
SP - 5
EP - 12
DO - 10.5220/0001758800050012