ABSTRACT
Safety assurance is a major challenge in the design of complex embedded and Cyber-physical Systems. Especially, changes and adoptions during the design or run-time of an embedded system invalidate former safety analyses and require an adaptation of the system's safety analysis models. In this paper, we present a methodology to fill up empty safety analysis artifacts in component fault trees using so-called inner port dependency traces to describe failure propagation. Thus, enabling a imprecise but rapid safety analysis of an entire system at early development stages or during system run-time for the automated certification of Cyber-physical Systems. We evaluate our approach using case study from the automotive domain.
- acatech - National Academy of Science and Engineering. Cyber-physical systems: Driving force for innovation in mobility, health, energy and production, 2011. Google ScholarDigital Library
- A. Bondavalli, I. Majzik, and I. Mura. Automated Dependability Analysis of UML Designs. IEEE Int. Symposium on Object-oriented Real-time distributed Computing, 2, 1999. Google ScholarDigital Library
- J.-L.BoulangerandV.Q.Dao.Experiencesfroma model-based methodology for embedded electronic software in automobile. In 3rd Int. Conf. on Information and Communication Technologies: From Theory to Applications (ICTTA), pages 1--6, 2008.Google Scholar
- M. Bretschneider, H. J. Holberg, E. Bode, and I. Bruckner. Model-based safety analysis of a flap control system. Proc. 14th Annual INCOSE Symposium, 2004.Google ScholarCross Ref
- T. Cichocki and J. Góorski. Failure mode and effect analysis for safety-critical systems with software components. In Proc. of the 19th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP), pages 382--394, 2000. Google ScholarDigital Library
- P.David,V.Idasiak,andF.Kratz.TowardsaBetter Interaction Between Design and Dependability Analysis: FMEA Derived From UML/SysML Models. In Safety, Reliability and Risk Analysis: Theory, Methods and Applications, pages 2259--2266, 2008.Google Scholar
- M. A. de Miguel, J. F. Briones, J. P. Silva, and A. Alonso. Integration of safety analysis in model-driven software development. Software, IET, 2(3):260--280, 2008.Google ScholarCross Ref
- H. Giese, M. Tichy, and D. Schilling. Compositional hazard analysis of uml component and deployment models. In Proc. of the 23rd Int. Conf. on Computer Safety, Reliability, and Security (SAFECOMP), pages 166--179, 2004.Google ScholarCross Ref
- L. Grunske and B. Kaiser. Automatic generation of analyzable failure propagation models from component-level failure annotations. In 5th Int. Conf. on Quality Software (QSIC),pages 117--123, 2005. Google ScholarDigital Library
- International Electrotechnical Commission (IEC). IEC 61508: Functional safety of electrical/electronic/programmable electronic safety related systems, 1998.Google Scholar
- A. Joshi, S. P. Miller, M. Whalen, and M. P. E. Heimdahl. A proposal for model-based safety analysis. 24th AIAA/IEEE Digital Avionics Systems Conference, 2005.Google ScholarCross Ref
- J.Jung,A.Jedlitschka,K.Höfig, D. Domis, and M. Hiller. A controlled experiment on component fault trees. In Proc. of the 19th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP),pages 285--292, 2013. Google ScholarDigital Library
- B. Kaiser, P. Liggesmeyer, and O. Mäckel. A new component concept for fault trees. In SCS ?03: Proc. of the 8th Australian Workshop on Safety critical systems and software, pages 37--46, 2003. Google ScholarDigital Library
- O. Lisagor, J. A. McDermid, U. K. York, and D. J. Pumfrey. Towards a Practicable Process for Automated Safety Analysis. 24th Int. System Safety Conf., 2006.Google Scholar
- J. McDermid and T. Kelly. Software in Safety Critical Systems: Achievement and Prediction, 2006. University of York, UK.Google Scholar
- Y. Papadopoulos and M. Maruhn. Model-Based Automated Synthesis of Fault Trees from Matlab.Simulink Models. Int. Conf. on Dependable Systems and Networks, 2001. Google ScholarDigital Library
- Y. Papadopoulos and J. A. McDermid. Hierarchically Performed Hazard Origin and Propagation Studies. Computer Safety, Reliability and Security, 1999. Google ScholarDigital Library
- Y. Papadopoulos, J. A. McDermid, R. Sasse, and G. Heiner. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Int. Journal of Reliability Engineering and System Safety, 71(3):229--247, 2001.Google ScholarCross Ref
- Y. Papadopoulos, D. Parker, and C. Grante. Automating the failure modes and effects analysis of safety critical systems. In Int. Symposium on High-Assurance Systems Engineering (HASE 2004), pages 310--311, 2004. Google ScholarDigital Library
- A. Rae and P. Lindsay. A behaviour-based method for fault tree generation. Proc.ofthe22ndInt.System Safety Conf., pages 289--298, 2004.Google Scholar
- K. Schorp and S. Sommer. Component-Based Modeling and Integration of Automotive Application Architectures. Proc. of the IEEE Int. Electric Vehicle Conf. (IEVC), 2014.Google ScholarCross Ref
- G. Szabo and G. Ternai. Automatic Fault Tree Generation as a Support for Safety Studies of Railway Interlocking Systems. IFAC Symposium on Control in Transportation Systems, 2009.Google Scholar
- W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl. Fault Tree Handbook. U. S. Nuclear Regulatory Commission, 1996.Google Scholar
Index Terms
- Automated Failure Propagation using Inner Port Dependency Traces
Recommendations
ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures
SEAA '15: Proceedings of the 2015 41st Euromicro Conference on Software Engineering and Advanced ApplicationsIdentifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts to save time ...
On groupthink in safety analysis: an industrial case study
ICSE-SEIP '18: Proceedings of the 40th International Conference on Software Engineering: Software Engineering in PracticeContext: In safety-critical systems, an effective safety analysis produces high-quality safety requirements and ensures a safe product from an early stage. Motivation: In safety-critical industries, safety analysis happens mostly in groups. The ...
Towards applying a safety analysis and verification method based on STPA to agile software development
CSED '16: Proceedings of the International Workshop on Continuous Software Evolution and DeliveryAgile methodologies are becoming widespread in modern software development. However, due to a lack of safety assurance activities, agile methods are criticized for being inadequate for the development of safe software. Safety analysis and safety ...
Comments