참고문헌 (47)

1. R Adler 312 2011 Models in Software Engineering 10.1007/978-3-642-21210-9_30 Adler, R., Domis, D., Höfig, K., Kemmann, S., Kuhn, T., Schwinn, J.P., Trapp, M.: Integration of component fault trees into the UML. In: Dingel, J., Solberg, A. (eds.) Models in Software Engineering, pp. 312-327. Springer, New York (2011) 

   

2. Int. J. Adv. Secur. JI Aizpurua 6 1 & 2 12 2013 Aizpurua, J.I., Muxika, E.: Model-based design of dependable systems: limitations and evolution of analysis and verification approaches. Int. J. Adv. Secur. 6(1 & 2), 12-31 (2013) 

3. Safety JI Aizpurua 2 2 9 2016 10.3390/safety2020009 Aizpurua, J.I., Muxika, E., Papadopoulos, Y., Chiacchio, F., Manno, G.: Application of the D3H2 methodology for the cost-effective design of dependable systems. Safety 2(2), 9 (2016) 

   상세보기

4. J. Softw. Eng. Appl. B Alshboul 11 204 2018 10.4236/jsea.2018.115013 Alshboul, B., Petriu, D.: Automatic derivation of fault tree models from SysML models for safety analysis. J. Softw. Eng. Appl. 11, 204-222 (2018). https://doi.org/10.4236/jsea.2018.115013 

   상세보기

5. 10.1109/ISSREW.2016.15 Amarnath, R., Munk, P., Thaden, E., Nordmann, A., Burton, S.: Dependability challenges in the model-driven engineering of automotive systems. In: Proceedings of the International Symposium on Software Reliability Engineering Workshops (ISSREW) (2016) 

   

6. 2017 Recent Advances in Evolutionary Multi-objective Optimization Bechikh, S., Datta, R., Gupta, A. (eds.): Recent Advances in Evolutionary Multi-objective Optimization. Wiley, New York (2017) 

7. 10.1002/j.2334-5837.2018.00551.x Biggs, G., Juknevicius, T., Armonas, A., Post, K.: Integrating safety and reliability analysis into MBSE: overview of the new proposed OMG standard. In; INCOSE International Symposium, vol. 28, no. 1, pp. 1322-1336 (2018). https://doi.org/10.1002/j.2334-5837.2018.00551.x 

   상세보기

8. Procedia Comput. Sci. JY Choley 95 32 2016 10.1016/j.procs.2016.09.290 Choley, J.Y., Mhenni, F., Nguyen, N., Baklouti, A.: Topology-based safety analysis for safety critical CPS. Procedia Comput. Sci. 95, 32-39 (2016). https://doi.org/10.1016/j.procs.2016.09.290 

   상세보기

9. K Clegg 85 2019 Computer Safety, Reliability, and Security 10.1007/978-3-030-26601-1_6 Clegg, K., Li, M., Stamp, D., Grigg, A., McDermid, J.: A SysML profile for fault trees-linking safety models to system design. In: Romanovsky, A., Troubitsyna, E., Bitsch, F. (eds.) Computer Safety, Reliability, and Security, pp. 85-93. Springer, New York (2019) 

   

10. Prog. Nucl. Energy Y Deng 85 192 2015 10.1016/j.pnucene.2015.06.019 Deng, Y., Wang, H., Guo, B.: BDD algorithms based on modularization for fault tree analysis. Prog. Nucl. Energy 85, 192-199 (2015) 

    상세보기

11. 10.1007/978-3-540-87698-4_8 Domis, D., Trapp, M.: Integrating safety analyses and component-based design. In: Proceedings of the 27th International Conference on Computer Safety, Reliability, and Security, pp. 58-71 (2008) 

    상세보기

12. 10.1007/978-3-030-32872-6_9 Greiner, S., Munk, P., Nordmann, A.: Compositionality of component fault trees. In: Proceedings of 6th International Symposium on Model Based Safety and Assessment (IMBSA) (2019) 

    

13. Grunske, L.: Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf. Ph.D. thesis, Universität Potsdam (2004) 

14. 10.1145/2432631.2432635 Helle, P.: Automatic SysML-based safety analysis. In: Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, pp. 19-24 (2012) 

    

15. 10.1109/RAM.2018.8463058 Höfig, K., Joanni, A., Zeller, M., Montrone, F., Rothfelder, M., Amarnath, R., Munk, P., Nordmann, A.: Model-based reliability and safety: reducing the complexity of safety analyses using component fault trees. In: Proceedings of the Annual Reliability & Maintainability Symposium (RAMS) (2018) 

    

