Abnormal events handling for dependable embedded systems

被引：0
|
作者：
Leyva-del-Foyo, Luis E. [1 ]
Mejia-Alvarez, Pedro [2 ]
de Niz, Dionisio [3 ]
机构：
[1] Univ Oriente, Santiago De Cuba 90500, Cuba
[2] CINVESTAV, IPN, Mexico City, DF, Mexico
[3] ITESO, DESI, Tlaquepaque, Mexico
来源：
SEVENTH MEXICAN INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE, PROCEEDINGS | 2006年
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper, we analyze the difficulties of handling abnormal events. We introduce a framework that integrate the concepts of Design by Contract, exception safety and fault tolerance and from then, obtain a set of criterions for the design of a mechanism that integrate error code, exception and executable assertions for the handling of different types of abnormal events. From these criterions, a proposal for a novel exception mechanism adequate for C written embedded systems is presented. Finally, we analyze the advantages of our mechanism over the existing mechanisms and over other languages or previous extension to C.
引用
收藏
页码：81 / +
页数：2
相关论文
共 50 条
  • [1] Dependable embedded systems
    Henkel, Joerg
    [J]. IT-INFORMATION TECHNOLOGY, 2015, 57 (03): : 147 - 148
  • [2] A software infrastructure for dependable embedded systems
    Shimada, Hiromasa
    Courbot, Alexandre
    Kinebuchi, Yuki
    Nakajima, Tatsuo
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2011, 26 (06): : 491 - 503
  • [3] An integrated architecture for dependable embedded systems
    Kopetz, H
    [J]. 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2004, : 160 - 161
  • [4] Design validation of embedded dependable systems
    Bondavalli, A
    Fantechi, A
    Latella, D
    Simoncini, L
    [J]. IEEE MICRO, 2001, 21 (05) : 52 - 62
  • [5] Dependable embedded systems research at TU ViennaForschungsaktivitäten zu Dependable Embedded Systems an der TU Wien
    H. Kopetz
    R. Obermaisser
    U. Schmid
    [J]. e & i Elektrotechnik und Informationstechnik, 2005, 122 (1-2) : 33 - 37
  • [6] Dependable communication synthesis for distributed embedded systems
    Kandasamy, N
    Hayes, JP
    Murray, BT
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2003, 2788 : 275 - 288
  • [7] Overview on dependable embedded systems in modern automotive
    Charfi, F
    Sellami, F
    [J]. 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 781 - 786
  • [8] Dependable embedded systems research at TU Vienna
    Kopetz, H.
    Obermaisser, R.
    Schmid, U.
    [J]. ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2005, 122 (1-2): : 33 - 37
  • [9] Dependable communication synthesis for distributed embedded systems
    Kandasamy, N
    Hayes, JP
    Murray, BT
    [J]. RELIABILITY ENGINEERING & SYSTEM SAFETY, 2005, 89 (01) : 81 - 92
  • [10] CAD INFORMATION HANDLING FOR OBTAINING DEPENDABLE MANUFACTURING SYSTEMS
    Miron, E.
    Mendonca, J. P.
    Machado, J.
    Olaru, D.
    Prisacaru, G.
    [J]. PROCEEDINGS OF THE ASME INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, 2015, VOL 2B, 2016,
12345