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
    [J]. 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
    [J]. 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
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2007, 12 (04)
  • [4] Prototyping networked embedded systems
    Fleischmann, J
    Buchenrieder, K
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 71 - 80
  • [9] Energy Consumption of Networked Embedded Systems
    Cherifi, Nadir
    Grimaud, Gilles
    Vantroys, Thomas
    Boe, Alexandre
    [J]. 2015 3RD INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD) AND INTERNATIONAL CONFERENCE ON OPEN AND BIG (OBD), 2015, : 639 - 644
  • [10] Hybrid control of networked embedded systems
    Balluchi, A
    Benvenuti, L
    Engell, S
    Geyer, T
    Johansson, KH
    Lamnabhi-Lagarrigue, F
    Lygeros, J
    Morari, M
    Papafotiou, G
    Sangiovanni-Vincentelli, AL
    Santucci, F
    Stursberg, O
    [J]. EUROPEAN JOURNAL OF CONTROL, 2005, 11 (4-5) : 478 - 508
12345