Cloud-Ready Acceleration of Formal Method Techniques for Cyber-Physical Systems

被引：2

作者：

Khaled, Mahmoud ^{[1
]}

Zamani, Majid ^{[2
,3
]}

机构：

[1] Tech Univ Munich, Munich, Germany

[2] Univ Colorado, Comp Sci Dept, Boulder, CO USA

[3] Ludwig Maximilian Univ Munich, Munich, Germany

来源：

IEEE DESIGN & TEST | 2021年 / 38卷 / 05期

基金：

欧盟地平线“2020”;

关键词：

Kernel; Cloud computing; Parallel algorithms; Task analysis; Acceleration; Copper; Formal Methods; Cyber-Physical Systems; Internet of Things; High Performance Computing; Parallel Algorithms; Cloud Computing; OpenCL; Message Passing Interface (MPI); GPGPU; FPGA;

D O I：

10.1109/MDAT.2020.3034048

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Editor's notes: Controller synthesis using formal specifications has shown considerable promise in recent years. However, it is computationally very expensive. This article shows how cloud computing can come to the rescue. -Samarjit Chakraborty, University of North Carolina at Chapel Hill

引用

页码：25 / 34

页数：10

共 12 条

[1] Online Verification of Automated Road Vehicles Using Reachability Analysis [J].

Althoff, Matthias ;

Dolan, John M. .

IEEE TRANSACTIONS ON ROBOTICS, 2014, 30 (04) :903-918

[2]

[Anonymous], 2009, Verification and Control of Hybrid Systems: A Symbolic Approach

[3]

Baier C, 2008, PRINCIPLES OF MODEL CHECKING, P1

[4]

Frehse G., 2011, P INT C COMP AID VER, DOI [DOI 10.1007/978-3-642-22110-1, DOI 10.1007/978-3-642-22110-130]

[5] pFaces: An Acceleration Ecosystem for Symbolic Control [J].

Khaled, Mahmoud ;

Zamani, Majid .

PROCEEDINGS OF THE 2019 22ND ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC '19), 2019, :252-257

[6] Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach [J].

Khaled, Mahmoud ;

Kim, Eric S. ;

Arcak, Murat ;

Zamani, Majid .

TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, 2019, 11428 :265-281

[7] SENSE: Abstraction-Based Synthesis of Networked Control Systems [J].

Khaled, Mahmoud ;

Rungger, Matthias ;

Zamani, Majid .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (272) :65-78

[8]

Mouelhi Sebti, 2013, HSCC 2013, P83

[9]

PNUELI A, 1989, CONFERENCE RECORD OF THE SIXTEENTH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES, P179, DOI 10.1145/75277.75293

[10]

Rungger M., 2013, Proceedings of the 16th Conference on Hybrid Systems: Computation and Control, P333

← 1 2 →