Analyzing Safety of Collaborative Cyber-Physical Systems Considering Variability
暂无分享,去创建一个
[1] Jang-Soo Lee,et al. NuDE 2.0: A Formal Method-based Software Development, Verification and Safety Analysis Environment for Digital I&Cs in NPPs , 2017, J. Comput. Sci. Eng..
[2] Patrik Feth,et al. Safety Assurance for Autonomous and Collaborative Medical Cyber-Physical Systems , 2017, SAFECOMP Workshops.
[3] Lui Sha,et al. Safetrace: a safety-driven requirement traceability framework on device interaction hazards for MD PnP , 2018, SAC.
[4] C. H. Lie,et al. Fault Tree Analysis, Methods, and Applications ߝ A Review , 1985, IEEE Transactions on Reliability.
[5] Marian Daun,et al. Collaborating Multiple System Instances of Smart Cyber-physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges , 2015, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems.
[6] Klaus Pohl,et al. Goal-based configuration analysis for networks of collaborative cyber-physical systems , 2020, SAC.
[7] Luis M. Camarinha-Matos,et al. Towards collaborative Cyber-Physical Systems , 2017, 2017 International Young Engineers Forum (YEF-ECE).
[8] Klaus-Dieter Thoben,et al. A methodology to develop collaborative robotic cyber physical systems for production environments , 2016, Logist. Res..
[9] Carl E. Landwehr,et al. Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.
[10] Clifton A. Ericson,et al. Hazard Analysis Techniques for System Safety , 2005 .
[11] Sanjay Misra,et al. Enhancing Misuse Cases With Risk Assessment for Safety Requirements , 2020, IEEE Access.
[12] H. Schneider. Failure mode and effect analysis : FMEA from theory to execution , 1996 .
[13] Marjan Sirjani,et al. Towards a Framework for Safe and Secure Adaptive Collaborative Systems , 2019, 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC).
[14] V A Gorelov,et al. Driver assistance systems: analysis, tests and the safety case. ISO 26262 and ISO PAS 21448 , 2019, IOP Conference Series: Materials Science and Engineering.
[15] Nazakat Ali,et al. Towards Enhancement of Fault Traceability Among Multiple Hazard Analyses in Cyber-Physical Systems , 2019, 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC).
[16] Mariëlle Stoelinga,et al. Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools , 2014, Comput. Sci. Rev..
[17] Hakima Chaouchi,et al. Predictive Formal Analysis of Resilience in Cyber-Physical Systems , 2019, IEEE Access.
[18] Sarah J. Dunnett,et al. Event-tree analysis using binary decision diagrams , 2000, IEEE Trans. Reliab..
[19] Detlef Scholle,et al. Cooperative safety critical CPS platooning in SafeCOP , 2017, 2017 6th Mediterranean Conference on Embedded Computing (MECO).
[20] Jiafu Wan,et al. A survey of Cyber-Physical Systems , 2011, 2011 International Conference on Wireless Communications and Signal Processing (WCSP).
[21] Jang-Eui Hong,et al. Failure Detection and Prevention for Cyber-Physical Systems Using Ontology-Based Knowledge Base , 2018, Comput..
[22] Alexander Fay,et al. Developing Ontologies for the Collaboration of Cyber-Physical Systems: Requirements and Solution Approach , 2018, 2018 4th International Workshop on Emerging Ideas and Trends in the Engineering of Cyber-Physical Systems (EITEC).
[23] Shuang-Hua Yang,et al. Safety and security risk assessment in cyber-physical systems , 2019, IET Cyper-Phys. Syst.: Theory & Appl..
[24] Jang-Eui Hong,et al. Automatic Identifying Interaction Components in Collaborative Cyber-Physical Systems , 2019, 2019 26th Asia-Pacific Software Engineering Conference (APSEC).
[25] Marisol García-Valls,et al. Time-Sensitive Adaptation in CPS through Run-Time Configuration Generation and Verification , 2014, 2014 IEEE 38th Annual Computer Software and Applications Conference.
[26] Sotiris Makris,et al. A cyber physical system (CPS) approach for safe human-robot collaboration in a shared workplace , 2019, Robotics and Computer-Integrated Manufacturing.