T. Hussain

Publications (5)0 Total impact

• Conference Proceeding: Risk-Based Testing of Safety-Critical Embedded Systems Driven by Fault Tree Analysis

  J. Kloos, T. Hussain, R. Eschbach
  [show abstract] [hide abstract]
  ABSTRACT: One important aspect of the quality assurance process of safety-critical embedded systems is verifying the appropriateness, correctness of the implementation and effectiveness of safety functions. Due to the rapid growth in complexity, manual verification activities are no longer feasible. This holds especially for testing. A popular method for testing such complex systems is model-based testing. Recent techniques for model-based testing do not sufficiently take into consideration the information derived from the safety analyses like Failure Mode and Effect Analysis and Fault Tree Analyses (FTA). In this paper, we describe an approach to use the results of FTA during the construction of test models, such that test cases can be derived, selected and prioritized according to the severity of the identified risks and the number of basic events that cause it. This approach is demonstrated on an example from the automation domain, namely a modular production system. We find that the method provides a significant increase in coverage of safety functions, compared to regular model based testing.
  Software Testing, Verification and Validation Workshops (ICSTW), 2011 IEEE Fourth International Conference on; 04/2011
• Conference Proceeding: Automated fault tree generation and risk-based testing of networked automation systems

  T. Hussain, R. Eschbach
  [show abstract] [hide abstract]
  ABSTRACT: In manufacturing automation domain safety and availability are the most important factors to ensure productivity. In modern software intensive networked automation systems it became quite hard to ensure which non-functional requirements are related to these factors as well as whether these are satisfied or not. This is due to the prevalence of manual efforts in several analyses phases where complexity of the system often makes it hard to obtain comprehensive overview and thus makes it difficult to ascertain the presence of certain undesired consequences. Since design, development and following verification and validation activities are largely dependent upon the result of the analyses the product is largely affected. To address these problems automated fault tree generation is presented in this paper. It uses distinct modeling artifacts and information to automatically compose formal models of the system. Embedding hardware and network failures it is then ascertained through model checking whether the system satisfies certain safety and availability properties or not. This information is used to compose the fault tree. Proposed approach will improve completeness and correctness in fault trees and will consequently help in improving the quality of the system. Furthermore, it is also shown how the artifacts of this analysis can be used to produce test goals and test cases to validate the software constituents of the system and assure traceability between testing activity and safety requirements.
  Emerging Technologies and Factory Automation (ETFA), 2010 IEEE Conference on; 10/2010
• Article: Komposition von Benutzungsmodellen: Anforderungen und Konzeption

  T. Bauer, R. Eschbach, T. Hussain, J. Kloos, F. Zimmermann
  [show abstract] [hide abstract]
  ABSTRACT: Beim modellbasierten Testen komplexer Systeme stößt man häufig auf das Problem, dass die Modellierung des Benutzer- und Umgebungsverhaltens in einem einzigen Modell nur sehr umständlich durchzuführen ist. Die Möglichkeiten zur Wiederverwendung und Modellevolution sind außerdem sehr gering. Aus diesem Grund wird untersucht, in welcher Form man Benutzungsmodelle mit Hilfe kompositionaler Methoden aus einfacheren Modellen zusammensetzen kann. Inhalt dieses Dokuments sind sowohl die mit Industriepartnern ermittelten Anforderungen an diese Technik als auch ein Konzept, wie man Modelle in einer für die Durchführung der Komposition zuträglichen Art darstellen kann. In den folgenden Dokumenten werden dann die entsprechenden Spezifikationstechniken, Auswertungsverfahren und Werkzeuge dokumentiert.
• Article: Komposition von Benutzungsmodellen: Operatoren und Anwendungsbeispiele

  T. Bauer, R. Eschbach, T. Hussain, J. Kloos, F. Zimmermann
  [show abstract] [hide abstract]
  ABSTRACT: Beim modellbasierten Testen komplexer Systeme stößt man häufig auf das Problem, dass die Modellierung des Benutzer- und Umgebungsverhaltens in einem einzigen Modell nur sehr umständlich durchzuführen ist und dass die Möglichkeiten zur Wiederverwendung und Modellevoluation sehr gering sind. Aus diesem Grund untersuchen wir, in welcher Form man Benutzungsmodelle mit Hilfe kompositionaler Methoden aus einfacheren Modellen zusammensetzen kann.
  Fraunhofer IESE.
• Article: Komposition von Benutzungsmodellen: Spezifikation und Testtechniken

  T. Bauer, R. Eschbach, T. Hussain, J. Kloos, F. Zimmermann
  Fraunhofer IESE.