Verification of embedded systems based on interval analysis

被引:0
|
作者
Ugarte, I [1 ]
Sanchez, P [1 ]
机构
[1] Univ Cantabria, TEISA Dept, ETSIIyT, Microelect Engn Grp, Santander 39006, Cantabria, Spain
关键词
embedded system verification; interval analysis; assertion-based verification; design for verification;
D O I
10.1007/s10766-005-8909-9
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The latest versions of the "International Technology Roadmap for Semiconductors" (ITRS) highlight that verification has changed from playing a relatively minor supporting role in the design process to becoming the dominant cost. This situation is the result of the exponential growth of the functional complexity of designs and the historical emphasis of CAD tools in other areas of the design process such as automatic synthesis or place-and-route. The problem is even worst in embedded systems that normally integrate functionally complex hardware and software parts. This work presents a new verification technique based on interval analysis that can handle embedded designs described at behavioural level. The proposed technique is able to verify assertions that the users insert in software and hardware tasks. It shows very promising results in systems that cannot be efficiently verified with other tools (e.g. data-dominated designs).
引用
收藏
页码:697 / 720
页数:24
相关论文
共 50 条
  • [41] From model-based design to formal verification of adaptive embedded systems
    Adler, Rasmus
    Schaefer, Ina
    Schuele, Tobias
    Vecchie, Eric
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2007, 4789 : 76 - +
  • [42] Applying SMT-based verification to hardware/software partitioning in embedded systems
    Alessandro B. Trindade
    Lucas C. Cordeiro
    Design Automation for Embedded Systems, 2016, 20 : 1 - 19
  • [43] HW-based Architecture for Runtime Verification of Embedded Software on SoPC systems
    Solet, Dimitry
    Bechennec, Jean-Luc
    Briday, Mikael
    2018 NASA/ESA CONFERENCE ON ADAPTIVE HARDWARE AND SYSTEMS (AHS 2018), 2018, : 249 - 256
  • [44] EVINCED: Integrity Verification Scheme for Embedded Systems Based on Time and Clock Cycles
    de Castro, Cristiano G.
    Camara, Sergio de M.
    da Costa Carmo, Luiz F. R.
    Boccardo, Davidson R.
    2017 IEEE 15TH INTL CONF ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, 15TH INTL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING, 3RD INTL CONF ON BIG DATA INTELLIGENCE AND COMPUTING AND CYBER SCIENCE AND TECHNOLOGY CONGRESS(DASC/PICOM/DATACOM/CYBERSCI, 2017, : 788 - 795
  • [45] A pruning approach for GMM-based speaker verification in mobile embedded systems
    Leung, CC
    Moon, YS
    Meng, H
    BIOMETRIC AUTHENTICATION, PROCEEDINGS, 2004, 3072 : 607 - 613
  • [46] System-Level Assertion-Based Performance Verification for Embedded Systems
    Hatefi-Ardakani, Hassan
    Gharehbaghi, Amir Masoud
    Hessabi, Shaahin
    ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 243 - 250
  • [47] Towards a Verification Approach for Reconfigurable Embedded Systems
    Krichen, Fatma
    Gassara, Amal
    Zalila, Bechir
    Jmaiel, Mohamed
    2012 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2012, : 750 - 752
  • [48] Formal verification and validation of embedded systems: the UML-based MADES approach
    Luciano Baresi
    Gundula Blohm
    Dimitrios S. Kolovos
    Nicholas Matragkas
    Alfredo Motta
    Richard F. Paige
    Alek Radjenovic
    Matteo Rossi
    Software & Systems Modeling, 2015, 14 : 343 - 363
  • [49] Applying SMT-based verification to hardware/software partitioning in embedded systems
    Trindade, Alessandro B.
    Cordeiro, Lucas C.
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2016, 20 (01) : 1 - 19
  • [50] Functional verification for UML-based model driven design of embedded systems
    Kardos, M
    Fristacky, N
    FROM SPECIFICATION TO EMBEDDED SYSTEMS APPLICATION, 2005, 184 : 103 - 114