Assertion-Based Verification through Binary Instrumentation

被引：0
|
作者：
Brignon, Enzo [1 ]
Pierre, Laurence [1 ]
机构：
[1] Univ Grenoble Alpes, CNRS, Grenoble INP, TIMA, F-38000 Grenoble, France
来源：
2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE) | 2019年
关键词：
D O I：
10.23919/date.2019.8715117
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Verifying the correctness and the reliability of C or C++ embedded software is a crucial issue. To alleviate this verification process, we advocate runtime assertion-based verification of formal properties. Such logic and temporal properties can be specified using the IEEE standard PSL (Property Specification Language) and automatically translated into software assertion checkers. A major issue is the instrumentation of the embedded program so that those assertion checkers will be triggered upon specific events during execution. This paper presents an automatic instrumentation solution for object files, which enables such an event-driven property evaluation. It also reports experimental results for different kinds of applications and properties.
引用
收藏
页码：988 / 991
页数：4
相关论文
共 50 条
  • [1] Assertion-based verification turns the corner
    Gupta, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 131 - 131
  • [2] Assertion-Based Verification of RTOS Properties
    Oliveira, Marcio F. S.
    Zabel, Henning
    Mueller, Wolfgang
    [J]. 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 630 - 633
  • [3] A Survey on Assertion-based Hardware Verification
    Witharana, Hasini
    Lyu, Yangdi
    Charles, Subodha
    Mishra, Prabhat
    [J]. ACM COMPUTING SURVEYS, 2022, 54 (11S)
  • [4] On More Dependable Assertion-Based Verification
    Radojicic, Carna
    Moreno, Javier
    Pan, Xiao
    Grimm, Christoph
    [J]. 39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 2013, : 7742 - 7747
  • [5] Assertion-based and constraint-based verification
    Pixley, C
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 97 - 97
  • [6] On the Effectiveness of Assertion-Based Verification in an Industrial Context
    Pierre, Laurence
    Pancher, Fabrice
    Suescun, Rodolphe
    Quevremont, Jerome
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 78 - 93
  • [7] Assertion-Based Verification of Industrial WLAN System
    Syafalni, Infall
    Surantha, Nico
    Lam, Duc Khai
    Sutisna, Nana
    Nagao, Yuhei
    Wakasugi, Katsuhiko
    Yang Tongxin
    Ochi, Hiroshi
    Tsuchiya, Taadaki
    [J]. 2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2016, : 982 - 985
  • [8] A Study on the Assertion-Based Verification of Digital IC
    Li, Yangyang
    Wu, Wuchen
    Hou, Ligang
    Cheng, Hao
    [J]. ICIC 2009: SECOND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTING SCIENCE, VOL 2, PROCEEDINGS: IMAGE ANALYSIS, INFORMATION AND SIGNAL PROCESSING, 2009, : 25 - +
  • [9] Assertion-based verification: Industry myths to realities
    Foster, Harry
    [J]. COMPUTER AIDED VERIFICATION, 2008, 5123 : 5 - 10
  • [10] Applied Assertion-Based Verification: An Industry Perspective
    Foster, Harry
    [J]. FOUNDATIONS AND TRENDS IN ELECTRONIC DESIGN AUTOMATION, 2008, 3 (01): : 1 - 95
12345