16. 10.1109/SEAA.2015.26 Höfig, K., Zeller, M., Heilmann, R.: Alfred: a methodology to enable component fault trees for layered architectures. In: Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, pp. 167-176 (2015) 

    

17. International Electrotechnical Commission (IEC): IEC 60812: Analysis techniques for system reliability-procedure for failure mode and effects analysis (FMEA) (2006) 

18. International Standard Organization (ISO 26262): Road vehicles-functional safety (2018) 

19. 10.1109/DSN.2016.35 Junges, S., Guck, D., Katoen, J.P., Stoelinga, M.: Uncovering dynamic fault trees. In: Proceedings of 46th Annual International Conference on Dependable Systems and Networks, pp. 299-310 (2016) 

    

20. 10.1007/978-3-319-64119-5_11 Kabir, S., Papadopoulos, Y., Walker, M., Parker, D., Aizpurua, J.I., Lampe, J., Rüde, E.: A model-based extension to HiP-HOPS for dynamic fault propagation studies. In: Proceedings of the International Symposium on Model-Based Safety and Assessment, pp. 163-178 (2017) 

    

21. Reliab. Eng. Syst. Saf. B Kaiser 92 11 1521 2007 10.1016/j.ress.2006.10.010 Kaiser, B., Gramlich, C., Förster, M.: State/event fault trees-a safety analysis model for software-controlled systems. Reliab. Eng. Syst. Saf. 92(11), 1521-1537 (2007) 

    상세보기

22. Kaiser, B., Liggesmeyer, P., Mäckel, O.: A new component concept for fault trees. In: Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software, pp. 37-46 (2003) 

23. 10.1201/9781351174664-103 Kaiser, B., Schneider, D., Adler, R., Domis, D., Möhrle, F., Berres, A., Zeller, M., Höfig, K., Rothfelder, M.: Advances in component fault trees. In: Proceedings of ESREL (2018) 

    

24. 10.1007/978-3-030-32872-6_4 Kaleeswaran, A.P., Munk, P., Sarkic, S., Vogel, T., Nordmann, A.: A domain specific language to support HAZOP studies of SysML models. In: Proceedings of 6th International Symposium on Model Based Safety and Assessment (IMBSA) [in press] (2019) 

    

25. 10.1109/ICRMS.2011.5979344 Lisagor, O., Kelly, T., Niu, R.: Model-based safety assessment: review of the discipline and its challenges. In: Proceedings of the 9th International Conference on Reliability, Maintainability and Safety, pp. 625-632 (2011) 

    

26. 10.1109/SysEng.2015.7302764 Mhenni, F., Choley, J.Y., Nguyen, N.: SysML extensions for safety-critical mechatronic systems design. In: Proceedings of the International Symposium on Systems Engineering, pp. 242-247 (2015) 

    

27. 10.1109/AIM.2014.6878163 Mhenni, F., Nguyen, N., Choley, J.Y.: Automatic fault tree generation from SysML system models. In: Proceedings of the International Conference on Advanced Intelligent Mechatronics (2014) 

    

28. Möhrle, F., Zeller, M., Höfig, K., Rothfelder, M., Liggesmeyer, P.: Towards automated design space exploration for safety-critical systems using type-annotated component fault trees. In: Proceedings of the International Symposium on Model-Based Safety and Assessment, Demo Sessions (2017) 

29. Z Mian 91 2015 Dependability Problems of Complex Information Systems 10.1007/978-3-319-08964-5_6 Mian, Z., Bottaci, L., Papadopoulos, Y., Sharvia, S., Mahmud, N.: Model transformation for multi-objective architecture optimisation of dependable systems. In: Zamojski, W., Sugier, J. (eds.) Dependability Problems of Complex Information Systems, pp. 91-110. Springer, New York (2015) 

    

30. 10.1145/3195970.3199857 Munk, P., Abele, A., Thaden, E., Nordmann, A., Amarnath, R., Schweizer, M., Burton, S.: INVITED: semi-automatic safety analysis and optimization. In: Proceedings of the Design Automation Conference (DAC) (2018) 

    

31. Nordmann, A., Munk, P.: Lessons learned from model-based safety assessment with SysML and component fault trees. In: Proceedings of the International Conference on Model Driven Engineering Languages and Systems (MODELS), pp. 134-143. (2018). 10.1145/3239372.3239373 

32. Object Management Group (OMG): Systems Modeling Language Version 1.4 (2015). http://www.omg.org/spec/SysML/1.4/. Accessed 30 Oct 2019 

33. Y Papadopoulos 139 1999 Computer Safety, Reliability and Security 10.1007/3-540-48249-0_13 Papadopoulos, Y., McDermid, J.A.: Hierarchically performed hazard origin and propagation studies. In: Felici, M., Kanoun, K. (eds.) Computer Safety, Reliability and Security, pp. 139-152. Springer, New York (1999) 

    

