Functional verification of networked embedded systems

被引：1
|
作者：
Bombieri, N [1 ]
Fummi, F [1 ]
Pravadelli, G [1 ]
机构：
[1] Univ Verona, Dipartimento Informat, I-37134 Verona, Italy
来源：
6TH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, PROCEEDINGS | 2005年
关键词：
D O I：
10.1109/ISQED.2005.59
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we propose an automatic mechanism to extract the environment of a networked embedded system (NEV), and a functional verification methodology, which mixes automatic test pattern generation and model checking, exploiting the network environment constraints.
引用
收藏
页码：321 / 326
页数：6
相关论文
共 50 条
  • [1] Networked embedded Systems
    Bettstetter, Christian
    Huemer, Mario
    Rinner, Bernhard
    ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2008, 125 (10): : A40 - A40
  • [2] Functional and Nonfunctional Design Verification for Embedded Software Systems
    Ray, Arnab
    Ackermann, Christopher
    Cleaveland, Rance
    Shelton, Charles
    Martin, Chris
    ADVANCES IN COMPUTERS, VOL 83, 2011, 83 : 277 - 321
  • [3] Functional verification of task partitioning for multiprocessor embedded systems
    Das, Dipankar
    Chakrabarti, P. P.
    Kumar, Rajeev
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2007, 12 (04)
  • [4] Prototyping networked embedded systems
    Fleischmann, J
    Buchenrieder, K
    COMPUTER, 1999, 32 (02) : 116 - 119
  • [5] Enhanced symbolic simulation for functional verification of embedded array systems
    Wang, LC
    Feng, T
    Cheng, KT
    Abadir, MS
    Pandey, M
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2003, 8 (2-3) : 173 - 188
  • [6] Enhanced Symbolic Simulation for Functional Verification of Embedded Array Systems
    Li-C Wang
    Tao Feng
    Kwang-Ting (Tim) Cheng
    Magdy S. Abadir
    Manish Pandey
    Design Automation for Embedded Systems, 2003, 8 : 173 - 188
  • [7] Verification of Symbolic Distributed Protocols for Networked Embedded Devices
    Augello, Andrea
    D'Antoni, Rosolino
    Gaglio, Salvatore
    Lo Re, Giuseppe
    Martorella, Gloria
    Peri, Daniele
    2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 1173 - 1176
  • [8] Functional verification with embedded checkers
    Switzer, S
    Landoll, D
    Anderson, T
    SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 71 - 80
  • [9] SystemC simulation of networked embedded systems
    Department of Computer Science, University of Verona, Verona 37134, Italy
    Lect. Notes Electr. Eng., 2009, (201-211):
  • [10] Energy Consumption of Networked Embedded Systems
    Cherifi, Nadir
    Grimaud, Gilles
    Vantroys, Thomas
    Boe, Alexandre
    2015 3RD INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD) AND INTERNATIONAL CONFERENCE ON OPEN AND BIG (OBD), 2015, : 639 - 644
12345