Workflow Engine for Analysis, Certification and Test of Safety and Security-Critical Systems

被引：0
|
作者：
Schmittner, Christoph [1 ]
Althammer, Egbert [1 ]
Gruber, Thomas [1 ]
机构：
[1] AIT Austrian Inst Technol GmbH, Vienna, Austria
来源：
ERCIM NEWS | 2015年 / 102期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
Certification and Qualification are important steps for safety-and security-critical systems. In CyberPhysical Systems (CPS), connected Systems of Systems (SoS) and Internet of Things (IoT), safety and security certification should be done in a holistic and unified way. Assurance that a system is safe needs to include evidence that the system is also secure. WEFACT is a workflow tool originally developed for guidance through the safety certification and testing process, which is now extended towards holistic safety and security assurance.
引用
收藏
页码：29 / 30
页数：2
相关论文
共 50 条
  • [31] A Comparative Analysis of Security Patterns for Enhancing Security in Safety-Critical Systems
    Yengec-Tasdemir, Sena Busra
    Siddiqui, Fahad
    Sezer, Sakir
    Hui, Henry
    McLaughlin, Kieran
    Sonigara, Balmukund
    2023 IEEE 36TH INTERNATIONAL SYSTEM-ON-CHIP CONFERENCE, SOCC, 2023, : 72 - 77
  • [32] Qualitative and quantitative analysis of security in safety and reliability critical systems
    Winther, R
    PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2345 - 2351
  • [33] Execution monitoring of security-critical programs in distributed systems: A specification-based approach
    Ko, C
    Ruschitzka, M
    Levitt, K
    1997 IEEE SYMPOSIUM ON SECURITY AND PRIVACY - PROCEEDINGS, 1997, : 175 - 187
  • [34] System-Level Design Optimization for Security-Critical Cyber-Physical-Social Systems
    Zeng, Jing
    Yang, Laurence T.
    Lin, Man
    Shao, Zili
    Zhu, Dakai
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2017, 16 (02)
  • [35] Identification of safety and security critical systems and activities
    Aven, Terje
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (02) : 404 - 411
  • [36] Software Certification for Safety-Critical Systems: A Status Report
    Kornecki, Andrew
    Zalewski, Janusz
    2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 618 - +
  • [37] A formal model and risk assessment method for security-critical real-time embedded systems
    Ni, Siru
    Zhuang, Yi
    Gu, Jingjing
    Huo, Ying
    COMPUTERS & SECURITY, 2016, 58 : 199 - 215
  • [38] Lessons learned from offline assessment of security-critical systems: the case of microsoft's active directory
    Ebad, Shouki A.
    INTERNATIONAL JOURNAL OF SYSTEM ASSURANCE ENGINEERING AND MANAGEMENT, 2022, 13 (01) : 535 - 545
  • [39] High-level side-channel attack modeling and simulation for security-critical systems on chips
    Menichelli, Francesco
    Menicocci, Renato
    Olivieri, Mauro
    Trifiletti, Alessandro
    IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2008, 5 (03) : 164 - 176
  • [40] Lessons learned from offline assessment of security-critical systems: the case of microsoft’s active directory
    Shouki A. Ebad
    International Journal of System Assurance Engineering and Management, 2022, 13 : 535 - 545
12345