A Combinatorial Approach for Exposing Off-Nominal Behaviors | IEEE Conference Publication | IEEE Xplore

A Combinatorial Approach for Exposing Off-Nominal Behaviors


Abstract:

Off-nominal behaviors (ONBs) have been a major concern in the areas of embedded systems and safety-critical systems. To address ONB problems, some researchers have propos...Show More

Abstract:

Off-nominal behaviors (ONBs) have been a major concern in the areas of embedded systems and safety-critical systems. To address ONB problems, some researchers have proposed model-based approaches that can expose ONBs by analyzing natural language requirements documents. While these approaches produced promising results, they require a lot of human effort and time. In this paper, to reduce human effort and time, we propose a combinatorial-based approach, Combinatorial Causal Component Model (Combi-CCM), which uses structured requirements patterns and combinations generated using the IPOG algorithm. We conducted an empirical study using several requirements documents to evaluate our approach, and our results indicate that the proposed approach can reduce human effort and time while maintaining the same ONB exposure ability obtained by the control techniques.
Date of Conference: 27 May 2018 - 03 June 2018
Date Added to IEEE Xplore: 02 September 2018
ISBN Information:
Electronic ISSN: 1558-1225
Conference Location: Gothenburg, Sweden

References

References is not available for this document.