METRIC SUITE FOR DIRECTING THE FAILURE MODE ANALYSIS OF EMBEDDED SOFTWARE SYSTEMS

Guido Menkhaus, Brigitte Andrich

Abstract

Studies have found that reworking defective requirements, design, and code typically consumes up to 50 percent of the total cost of software development. A defect has a high impact when it has been inserted in the design and is only detected in a later phase of a project. This increases project cost, time and may even jeopardize the success of a project. More time needs to be spent on analysis of the design of the project. When analysis techniques are applied on the design of a software system, the primary objective is to anticipate potential scenarios of failure in the system. The detection of defects that may cause failures and the correction is more cost effective in the early phases of the software lifecycle, whereas testing starts late and defects found during testing may require massive rework. In this article, we present a metric suite that guides the analysis during the risk assessment of failure modes. The computation of the metric suite bases on Simulink models. We provide tool support for this activity.

References

  1. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., and Yi, W. (2002). Times - A Tool for Modelling and Implementation of Embedded Systems. In Proceedings of 8th International Conference, TACAS 2002, volume 2280 of LNCS Springer, pages 460 - 464.
  2. Brown, A. (2004). An Introduction into Model Driven Architecture. Technical report, IBM.
  3. Burnard, A. (2004). Verifying and Validating Automatically Doerenberg, F. (2004). Analysis and Synthesis of Dependable Computing and Communication Systems, chapter Dependability Impairments: Faults, Errors and Failures. www.nonstopsystems.com. to be published.
  4. Fenelon, P., McDermid, J., Nicholson, M., and Pumfrey, D. (1994). Towards Integrated Safety Analysis and Design. ACM Computing Reviews, 2(1):21 - 32.
  5. Freeman, L. (1977). A set of measures of centrality based on betweenness. Sociometry, 40:35 - 41.
  6. Goddard, P. L. (2000). Software FMEA Techniques. In IEEE Proceedings Annual Reliability and Maintainability Symposium.
  7. Goseva-Popstojanova, K., Hassan, A., Abdelmoez, A. G. W., Nassar, D., Ammar, H., and Mili, A. (2003). Architectural-Level Risk Analysis Using UML. IEEE Transaction on Software Engineering, 29(10):946 - 960.
  8. Group, T. S. (1994 - 2004). CHAOS: A Recipe for Success. Technical report, The Standish Group.
  9. Gulden, C. (2004). Algorithmic analysis of large networks by computing structural indices. Technical report, Fachbereich Mathematik und Statistik, Universit├Ąt Konstanz, 78457 Konstanz, Germany.
  10. Hailpern, B. and Santhanam, P. (2002). Software debugging, testing and verification. IBM Systems Journal, 41(1):4-12.
  11. Halbwachs, N. (1997). Synchronous Programming of Reactive Systems. Kluwer.
  12. Hohmann, W. (2004). Supporting Model-Based Development with Unambiguous Specifications, Formal Verification and Correct-By-Construction Embedded Software. Technical report, Esterel Technologies.
  13. Horowitz, B., Liebman, J., Ma, C., Koo, T. J., SangiovanniVincentelli, A., and Sastry, S. (2003). PlatformBased Embedded Software Design and System Integration for Autonomous Vehicles. IEEE Transaction, 91(1):100 - 111.
  14. Kazman, R., Klein, M., and Clements, P. (1999). Evaluating Software Architectures for Real-Time Systems. Annals of Software Engineering, 7:71 - 93.
  15. Kopetz, H. (1997). Real-time Systems: Design Programming for Distributed Embedded Applications. Kluwer.
  16. Kopetz, H. and Bauer, G. (2003). The Time-Triggered Architecture. IEEE Special Issue on Modeling and Design of Embedded Software, 23(1).
  17. Lehmann, M. (2003). Software evolution - cause and effects. In Proceedings of the 9th International Stevens Awards at IEEE ICSM.
  18. Martin, R. (1995). OO Design Quality Metrics (An Analysis of Dependencies). ROAD.
  19. MathWorks (2004). Simulink. www.mathworks.com.
  20. McConnell, S. (1996). Software Quality at Top Speed. http://www.stevemcconnell.com/articles/art04.htm.
  21. Menkhaus, G., Holzmann, M., and Fischmeister, S. (2004). Time-triggered Communication for Distributed Control Applications in a Timed Computation Model. In Proceedings of DASC04.
  22. Montgomery, T., Pugh, D., Leedham, S., and Twitchett, S. (1996). FMEA Automation for the Complete Design Process. In IEEE Proc Annual Reliability and Maintainability Symposium, pages 30 - 36.
  23. Mukerji, J. (2001). Model driven architecture. Technical Report ormsc//01-07-01, OMG.
  24. Parkinson, H., Thomson, G., and Iwnicki, S. (1998). The development of an FMEA methodology for rolling stock remanufacture and software quality. ImechE Seminar Publication, 20:55 - 66.
  25. Pasetti, A. (2002). A Software Framework for Satellite Control Systems Methodology and Development. Springer, LNCS Serie.
  26. Pentti, H. and Atte, H. (2002). Failure mode and effects analysis of software-based automation systems. Technical Report STUK-YTO-TR 190, STUK, Helsinki.
  27. Sabidussi, G. (1966). The centrality index of a graph. Psychometrica, 31:581 - 603.
  28. SAE (2002). Surface vehicle recommended practice. Technical Report SAE-J1739, Society of Automotive Engineers, Warrendale, USA.
  29. Stein, C. et al. (2004a). A new suite of metrics for objectoriented software. Computer Science Department, University of Alabama in Huntsville, Huntsville, AL 35899 USA.
  30. Stein, C., Etzkorn, L., and Utley, D. (2004b). Computing Software Metrics from Design Documents. In ACMSE.
  31. Watson, A. H. and McCabe, T. J. (1996). Structured Testing: A Testing Methodology Using the Cyclomatic Complexity Metric. Technical Report NIST Spec. Publ. 500-235, National Institute of Standards and Technology, Gaithersburg.
  32. Yovine, S. (1997). A verification tool for real-time systems. International Journal of Software Tools for Technology Transfer, 1(1/2):123 - 133.
  33. Yovine, S. (1998). Embedded Systems, chapter Modelchecking timed automata. LNCS. Springer.
Download


Paper Citation


in Harvard Style

Menkhaus G. and Andrich B. (2005). METRIC SUITE FOR DIRECTING THE FAILURE MODE ANALYSIS OF EMBEDDED SOFTWARE SYSTEMS . In Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-19-8, pages 266-273. DOI: 10.5220/0002519902660273


in Bibtex Style

@conference{iceis05,
author={Guido Menkhaus and Brigitte Andrich},
title={METRIC SUITE FOR DIRECTING THE FAILURE MODE ANALYSIS OF EMBEDDED SOFTWARE SYSTEMS},
booktitle={Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2005},
pages={266-273},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002519902660273},
isbn={972-8865-19-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Seventh International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - METRIC SUITE FOR DIRECTING THE FAILURE MODE ANALYSIS OF EMBEDDED SOFTWARE SYSTEMS
SN - 972-8865-19-8
AU - Menkhaus G.
AU - Andrich B.
PY - 2005
SP - 266
EP - 273
DO - 10.5220/0002519902660273