Verification and Validation Activities for Embedded Systems - A Feasibility Study on a Reading Technique for SysML Models

Erik Aceiro Antonio, Rafael Rovina, Sandra C. P. F. Fabbri

Abstract

Embedded Systems play an important role on today's interconnected world. However, there is a gap in relation to Verification and Validation (V&V) activities for Embedded Systems, particularly when they are designed with SysML models. Hence, the objective of this paper is to present a feasibility study on a Reading Techniques for detecting defects in SysML models. This technique is part of a family of reading techniques for inspecting Requirement Diagrams and State Machine Diagrams which are SysML models designed along the SYSMOD development process. The definition of these techniques required the establishment of a defects taxonomy, which was based on three sources: i) the certification standards for embedded systems UL-98 and DO-178C; ii) the Failure Mode and Effects Analysis (FMEA); and iii) the syntactic and semantic elements available in the formalism of the SysML language. A feasibility study was carried out to evaluate the effectiveness and efficiency of one of the techniques. From a total of 26 subjects, 50% have found an average of 72% of defects and spent an average of 48 minutes.

References

  1. Albaker, B. M., Rahim, N. A., 2010. Unmanned aircraft collision detection and resolution: Concept and survey, in: Industrial Electronics and Applications (ICIEA), 2010 the 5th IEEE Conference On. pp. 248-253.
  2. Basili, V., Green, S., Laitenberger, O., Shull, F., Zelkowitz, M.V., 1996. The Empirical Investigation of Perspective-Based Reading.
  3. Daniels, D., 2011. Thoughts from the DO-1'C committee, in: System Safety, 2011 6th IET International Conference On. pp. 1-7.
  4. Denger, C., Ciolkowski, M., 2003. High Quality Statecharts through Tailored, Perspective-Based Inspections, in: EUROMICRO Conference. IEEE Computer Society, Los Alamitos, CA, USA, p. 316.
  5. Desai, M., 1998. UL 1998 - Software in Programmable Components. Underwriters Laboratories Inc., Research Triangle Park, North Carolina Laura Elan.
  6. Fagan, M.E., 1976. Design and Code Inspections to Reduce Errors in Program Development. IBM Systems Journal 15.
  7. Graaf, B., Lormans, M., Toetenel, H., 2003. Embedded software engineering: the state of the practice. IEEE Software 20, 61- 69.
  8. IEEE, 2010. IEEE Standard Classification for Software Anomalies. IEEE Std 1044-2009 (Revision of IEEE Std 1044-1993) 1-23.
  9. Kitchenham, B., 2004. Procedures for Performing Systematic Reviews. Technical Report TR/SE-0401. Dep. of Computer Science, Keele University, UK.
  10. Liggesmeyer, P., Trapp, M., 2009. Trends in Embedded Software Engineering. IEEE Softw. 26, 19-25.
  11. Marucci, R. A., Maldonado, J. C., Travassos, G. H. and Fabbri, S. C. P. F., 2002. OORTs/ProDeS: Definição de Técnicas de Leitura para um Processo de Software Orientado a Objetos. in: 1st. Brazilian Symposium of Software Quality. Gramado, Brazil.
  12. OMG, 2010. OMG Systems Modeling Language?: The Official OMG SysML site (2010) [WWW Document]. OMG Systems Modeling Language?: The Official OMG SysML site. URL http://www.omgsysml.org/ (accessed 3.23.12).
  13. OMG, 2011. UML Profile for MARTE: Modelling and Analysis of Real-Time Embedded Systems v 1.1 (2011a) [WWW Document]. URL http://www. omg.org/spec/MARTE/1.1 (accessed 3.23.12).
  14. Pastor, O., Molina, J.C., 2007. Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling. Springer.
  15. Pentti, H., Atte, H., 2002. Failure Mode and Effects Analysis of software-based automation systems, in: VTT Industrial Systems, STUK-YTO-TR 190. p. 190.
  16. Petersen, K., Feldt, R., Mujtaba, S. and Mattsson, M., 2008. Systematic Mapping Studies in Software engineering. in: International Conference on Evaluation and Assessment in Software Engineering (EASE),. Bari, Italy, p. 71-80 Jun. 2008.
  17. Shull, F., Carver, J., Travassos, G.H., 2001. An empirical methodology for introducing software processes. SIGSOFT Softw. Eng. Notes 26, 288-296.
  18. Travassos, G.H., Shull, F., Carver, J., 2000. A Family of Reading Techniques for OO Design Inspections.
  19. UL, 1998. Underwriters Laboratories Standards [WWW Document]. URL http://www.ul.com/ (accessed 9.30.13).
  20. Weilkiens, T., 2008. Systems Engineering with SysML/UML: Modeling, Analysis, Design. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
  21. Wohlin, C., Runeson, P., Host, M., Ohlsson, C., Regnell, B., Wesslén, A., 2000. Experimentation in Software Engineering: an Introduction. Kluver Academic Publishers.
Download


Paper Citation


in Harvard Style

Aceiro Antonio E., Rovina R. and C. P. F. Fabbri S. (2014). Verification and Validation Activities for Embedded Systems - A Feasibility Study on a Reading Technique for SysML Models . In Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-758-028-4, pages 233-240. DOI: 10.5220/0004887302330240


in Bibtex Style

@conference{iceis14,
author={Erik Aceiro Antonio and Rafael Rovina and Sandra C. P. F. Fabbri},
title={Verification and Validation Activities for Embedded Systems - A Feasibility Study on a Reading Technique for SysML Models},
booktitle={Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2014},
pages={233-240},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004887302330240},
isbn={978-989-758-028-4},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 16th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - Verification and Validation Activities for Embedded Systems - A Feasibility Study on a Reading Technique for SysML Models
SN - 978-989-758-028-4
AU - Aceiro Antonio E.
AU - Rovina R.
AU - C. P. F. Fabbri S.
PY - 2014
SP - 233
EP - 240
DO - 10.5220/0004887302330240