Integrating safety analysis with functional modeling
Functional modeling and safety analysis are two important aspects of safety-critical
embedded systems. However, they are often conducted separately. In this paper, we present …
embedded systems. However, they are often conducted separately. In this paper, we present …
Automated risk-based testing by integrating safety analysis information into system behavior models
R Nazier, T Bauer - 2012 IEEE 23rd International Symposium …, 2012 - ieeexplore.ieee.org
The development of safety-critical software-intensive systems requires systematic quality
assurance on all stages of the development process. Executable development artifacts are …
assurance on all stages of the development process. Executable development artifacts are …
A case study of black box fail-safe testing in web applications
S Boukhris, A Andrews, A Alhaddad, R Dewri - Journal of Systems and …, 2017 - Elsevier
External failures like network changes can affect system operation negatively. Mitigation
requirements try to prevent or reduce their effects. This paper presents a black box testing …
requirements try to prevent or reduce their effects. This paper presents a black box testing …
Automatic seal verification using three-dimensional reference seals
R Haruki, T Horiuchi, H Yamada… - Proceedings of 13th …, 1996 - ieeexplore.ieee.org
The most important problem on automatic seal impression verification is to absorb the
various impression quality depending on the various affixing conditions. Over the past years …
various impression quality depending on the various affixing conditions. Over the past years …
Fail-safe testing of web applications
A Andrews, S Boukhris, S Elakeili - 2014 23rd Australian …, 2014 - ieeexplore.ieee.org
This paper proposes a genetic algorithm (GA) method to generate test scenarios for testing
proper fail-safe behavior for web applications. Unlike other approaches which combine fault …
proper fail-safe behavior for web applications. Unlike other approaches which combine fault …
A systematic approach for integrating fault trees into system statecharts
As software systems are encompassing a wide range of fields and applications, software
reliability becomes a crucial step. The need for safety analysis and test cases that have high …
reliability becomes a crucial step. The need for safety analysis and test cases that have high …
Fail-safe testing of safety-critical systems
A Gario… - 2014 23rd Australian …, 2014 - ieeexplore.ieee.org
This paper proposes an approach for testing of safety critical systems. It is based on a
behavioral and a fault model. The two models are analyzed for compatibility and necessary …
behavioral and a fault model. The two models are analyzed for compatibility and necessary …
[PDF][PDF] An Approach to Evaluate the Reliability of Web Applications in Cloud Computing Using Dynamic Fault Trees.
EK Meçe, E Driza - BCI (Local), 2013 - Citeseer
Nowadays, one of the main challenges in developing different systems is obtaining reliable
ones. So, preliminary studies of problematic atomic components which convert the system …
ones. So, preliminary studies of problematic atomic components which convert the system …
Research on safety analysis for airborne system based on extended functional model
Q Jiang, C Zhu, D Cao, C Huang… - Advances in Mechanical …, 2015 - journals.sagepub.com
With the widespread use of embedded system in safety critical areas, system safety
assurance has become one of the research hotspots of engineering technologies. System …
assurance has become one of the research hotspots of engineering technologies. System …
Cost-effective designs of field service for electronic systems
YT Lin, D Williams, T Ambler - IEEE International Conference …, 2005 - ieeexplore.ieee.org
Cost-effective designs of field service for electronic systems Page 1 INTERNATIONAL TEST
CONFERENCE 1 Paper 20.1 Cost-Effective Designs of Field Service for Electronic Systems …
CONFERENCE 1 Paper 20.1 Cost-Effective Designs of Field Service for Electronic Systems …