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 条
  • [31] Dynamic Logging with Dylog in Networked Embedded Systems
    Dong, Wei
    Luo, Luyao
    Huang, Chao
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2016, 15 (01)
  • [32] ORB middleware evolution for networked embedded systems
    Gill, C
    Subramonian, V
    Parsons, J
    Huang, HM
    Torri, S
    Niehaus, D
    Stuart, D
    EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2003, : 169 - 176
  • [33] Simplifying Concurrent Programming of Networked Embedded Systems
    Khezri, Meysam
    Sarram, Mehdi Agha
    Adibniya, Fazlollah
    PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, 2008, : 993 - 998
  • [34] Embedded and Networked Systems for Intelligent Vehicles and Robots
    Lo Bello, Lucia
    Mubeen, Saad
    Saponara, Sergio
    Mariani, Riccardo
    Bordoloi, Unmesh Dutta
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (02) : 1035 - 1037
  • [35] Networked Embedded Systems: a Quantitative Performance Comparison
    Botta, Alessio
    de Donato, Walter
    Pescape, Antonio
    Ventre, Giorgio
    GLOBECOM 2008 - 2008 IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, 2008,
  • [36] Cloud Challenges for Networked Embedded Systems: a Review
    Dobrin, Andrei
    Stamatescu, Grigore
    Dragana, Cristian
    Sgarciu, Valentin
    2016 20TH INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2016, : 866 - 871
  • [37] Runtime verification and monitoring of embedded systems
    Watterson, C.
    Heffernan, D.
    IET SOFTWARE, 2007, 1 (05) : 172 - 179
  • [38] A New Verification Method For Embedded Systems
    Thacker, Robert A.
    Myers, Chris J.
    Jones, Kevin
    Little, Scott R.
    2009 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2009, : 193 - +
  • [39] Verification and Performance Analysis for Embedded Systems
    Larsen, Kim Guldstrand
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 3 - 4
  • [40] Heterogeneous verification of embedded control systems
    Kumar, Rajesh
    Krogh, Bruce H.
    2006 AMERICAN CONTROL CONFERENCE, VOLS 1-12, 2006, 1-12 : 4597 - +
12345