Thermal monitoring of safety-critical integrated systems

被引:4
|
作者
Szekely, V [1 ]
Rencz, M [1 ]
Karam, JM [1 ]
Lubaszewski, M [1 ]
Courtois, B [1 ]
机构
[1] TECH UNIV BUDAPEST,DEPT ELECTRON DEVICES,H-1521 BUDAPEST,HUNGARY
关键词
D O I
10.1109/ATS.1996.555172
中图分类号
TM [电工技术]; TN [电子技术、通信技术];
学科分类号
0808 ; 0809 ;
摘要
引用
收藏
页码:282 / 288
页数:7
相关论文
共 50 条
  • [41] GPU Devices for Safety-Critical Systems: A Survey
    Perez-Cerrolaza, Jon
    Abella, Jaume
    Kosmidis, Leonidas
    Calderon, Alejandro J.
    Cazorla, Francisco
    Luis Flores, Jose
    [J]. ACM COMPUTING SURVEYS, 2023, 55 (07)
  • [42] Bringing Rust to Safety-Critical Systems in Space
    Seidel, Lukas
    Beier, Julian
    [J]. 2024 SECURITY FOR SPACE SYSTEMS CONFERENCE, 3S 2024, 2024,
  • [43] Safety-Critical Optimal Control for Autonomous Systems
    Xiao Wei
    Cassandras, G. Christos
    Belta, Calin
    [J]. JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2021, 34 (05) : 1723 - 1742
  • [44] Towards Improved Survivability in Safety-Critical Systems
    Abella, Jaume
    Cazorla, Francisco J.
    Quinones, Eduardo
    Gizopoulos, Dimitris
    Grasset, Arnaud
    Yehia, Sami
    Bonnot, Philippe
    Mariani, Riccardo
    Bernat, Guillem
    [J]. 2011 IEEE 17TH INTERNATIONAL ON-LINE TESTING SYMPOSIUM (IOLTS), 2011,
  • [45] Dynamic Reconfiguration of Safety-Critical Production Systems
    Ul Muram, Faiz
    Javed, Muhammad Atif
    Hansson, Hans
    Punnekkat, Sasikumar
    [J]. 2020 IEEE 25TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2020), 2020, : 120 - 129
  • [46] Visualizing Change in Agile Safety-Critical Systems
    Cleland-Huang, Jane
    Agrawal, Ankit
    Vierhauser, Michael
    Mayr-Dorn, Christoph
    [J]. IEEE SOFTWARE, 2021, 38 (03) : 43 - 51
  • [47] Integrated GNSS with different accuracy of track database for safety-critical railway control systems
    Yuheng Zheng
    Paul Cross
    [J]. GPS Solutions, 2012, 16 : 169 - 179
  • [48] Towards normal design for safety-critical systems
    Mannering, Derek
    Hall, Jon G.
    Rapanotti, Lucia
    [J]. Fundamental Approaches to Software Engineering, Proceedings, 2007, 4422 : 398 - 411
  • [49] Safety-critical systems in air traffic management
    Siewerdt, E
    [J]. DEPENDABLE COMPUTING, 2003, 2847 : 2 - 3
  • [50] Formal Techniques for Safety-Critical Systems Preface
    Artho, Cyrille
    Olveczky, Peter Csaba
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2015, 113 : 83 - 84