연구동향 분석
박사

안전중시 시스템 설계에서 안전과 성능을 동시에 고려한 설계대안 들의 평가 및 검증 = Assessment and Verification of Design Alternatives for Safety-Critical Systems with Safety and Performance Considered Simultaneously

정호전 2019년

논문상세정보
인용/피인용
' 안전중시 시스템 설계에서 안전과 성능을 동시에 고려한 설계대안 들의 평가 및 검증 = Assessment and Verification of Design Alternatives for Safety-Critical Systems with Safety and Performance Considered Simultaneously' 의 주제별 논문영향력
논문영향력 선정 방법
논문영향력 요약
주제
  • Design Alternatives Assessment
  • Modeling and Simulation
  • safety design
  • sysml
동일주제 총논문수 논문피인용 총횟수 주제별 논문영향력의 평균
79 0

0.0%

' 안전중시 시스템 설계에서 안전과 성능을 동시에 고려한 설계대안 들의 평가 및 검증 = Assessment and Verification of Design Alternatives for Safety-Critical Systems with Safety and Performance Considered Simultaneously' 의 참고문헌

  • Y. Papadopoulos, M. Walker, D. Parker, E. R de, R. Hamann, A. Uhlig, U. Gr tz, and R. Lien, "Engineering failure analysis and design optimisation with HiP-HOPS," Engineering Failure Analysis, vol. 18, no. 2, pp. 590-608, Mar. 1, 2011.
  • Y. Papadopoulos, J. Mcdermid, R. Sasse, and G. Heiner, "Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure," Reliability Engineering and System Safety, vol. 71, no. 3, pp. 229-247, Mar. 2001.
  • W. Siting and L. YI, "A survey of system safety technique of commercial aircraft," in Proc. Reliability, Maintainability and Safety (ICRMS), 2011 9th International Conference, Guiyang, China, Jun. 12-15, 2011, pp. 504-512.
  • V. Rupanov, C. Buckl, L. Fiege, M. Armbruster, A. knoll, and G. Spiegelberg, "Employing early model-based safety evaluation to iteratively derive E/E architecture design," Science of Computer Programming, vol. 90, pp. 161-179, Sep. 15, 2014.
  • Thomas Johnson, Aleksandr Kerzhner, Christiaan Paredis, and Roger Burkhart, "Integrating models and simulations of continuous dynamics into SysML," Journal of Computing and Information Science in Engineering, vol. 12, no. 1, Mar. 30, 2012.
  • T. Pasquale, E. Rosaria, M. Pietro, O. Antonio, and A. Segnalamento Ferroviario, "Hazard analysis of complex distributed railway systems," in Proc. Reliable Distributed Systems, 2003. Proceedings. 22nd International Symposium on, Oct 6, 2003, pp. 283-292.
  • T. Kurtoglu, I. Tumer, and D. Jensen, "A functional failure reasoning methodology for evaluation of conceptual system architecture," Research in Engineering Design, vol. 21, no. 4, pp. 209-234, Oct. 2010.
  • T. Kurtoglu and I. Tumer, "FFIP: a framework for early assessment of functional failures in complex systems," in Proc. International Conference on Engineering Design, ICED'07, Paris, France, Aug 28- 31, 2007.
  • Systems and Software Engineering - System Life Cycle Processes, ISO/IEC Standard, ISO/IEC 15288, 2008.
  • Systems Enigneering Management, Department of Defense Standard, 499B, 1993.
  • System modling language, Object Management Group Standard, 2015.
  • StanfordFriedenthal, "Modeling system interfaces with SysML v1.3," in 2011 Frontiers in Model- Based Systems Engineering, Atlanta, GA, Apr. 27, 2011.
  • Safety of machinery - Functional safety of safety related e/e/pe control systems, International Electrotechnical Commission Standard, IEC 62061, 2005.
  • Safety Management Manual(SMM), ICAO(International Civil Aviation Organization), 3rd ed., 2013.
  • Safety Aspects - Guidelines for their Inclusion in Standards, ISO/IEC Standard, Guide 51, 2014.
  • S. Sierla, I. Tumer, N. Papakonstaninou, K. Koskinen, and D. Jensen, "Early integration of safety to the mechatronic system design process by the functional failure identification and propagation framework," Mechatronics, vol. 22, no. 2, pp. 137-151, Mar. 2012.
  • S. Morar, "Evolution of communication based train control worldwide," in Proc. IET professional development course on, May 2012, pp. 218-226.
  • Road Vehicles - Functional Safety, ISO Standard, 26262, 2011.
  • Railway applications - Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS), IEC Standard, IEC 62278, 2002.
  • Railway Applications-Communication. Signaling and Processing Systems-Safety Related Electronic Systems for Signaling, CENELEC Standard, EN 50129, 2003.
  • Railway Applications - Cmmunication Signalling and Processing Systems Software for Railway Control and Protection Systems, IEC Standard, IEC 62279, 2002.
  • Railtrack, Engineering safety management Issue3 (Yellow Book 3) Volumes 1and 2 Fundamentals and Guidance, Railtrack on behalf of the UK rail industry, London, UK, Jan 2000.
  • R. Mbah, "Using reliability growth testing to reveal systematic faults in safety-instrumented systems," M.S. thesis Norwegian University of Science and Technology, Trondheim, Norway, Jan. 2014.
  • R. Karban, M. Zamparelli, B. Bauvir, B. Koehler, L. Noethe, and A. Balestra, "Exploring model based engineering for large telescopes - getting started with descriptive models," in Proc. Society of Photo- Optical Instrumentation Engineers, Jul. 30, 2008.
  • R. Cuer, L. Pi trac, E. Niel, S. Diallo, N. Minoiu-Enache, and C. Dang-Van-Nhan, "A formal framework for the safe design of the Autonomous Driving supervision," Reliability Engineering and System Safety, vol. 174, pp. 29-40, Jun. 1, 2018.
  • R. B. Stone, I. Tumer, and M. Van Wie, "The function-failure design method," Journal of Mechanical Design, vol. 127, no. 3, pp. 397-407, Jul. 12, 2004.
  • Q. Wei, J. Jiao, and T. Zhao, "Flight control system failure modeling and verification based on SPIN," Engineering Failure Analysis, vol. 82, pp. 501-513, Apr. 18, 2017.
  • P.S. Ghai, "Signaling and train control system - train centric CBTC," in Urban Mobility India Conference & Expo 2014, Nov 25, 2014.
  • P. Wigger and H. Schabe, "Experience with safety integrity level(SIL) allocation in railway applications," in Proc. Programmable Electronic Systems in Safety Related Applications, Cologne, German, 2000.
  • P. Sun, "Model based system engineering for safety of railway critical systems," Ph.D. dissertation, Ecole Centrale de Lille, Villeneuve d'Ascq, Cedex, France, Jul 2015.
  • P. Mauborgne, S. Deniaud, . Levrat, . Bonjour, J. P. Mica lli, and D. Loise, "The determination of functional safety concept coupled with the definition of logical architecture: A framework of analysis from the automotive industry," in Proc. IFAC-PapersOnLine, Jul. 2017, pp. 7278-7283.
  • Oezlem Karaca, Jerome Kirscher, Linus Maurer, and Georg Pelz, "Towards simulation based evaluation of safety goal violations in automotive systems," in Proc. Specification and Design Languages (FDL), 2014 Forum on, Munich, Germany, Oct. 14, 2014, pp. 1-8.
  • O. Lisagor, T. Kelly, and R. Niu, "Model-based safety assessment: Review of the discipline and its challenges," in Proc. In Proceedings of the 2011 9th International Conference on Reliability, Maintainability and Safety (ICRMS), Guiyang, China, Jun. 15, 2011.
  • O. Jaradat, "Automated architecture-based verification of safety-critical systems," M.S. thesis, School of Innovation, Design and Engineering, Malardalen University, Vasteras, Sweden, Feb. 2012.
  • O. E. Ariss, Dianxiang Xu, and W.E. Wong, "Integrating safety analysis with functional modeling," IEEE Transactions on Systems, Man and Cybernetics: Systems, vol. 41, no. 4, pp. 610 - 624 Jan. 10, 2011.
  • N. Papakonstantinou, S. Sierla, D. C. Jensen, and I. Y. Tumer, "Simulation of interactions and emergent failure behavior during complex system design," Journal of Computing and Information Science in Engineering, vol. 12, no. 3, pp. 031007-031007-10, Aug. 21, 2012.
  • Medical electrical equipment, International Electrotechnical Commission Standard, IEC 60601, 2004.
  • M.R. Kirby, "A methodology for technology identification, evaluation, and selection in conceptual and preliminary aircraft design," Ph.D, Aerospace Engineering, Georgia Institute of Technology, Atlanta, GA, Mar. 2001.
  • M. Ouyang, L. Hong, M. H. Yu, and Q. Fei, "STAMP-based analysis on the railway accident and accident spreading: Taking the China–Jiaoji railway accident for example," Safety Science, vol. 48, no. 5, pp. 544-555, June 30, 2010.
  • M. Nikolaidou, G. D. Kapos, and A. Tsamimas, "Challenges in SysML model simulation," Advances in Computer Science, vol. 5, no. 4, pp. 49-56, Jul. 30, 2016.
  • M. Morel, "Model-based safety approach for early validation of integrated and modular avionics architecture," in Proc. 4th International Symposium, IMBSA 2014, Munich, Germany, Oct. 27-29, 2014, pp. 57-69.
  • M. Jankovic, V. Holley, and B. Yannou, "Multiple-Domain Design Scorecards: A method for architecture generation and evaluation through interface charaterization," Journal of Engineering Design, vol. 23, no. 10-11, pp. 743-763, Nov. 30, 2012.
  • M. I. Campbell, "An evaluation scheme for assessing the worth of automatically generated design alternatives," Research in Engineering Design, vol. 20, no. 1, pp. 59-75, Mar. 30, 2009.
  • M. Hillenbrand, M. Heinz, J. Matheis, and K. D. M ller-Glaser, "Development of Electric/Electronic Architectures for Safety-Related Vehicle Functions," Software: Practice and Experience, vol. 42, pp. 817-851, Jan. 31, 2012.
  • M. H. Ordouei, A. Elkamel, and G. Al-Sharrah, "New simple indices for risk assessment and hazards reduction at the conceptual design stage of a chemical process," Chemical Engineering Science, vol. 119, no. 8, pp. 218-229, Nov. 2014.
  • M. D. Bruin and P. Swuste, "Analysis of hazard scenarios for a research environment in an oil and gas exploration and production company," Safety Science, vol. 46, no. 2, pp. 261-271, Feb. 2008.
  • M. Bellotti and R. Mariani, "How future automotive functional safety requirements will impact microprocessors design," Microelectronics Reliability, vol. 50, no. 9-11, pp. 1320-1326, Sep. 30, 2010.
  • L. Mikelsons and Z. Su, "Simulation for verification and validation of functional safety," in Proc. Proceedings of the 10th International Modelica Conference, Lund, Sweden, Mar. 10, 2014.
  • L. Chen, J. Jiao, Q. Wei, and T. Zhao, "An improved formal failure analysis approach for safety-critical system based on MBSA," Engineering Failure Analysis, vol. 82, pp. 713-725, Jun. 15, 2017.
  • K.S. Kushal, M. Nanda, and J. Jayanthi, "Architectural level safety analyses for safety-critical systems," International Journal of Aerospace Engineering, vol. 2017, pp. 1-9, Jan. 2017.
  • K. Li, X. Yao, D. Chen, L. Yuan, and D. Zhou, "HAZOP Study on the CTCS-3 Onboard System," IEEE Transactions on Intelligent Transportation Systems, vol. 16, no. 1, pp. 162-171, Feb. 2015.
  • K. G. Lough, "The risk in early design method," Journal of Engineering Design, vol. 20, no. 2, pp. 155- 173, Mar. 2009.
  • K. Beckers, I. Cote, T. Frese, D. Hatebur, and M. Heisel, "A structured and systematic model-based development method for automotive systems, considering the OEM/supplier interface," Reliability Engineering & System Safety, vol. 158, pp. 172-184, Feb, 28, 2017.
  • J. Thomas, "Integrating models and simulations of continuous dynamics into SysML," Journal of Computing and Information Science Engineering, vol. 12, no. 1, Mar. 30, 2012.
  • J. Guiochet, "Hazard analysis of human–robot interactions with HAZOP–UML," Safety Science, vol. 84, pp. 225-237, Apr. 30, 2016.
  • J. Delange, P. Feiler, D. P. Gluch, and John Hudak, "AADL fault modeling and analysis within an ARP4761 safety assessment," Carnegie Mellon University, Tech. Rep., CMU/SEI-2014-TR-020, Oct. 30, 2014.
  • IEEE Standard for Communications-Based Train Control(CBTC) Performance and Functional Requirements, Rail transi vehicle interface standards committee Standard, IEEE Std 1474.1, 2005.
  • IEEE Recommended Practice for Communications-Based Train Control(CBTC) System Design and Functional Allocations, IEEE Vehicular Technology Society Standard, IEEE Std 1474.3, 2008.
  • I. Matei, "SysML extension for dynamical system simulation tools," U.S. Department of Commerce, NITIR, 7888, Oct. 30, 2012.
  • H. Mehrpouyan, "Model-Based hazard analysis of undesirable environmental and components interaction," M.S. thesis, Department of Computer and Information Science, Link ping University, Link ping, Sweden, Aug. 2011.
  • Gundars Osvalds, "Architecture design, simulation and visualization using SysML," in Proc. INCOSE Chesapeake Chapter, Aug. 18, 2010.
  • Functional safety of electrical/electronic/programmable electronic safety-related systems, IEC Standard, 61508, 2010.
  • Functional safety - Safety instrumented systems for the process industry sector-, International Elctrotechnical Commission Standard, IEC 61511, 2003.
  • F. Mhenni, N. Nguyen, and J. Y. Choley, "SafeSysE: A safety analysis integration in systems engineering approach," IEEE Systems Journal, vol. PP, no. 99, pp. 1-12, Apr. 30, 2016.
  • F. Mhenni, J. Y. Choley, N. Nguyen, and C. Frazza, "Flight control system modeling with SysML to support validation, qualification and certification," in Proc. 14th IFAC Symposium on Control in Transportation Systems CTS 2016, Istanbul, Turkey, May 18, 2016, pp. 453-458.
  • Department of Defense Practice: System Safety, Department of Defense Standard, MIL-STD-882E, 2012.
  • David Macii, Stefano Dalpez, Roberto Passerone, Michele Corr , Manuel Avancini, and Luigi Benciolini, "A safety instrumented system for rolling stocks: Methodology, design process and safety analysis," Measurement, vol. 67, pp. 164-176, May 2015.
  • D. Krus and K. G. Lough, "Function-based failure propagation for conceptual design," Artificial Intelligence for Engineering Designm, Analysis and Manufacturing, vol. 23, no. 4, pp. 409-426, Nov. 2009.
  • D. Fowler, E. Perrin, and R. Pierce, "A systems engineering approach to assessing the safety of the SESAR Operational Concept," in Proc. Eighth USA/Europe Air Traffic Management Research and Development Seminar, NAPA, CA, Jun. 29-2, 2009.
  • C. H. Fleming and N. Leveson, "Integrating systems safety into systems engineering during concept development," in Proc. INCSOE International Symposium, Seattle, WA, Jul 13-16, 2015.
  • C. A. Ericson, Hazard Analysis Techniques for System Safety. 1st ed. Hoboken, NJ: John Wiley & Sons, 2005.
  • Borderless Communication based Train Control System - Functional Requirements Specification-
    한국철도기술연구원, Tech. Rep., 년 8 월 3 일 [2016]
  • Batarseh. O. and L. McGinnis, "System modeling in SysML and system analysis in arena," in Proc. 2012 Winter Simulation Conference, Berlin, Germany, Dec. 09-12, 2012, pp. 2924-2935.
  • B. M. O’Halloran, B. Haley, D. C. Jensen, R. Arlitt, I. Y. Tumer, and R. B. Stone, "The early implementation of failure modes into existing component model libraries," Research in Engineering Design, vol. 25, no. 3, pp. 203-221, Jul. 7, 2014.
  • B. M. O’Halloran, "A framework to model reliabillity and failures in complex systems during the early engineering design process," Ph.D. dissertation, Mechanical Engineering, Oregon State University, Corvallis, OR, May 2013.
  • A. Majdara and T. Wakabayashi, "Component-based modeling of systems for automated fault tree generation," Research in Engineering Design, vol. 94, no. 6, pp. 1076-1086, Jun. 2009.
  • A. Joshi, "Behavioral fault modeling and model composition for Model-Based Safety Analysis," Ph.D. dissertation University of Minnesota, Minneapolis, MN, Aug. 2008.
  • A. F. Mehr and I. Y. Tumer, "Risk-based decision making for managing resources during the design of complex aerospace systems," Journal of Mechanical Design, vol. 128, no. 4, pp. 1014-1022, Jul. 30, 2006.