A Model-Based Framework to Assess the Reliability of Safety-Critical Applications

被引:3
|
作者
Luza, Lucas Matana [1 ]
Ruospo, Annachiara [2 ]
Bosio, Alberto [3 ]
Sanchez, Ernesto [1 ]
Dilillo, Luigi [1 ,4 ]
机构
[1] Univ Montpellier, LIRMM, Montpellier, France
[2] Politecn Torino, Turin, Italy
[3] Univ Lyon, ECL, INSA Lyon, CNRS,UCBL,CPE Lyon,INL,UMR5270, Lyon, France
[4] Ctr Natl Rech Sci CNRS, Paris, France
关键词
safety-critical applications; reliability; approximate computing; neural network; fault injection; NEURAL-NETWORKS;
D O I
10.1109/DDECS52668.2021.9417059
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
Solutions based on artificial intelligence and brain-inspired computations like Artificial Neural Networks (ANNs) are suited to deal with the growing computational complexity required by state-of-the-art electronic devices. Many applications that are being deployed using these computational models are considered safety-critical (e.g., self-driving cars), producing a pressing need to evaluate their reliability. Besides, state-of-the-art ANNs require significant memory resources to store their parameters (e.g., weights, activation values), which goes outside the possibility of many resource-constrained embedded systems. In this light, Approximate Computing (AxC) has become a significant field of research to improve memory footprint, speed, and energy consumption in embedded and high-performance systems. The use of AxC can significantly reduce the cost of ANN implementations, but it may also reduce the inherent resiliency of this kind of application. On this scope, reliability assessments are carried out by performing fault injection test campaigns. The intent of the paper is to propose a framework that, relying on the results of radiation tests in Commercial-Off-The-Shelf (COTS) devices, is able to assess the reliability of a given application. To this end, a set of different radiation-induced errors in COTS memories is presented. Upon these, specific fault models are extracted to drive emulation-based fault injections.
引用
收藏
页码:41 / 44
页数:4
相关论文
共 50 条
  • [1] An assessment framework for development processes of safety-critical system functions applied to a model-based safety-critical middleware
    Darwesh, Darbaz Nawzad
    Annighoefer, Bjoern
    Reichel, Reinhard
    [J]. 2020 AIAA/IEEE 39TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC) PROCEEDINGS, 2020,
  • [2] Model-based design, analysis and assessment framework for safety-critical systems
    Lu, Kuen-Long
    Chen, Yung-Yuan
    [J]. 51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26
  • [3] A UML Model-Based Approach for Replication Assessment of AUTOSAR Safety-Critical Applications
    Tucci-Piergiovanni, Sara
    Mraidha, Chokri
    Wozniak, Ernest
    Lanusse, Agnes
    Gerard, Sebastien
    [J]. TRUSTCOM 2011: 2011 INTERNATIONAL JOINT CONFERENCE OF IEEE TRUSTCOM-11/IEEE ICESS-11/FCST-11, 2011, : 1176 - 1187
  • [4] Model-Based Performance Evaluation of Safety-Critical POMDPs
    Pouya, Parisa
    Madni, Azad M.
    Adiththan, Arun
    Ramesh, S.
    Peranandam, Prakash
    [J]. IEEE INTERNATIONAL CONFERENCE ON RECENT ADVANCES IN SYSTEMS SCIENCE AND ENGINEERING (IEEE RASSE 2021), 2021,
  • [5] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [6] Supporting model-based safety analysis for safety-critical IoT systems
    Ihirwe, Felicien
    Di Ruscio, Davide
    Di Blasio, Katia
    Gianfranceschi, Simone
    Pierantonio, Alfonso
    [J]. JOURNAL OF COMPUTER LANGUAGES, 2024, 78
  • [7] Integrating Safety Certification into Model-based Testing of Safety-critical Systems
    Gannous, Aiman
    Andrews, Anneliese
    [J]. 2019 IEEE 30TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2019, : 250 - 260
  • [8] Model-based assurance evidence management for safety-critical systems
    Luis de la Vara, Jose
    Garcia, Arturo S.
    Valero, Jorge
    Ayora, Clara
    [J]. SOFTWARE AND SYSTEMS MODELING, 2022, 21 (06): : 2329 - 2365
  • [9] Model-Based Deployment Generation for Safety-Critical Avionics Systems
    Igna, Georgeta
    Dieudonne, Laurent
    Voss, Sebastian
    Schaetz, Bernhard
    [J]. 2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181
  • [10] A model-based Software Development Process for Safety-critical embedded Systems in industrial Measurement Technology UML-Framework for the Modeling of safety-critical Software
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    [J]. AUTOMATION 2012, 2012, 2171 : 55 - 58