A requirements model for AI algorithms in functional safety-critical systems with an explainable self-enforcing network from a developer perspective

被引:0
|
作者
Christina Klver [1 ]
Anneliesa Greisbach [1 ]
Michael Kindermann [2 ]
Bernd Pttmann [3 ]
机构
[1] Co BASC Research Group
[2] Pepperl+Fuchs Group
[3] TüV Nord
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论]; TP309 [安全保密];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ; 081201 ; 0839 ; 1402 ;
摘要
The requirements for ensuring functional safety have always been very high.Modern safety-related systems are becoming increasingly complex, making also the safety integrity assessment more complex and time-consuming. This trend is further intensified by the fact that AI-based algorithms are finding their way into safety-related systems or will do so in the future. However, existing and expected standards and regulations for the use of AI methods pose significant challenges for the development of embedded AI software in functional safety-related systems. The consideration of essential requirements from various perspectives necessitates an intensive examination of the subject matter, especially as diferent standards have to be taken into account depending on the final application. There are also diferent targets for the “safe behavior” of a system depending on the target application. While stopping all movements of a machine in industrial production plants is likely to be considered a “safe state”, the same condition might not be considered as safe in flying aircraft, driving cars or medicine equipment like heart pacemaker. This overall complexity is operationalized in our approach in such a way that it is straightforward to monitor conformity with the requirements. To support safety integrity assessments and reduce the required efort, a Self-Enforcing Network(SEN) model is presented in which developers or safety experts can indicate the degree of fulfillment of certain requirements with possible impact on the safety integrity of a safety-related system. The result evaluated by the SEN model indicates the achievable safety integrity level of the assessed system, which is additionally provided by an explanatory component.
引用
收藏
页码:61 / 85
页数:25
相关论文
共 8 条
  • [1] Increacement Of Functional Safety Of The Behavior Algorithms Of Radio Electronic Safety-Critical Systems
    Ozirkovskyy, Leonid
    Volochiy, Bohdan
    Zmysnyi, Mykhailo
    Shkiliuk, Oleksandr
    15TH INTERNATIONAL CONFERENCE ON ADVANCED TRENDS IN RADIOELECTRONICS, TELECOMMUNICATIONS AND COMPUTER ENGINEERING (TCSET - 2020), 2020, : 462 - 466
  • [2] From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems
    Ponsard, Christophe
    Massonet, Philippe
    Dallons, Gautier
    ERCIM NEWS, 2008, (75): : 22 - 23
  • [3] Requirements Engineering of Industrial Automation Systems Adapting the CESAR Requirements Meta Model for Safety-Critical Smart Grid Software
    Sinha, Roopak
    Patil, Sandeep
    Pang, Cheng
    Vyatkin, Valeriy
    Dowdeswell, Barry
    IECON 2015 - 41ST ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2015, : 2172 - 2177
  • [4] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development
    Walter, Stefan
    Rettberg, Achim
    Kreutz, Marcio
    2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
  • [5] Functional requirements of critical care information systems (CCIS) from the users' perspective
    von Dincklage, Falk
    Suchodolski, Klaudiusz
    Lichtner, Gregor
    Friesdorf, Wolfgang
    Podtschaske, Beatrice
    Ragaller, Maximilian
    INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, 2018, 120 : 8 - 13
  • [6] Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems
    Tevfik Bultan
    Constance Heitmeyer
    Design Automation for Embedded Systems, 2008, 12 : 97 - 137
  • [7] Applying infinite state model checking and other analysis techniques to tabular requirements specifications of safety-critical systems
    Bultan, Tevfik
    Heitmeyer, Constance
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2008, 12 (1-2) : 97 - 137
  • [8] From the specification of multiagent systems by statecharts to their formal analysis by model checking: Towards safety-critical applications
    Stolzenburg, F
    Arai, T
    MULTIAGENT SYSTEM TECHNOLOGIES, PROCEEDINGS, 2003, 2831 : 131 - 143