Improving model-based verification of embedded systems by analyzing component dependences

Embedded systems in automobiles become increasingly complex as they are intended to make vehicles even more safe, comfortable, and efficient. International norms like ISO 26262 and IEC 61165 postulate methods for the development and verification of safety critical systems. These standards should ensure that the dependability and quality of the embedded systems is maintained while their complexity and interdependence increases. Yet, the standards do not contain concrete methods or tools for their fulfillment. As concerns classic techniques for dependability analysis they either base on system analysis by means of Markov analysis or on reliability estimation from a usage perspective. Treating the system only from one perspective, however, is a drawback as the system analysis neglects functional or non-functional dependences of the system. These dependences can directly influence the reliability in the field usage. In this paper we present our approach to combine component dependency models with usage models to overcome these deficiencies. It is possible to identify usage scenarios which aim for critical dependences and to analyze the interaction of components inside the system. On the other hand usage scenarios can be assessed whether they meet the desired verification purpose. The component dependency models reveal dependences that were not identified before, because it allows the extraction of implications across functional and non functional dependences like memory, timing and processor utilization.

[1]  Stacy J. Prowell,et al.  Computing system reliability using Markov chain usage models , 2004, J. Syst. Softw..

[2]  Antonia Bertolino,et al.  Software Testing for Dependability Assessment , 1995, Objective Software Quality.

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

[4]  Norman F. Schneidewind,et al.  Reliability and risk analysis for software that must be safe , 1996, Proceedings of the 3rd International Software Metrics Symposium.

[5]  Tsutomu Ishida,et al.  Metrics and Models in Software Quality Engineering , 1995 .

[6]  Jesse H. Poore,et al.  Statistical testing of software based on a usage model , 1995, Softw. Pract. Exp..

[7]  Stacy J. Prowell Using Markov Chain Usage Models to Test Complex Systems , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.

[8]  Jeff Tian,et al.  Software quality engineering - testing, quality assurance, and quantifiable improvement , 2005 .

[9]  Yves Le Traon,et al.  Testability analysis of a UML class diagram , 2002, Proceedings Eighth IEEE Symposium on Software Metrics.

[10]  Seonghun Lee,et al.  Test methods of the AUTOSAR application software components , 2009, 2009 ICCAS-SICE.

[11]  Reinhard German,et al.  Introduction of time dependencies in usage model based testing of complex systems , 2010, 2010 IEEE International Systems Conference.

[12]  Christian Berger,et al.  Formal specification and systematic model-driven testing of embedded automotive systems , 2011, 2011 Design, Automation & Test in Europe.

[13]  Vernon Rego,et al.  A Time/Structure Based Model for Estimating Software Reliability , 1992 .

[14]  Yanping Chen,et al.  Effective test metrics for test strategy evolution , 2004, CASCON.