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 条
  • [21] 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
  • [22] Verification and analysis of autonomic systems for networked enterprises
    Bertolino, Antonia
    De Angelis, Guglielmo
    Di Giandomenico, Felicita
    Marchetti, Eda
    Sabetta, Antonino
    Spoletini, Paola
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7200 LNCS : 143 - 169
  • [23] Dynamic Logging with Dylog for Networked Embedded Systems
    Dong, Wei
    Huang, Chao
    Wang, Jiliang
    Chen, Chun
    Bu, Jiajun
    2014 ELEVENTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON SENSING, COMMUNICATION, AND NETWORKING (SECON), 2014, : 381 - 389
  • [24] Contour Guided Dissemination for Networked Embedded Systems
    Chu, I-Hsien
    Duan, Minlan
    Sastry, Shivakumar
    INTERNATIONAL JOURNAL OF DISTRIBUTED SENSOR NETWORKS, 2009, 5 (05): : 502 - 530
  • [25] On the design and control of wireless networked embedded systems
    Arzen, Karl-Erik
    Bicchi, Antonio
    Hailes, Stephen
    Johansson, Karl H.
    Lygeros, John
    2006 IEEE CONFERENCE ON COMPUTER-AIDED CONTROL SYSTEM DESIGN, VOLS 1 AND 2, 2006, : 143 - 148
  • [26] Communications reliability analysis in networked embedded systems
    Aza-Vallina, Damien
    Denis, Bruno
    Faure, Jean-Marc
    ADVANCES IN SAFETY, RELIABILITY AND RISK MANAGEMENT, 2012, : 2639 - 2646
  • [27] Distributed evidence filtering in networked embedded systems
    Dewasurendra, Duminda
    Bauer, Peter
    Premaratne, Kamal
    NETWORKED EMBEDDED SENSING AND CONTROL, 2006, 331 : 183 - 198
  • [28] A Security Architecture for Reconfigurable Networked Embedded Systems
    Dini, Gianluca
    Savino, Ida
    INTERNATIONAL JOURNAL OF WIRELESS INFORMATION NETWORKS, 2010, 17 (1-2) : 11 - 25
  • [29] Dynamic Linking and Loading in Networked Embedded Systems
    Dong, Wei
    Chen, Chun
    Liu, Xue
    Bu, Jiajun
    Liu, Yunhao
    2009 IEEE 6TH INTERNATIONAL CONFERENCE ON MOBILE ADHOC AND SENSOR SYSTEMS (MASS 2009), 2009, : 755 - 763
  • [30] Applying Architectural Hybridization in Networked Embedded Systems
    Casimiro, Antonio
    Rufino, Jose
    Marques, Luis
    Calha, Mario
    Verissimo, Paulo
    SOFTWARE TECHNOLOGIES FOR EMBEDDED AND UBIQUITOUS SYSTEMS, PROCEEDINGS, 2009, 5860 : 264 - 275
12345