scholarly journals ARCH-COMP 2019 Category Report: Falsification

10.29007/68dk ◽  
2019 ◽  
Author(s):  
Gidon Ernst ◽  
Paolo Arcaini ◽  
Alexandre Donzé ◽  
Georgios Fainekos ◽  
Logan Mathesen ◽  
...  
Keyword(s):  
Temporal Logic ◽  
State Of The Art ◽  
Cyber Physical Systems ◽  
The State ◽  
Base Line ◽  
Physical Systems ◽  
The Future ◽  
Friendly Competition ◽  
Initial Base

This report presents the results from the 2019 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We describe the organization of the competition and how it differs from previous years. We give background on the participating teams and tools and discuss the selected benchmarks and results. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2. The main outcome of the 2019 competition is a common benchmark repository, and an initial base-line for falsification, with results from multiple tools, which will facilitate comparisons and tracking of the state-of-the-art in falsification in the future.

scholarly journals Medical Cyber-Physical Systems: A Solution to Smart Health and the State of the Art

2021 ◽  
pp. 1-28
Author(s):  
Fulong Chen ◽  
Yuqing Tang ◽  
Canlin Wang ◽  
Jing Huang ◽  
Cheng Huang ◽  
...  
Keyword(s):  
State Of The Art ◽  
Cyber Physical Systems ◽  
The State ◽  
Physical Systems ◽  
Smart Health

scholarly journals ARCH-COMP 2020 Category Report: Falsification

10.29007/trr1 ◽  
2020 ◽  
Author(s):  
Gidon Ernst ◽  
Paolo Arcaini ◽  
Ismail Bennani ◽  
Alexandre Donze ◽  
Georgios Fainekos ◽  
...  
Keyword(s):  
Temporal Logic ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Novel Approaches ◽  
Friendly Competition

This report presents the results from the 2020 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited from the previous year, give background on the participating teams and tools and discuss the selected benchmarks. The benchmarks are available on the ARCH website1, as well as in the competition’s gitlab repository2. In comparison to 2019, we have two new participating tools with novel approaches, and the results show a clear improvement over previous performances on some benchmarks.

Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems

2017 ◽  
Vol 11 (4) ◽  
pp. 2614-2627 ◽  
Author(s):  
Xi Zheng ◽  
Christine Julien ◽  
Miryung Kim ◽  
Sarfraz Khurshid
Keyword(s):  
State Of The Art ◽  
Cyber Physical Systems ◽  
The State ◽  
Verification And Validation ◽  
Physical Systems

scholarly journals ARCH-COMP17 Category Report: Preliminary Results on the Falsification Benchmarks

10.29007/wmf5 ◽  
2018 ◽  
Author(s):  
Adel Dokhanchi ◽  
Shakiba Yaghoubi ◽  
Bardh Hoxha ◽  
Georgios Fainekos
Keyword(s):  
Temporal Logic ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Control Subsystem ◽  
Preliminary Results ◽  
Friendly Competition

This report presents some preliminary base results from the 2017 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. The benchmarks are available on the ARCH website. In this report, we present results on a powertrain model developed by Toyota Technical Center which contains a complex automatic air-fuel control subsystem

scholarly journals ARCH-COMP18 Category Report: Results on the Falsification Benchmarks

10.29007/t85q ◽  
2018 ◽  
Author(s):  
Adel Dokhanchi ◽  
Shakiba Yaghoubi ◽  
Bardh Hoxha ◽  
Georgios Fainekos ◽  
Gidon Ernst ◽  
...  
Keyword(s):  
Temporal Logic ◽  
Cyber Physical Systems ◽  
Physical Systems ◽  
Friendly Competition

This report presents the outcomes of the 2018 friendly competition in the ARCH workshop for the category of falsification of temporal logic specifications over Cyber-Physical Systems.

scholarly journals A Formal Approach to Verify Parameterized Protocols in Mobile Cyber-Physical Systems

2017 ◽  
Vol 2017 ◽  
pp. 1-10 ◽  
Author(s):  
Long Zhang ◽  
Wenyan Hu ◽  
Wanxia Qu ◽  
Yang Guo ◽  
Sikun Li
Keyword(s):  
Model Checking ◽  
Petri Net ◽  
State Of The Art ◽  
Cyber Physical Systems ◽  
The State ◽  
Safety Properties ◽  
Memory Consumption ◽  
Formal Approach ◽  
New Approach ◽  
Physical Systems

Mobile cyber-physical systems (CPSs) are very hard to verify, because of asynchronous communication and the arbitrary number of components. Verification via model checking typically becomes impracticable due to the state space explosion caused by the system parameters and concurrency. In this paper, we propose a formal approach to verify the safety properties of parameterized protocols in mobile CPS. By using counter abstraction, the protocol is modeled as a Petri net. Then, a novel algorithm, which uses IC3 (the state-of-the-art model checking algorithm) as the back-end engine, is presented to verify the Petri net model. The experimental results show that our new approach can greatly scale the verification capabilities compared favorably against several recently published approaches. In addition to solving the instances fast, our method is significant for its lower memory consumption.

scholarly journals What you always wanted to know about the deterministic part of the International Planning Competition (IPC) 2014 (but were too afraid to ask)

2018 ◽  
Vol 33 ◽  
Author(s):  
Mauro Vallati ◽  
Lukáš Chrpa ◽  
Thomas L. Mccluskey
Keyword(s):  
Artificial Intelligence ◽  
State Of The Art ◽  
The State ◽  
Strong Impact ◽  
Significant Progress ◽  
Planning Techniques ◽  
Artificial Intelligence Planning ◽  
The Future ◽  
International Planning ◽  
Planning Approaches

AbstractThe International Planning Competition (IPC) is a prominent event of the artificial intelligence planning community that has been organized since 1998; it aims at fostering the development and comparison of planning approaches, assessing the state-of-the-art in planning and identifying new challenging benchmarks. IPC has a strong impact also outside the planning community, by providing a large number of ready-to-use planning engines and testing pioneering applications of planning techniques.This paper focusses on the deterministic part of IPC 2014, and describes format, participants, benchmarks as well as a thorough analysis of the results. Generally, results of the competition indicates some significant progress, but they also highlight issues and challenges that the planning community will have to face in the future.

Computer-assisted database indexing: the state-of-the-art

1994 ◽  
Vol 19 (1) ◽  
pp. 23-27
Author(s):  
Gail M. Hodge
Keyword(s):  
Data Base ◽  
Production System ◽  
State Of The Art ◽  
The State ◽  
Computer Support ◽  
Computer Assisted ◽  
Computer Assistance ◽  
The Future ◽  
Database Indexing ◽  
Operational Systems

Discusses the state-of-the-art in computer indexing, defines indexing and computer assistance, describes the reasons for renewed interest, identifies the types of computer support in use using selected operational systems, describes the integration of various computer supports in one data base production system, and speculates on the future.

Sign in / Sign up

Export Citation Format

Share Document