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 条

[41] Embedded systems: Challenges in specification and verification [J].

Pnueli, A .

EMBEDDED SOFTWARE, PROCEEDINGS, 2002, 2491 :1-14

[42] An Incremental Verification Paradigm for Embedded Systems [J].

Pakala, Hara Gopal Mani .

ADVANCES IN COMPUTING AND DATA SCIENCES, ICACDS 2016, 2017, 721 :40-49

[43] Automatic symbolic verification of embedded systems [J].

Alur, R ;

Henzinger, TA ;

Ho, PH .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (03) :181-201

[44] A toolset for the specification and verification of embedded systems [J].

Rebaiaia, ML ;

Benmohamed, M ;

Jaam, JM ;

Hasnah, A .

PDPTA'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-4, 2003, :1539-1545

[45] Hierarchical modeling and verification of embedded systems [J].

Cortés, LA ;

Eles, P ;

Peng, Z .

EUROMICRO SYMPOSIUM ON DIGITAL SYSTEMS DESIGN, PROCEEDINGS, 2001, :63-70

[46] Verification of embedded Reactive Fiffo Systems [J].

Herbreteau, F ;

Cassez, F ;

Finkel, A ;

Roux, O ;

Sutre, G .

LATIN 2002: THEORETICAL INFORMATICS, 2002, 2286 :400-414

[47] Aragog: Scalable Runtime Verification of Shardable Networked Systems [J].

Yaseen, Nofel ;

Arzani, Behnaz ;

Beckett, Ryan ;

Ciraci, Selim ;

Liu, Vincent .

PROCEEDINGS OF THE 14TH USENIX SYMPOSIUM ON OPERATING SYSTEMS DESIGN AND IMPLEMENTATION (OSDI '20), 2020, :701-718

[48] A new method for control of networked systems with an experimental verification [J].

Rahmani, Behrooz ;

Markazi, Amir H. D. ;

Seyfi, Behzad .

ISA TRANSACTIONS, 2015, 56 :299-307

[49] Information Flow Design and Verification for Networked Satellite Systems [J].

Guo, Jia ;

Xu, Nuo .

WIRELESS AND SATELLITE SYSTEMS, PT I, 2019, 280 :456-465

[50] The nesC Language: A Holistic Approach to Networked Embedded Systems [J].

Gay, David ;

Levis, Philip ;

von Behren, Robert ;

Welsh, Matt ;

Brewer, Eric ;

Culler, David .

ACM SIGPLAN NOTICES, 2014, 49 (04) :41-51

← 1 2 3 4 5 →