Call for Submissions: 1st International Workshop on Applied Verification for Continuous and Hybrid Systems (part of CPSWeek 2014, Berlin, Germany, April 14, 2014)

1st International Workshop on
Applied Verification for Continuous and Hybrid Systems
CPSWeek 2014, Berlin, Germany, April 14, 2014

While progress in the verification of continuous and hybrid systems has lead to academic tools and algorithms
that can handle systems of considerable complexity, the transition to industrial applications is challenging. The
workshop on applied verification for continuous and hybrid systems (ARCH) aims at bringing together researchers
and practitioners, and to establish a curated set of benchmarks submitted by academia and industry.

Call for Submissions (Benchmark papers, tool presentations, experience reports)

Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are
safety- or operational-critical. This workshop addresses verification techniques for continuous and hybrid systems
with a special focus on the transfer from theory to practice. Topics include, but are not limited to

• Reachability analysis and theorem proving
• Tools and tool demos
• Benchmark problems and experience reports
• Certification requirements for typical systems
• Open issues for industrial success

Accepted benchmarks and extended abstracts will be published on the CPS-VO website, which features versioning, comments etc., so that benchmarks can evolve over time. 

General Submission Guidelines

Submissions consist of an extended abstract of 3-6 pages (pdf) and optional files (e.g. models or traces) submitted through the ARCH’14 EasyChair web site. The extended abstract should be classified in its title as benchmark paper, tool presentation or experience report. Submissions receive at least 3 anonymous reviews, including one from industry and one from academia. 

For benchmark papers, authors should follow the template benchmark_subm_example.zip. A zip archive with additional data for the benchmark (description details, model files, sample traces, code, known results, etc.) is to be submitted together with the extended abstract. Benchmarks can be academic or industrial, of small size or extensive case studies. 

Detailed Submission Guidelines

While the review criteria for tool presentations and experience reports are more general, benchmark papers are reviewed according to the following criteria:

• Relevance: How typical is the benchmark for its application domain or academic topic? How important (scientifically or practically) are the phenomena it exhibits? Does the benchmark correspond to an existing real-world system?
• Clarity: How easy is it to create a working model from the description? How clear is the specification of the properties to be verified?
• Tractability: Is the benchmark roughly in the scope of known verification approaches? Does it allow to investigate scalability?
• Verification advantages: Can verification show properties of the benchmark that are difficult to obtain using other approaches (stochastic simulation etc.)?

Important Dates

PDF-Version of the Call

There is a pdf of the call (reduced content to make it fit on a single page).
 

Organizers

Goran Frehse, UJF-Verimag
Matthias Althoff, Technische Universität München
 

Program Committee