34. Eng. Fail. Anal. Y Papadopoulos 18 2 590 2011 10.1016/j.engfailanal.2010.09.025 Papadopoulos, Y., Walker, M., Parker, D., Rüde, E., Hamann, R., Uhlig, A., Grätz, U., Lien, R.: Engineering failure analysis and design optimisation with HiP-HOPS. Eng. Fail. Anal. 18(2), 590-608 (2011) 

    상세보기

35. 10.1145/1772643.1772646 Papadopoulos, Y., Walker, M., Reiser, M.O., Weber, M., Chen, D., Törngren, M., Servat, D., Abele, A., Stappert, F., Lonn, H., Berntsson, L., Johansson, R., Tagliabo, F., Torchiaro, S., Sandberg, A.: Automatic allocation of safety integrity levels. In: Proceedings of the 1st Workshop on Critical Automotive Applications: Robustness & Safety (CARS), pp. 7-10 (2010). https://doi.org/10.1145/1772643.1772646 

    

36. Commun. ACM M Petre 38 6 33 1995 10.1145/203241.203251 Petre, M.: Why looking isn’t always seeing: readership skills and graphical programming. Commun. ACM 38(6), 33-44 (1995) 

    상세보기

37. Robert Bosch GmbH: The BRS boost recuperation system: increased power, enhanced comfort and lower fuel consumption. https://www.bosch-presse.de/pressportal/de/media/migrated_download/de/BRS_Broschuere_RZ_en.pdf. Accessed 30 Oct 2019 

38. Comput. Sci. Rev. E Ruijters 15-16 29 2015 10.1016/j.cosrev.2015.03.001 Ruijters, E., Stoelinga, M.: Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools. Comput. Sci. Rev. 15-16, 29-62 (2015) 

    상세보기

39. S Sharvia 251 2016 Software Quality Assurance 10.1016/B978-0-12-802301-3.00012-0 Sharvia, S., Kabir, S., Walker, M., Papadopoulos, Y.: Model-based dependability analysis: State-of-the-art, challenges, and future outlook. In: Mistrik, I., Soley, R., Ali, N., Grundy, J., Tekinerdogan, B. (eds.) Software Quality Assurance, pp. 251-278. Morgan Kaufmann, Burlington (2016) 

    

40. Verband der Automobilindustrie e. V.: Quality management in the automobile industry-quality assurance in the process landscape-general, risk analyses, methods, process models: Volume 4-product- and process-FMEA (2012) 

41. J. Object Technol. M Völter 8 6 79 2009 10.5381/jot.2009.8.6.c6 Völter, M.: Best practices for DSLs and model-driven development. J. Object Technol. 8(6), 79-102 (2009) 

    상세보기

42. Softw. Syst. Model M Völter 18 2507 2018 10.1007/s10270-018-0679-0 Völter, M., Kolb, B., Birken, K., Tomassetti, F., Alff, P., Wiart, L., Wortmann, A., Nordmann, A.: Using language workbenches and domain-specific languages for safety-critical software development. Softw. Syst. Model 18, 2507-2530 (2018) 

    상세보기

43. Völter, M., Lisson, S.: Supporting diverse notations in MPS’ projectional editor. In: Proceedings of GEMOC@MoDELS, pp. 7-16 (2014) 

44. Int. J. Passeng. Cars Mech. Syst. M Walker 2 791 2009 10.4271/2009-01-0738 Walker, M., Papadopoulos, Y., Parker, D., Lönn, H., Törngren, M., Chen, D., Johannson, R., Sandberg, A.: Semi-automatic FMEA supporting complex systems with combinations and sequences of failures. Int. J. Passeng. Cars Mech. Syst. 2, 791-802 (2009) 

    상세보기

45. J. Syst. Softw. M Walker 86 10 2467 2013 10.1016/j.jss.2013.04.001 Walker, M., Reiser, M.O., Tucci-Piergiovanni, S., Papadopoulos, Y., Lönn, H., Mraidha, C., Parker, D., Chen, D., Servat, D.: Automatic optimisation of system architectures using EAST-ADL. J. Syst. Softw. 86(10), 2467-2487 (2013) 

    상세보기

46. Yakymets, N., Jaber, H., Lanusse, A.: Model-based system engineering for fault tree generation and analysis. In: Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development (2013) 

47. 10.1109/ICSRS.2018.8688854 Zeller, M., Montrone, F.: Combination of component fault trees and markov chains to analyze complex, software-controlled systems. In: International Conference on System Reliability and Safety (ICSRS) (2018). https://doi.org/10.1109/ICSRS.2018.8688854