ARCH15: Editor's Preface

This volume of post-proceedings contains a selection of the papers presented at the first two installments of the International Workshop on Applied veRification for Continuous and Hybrid systems (ARCH). The workshops were held as part of Cyber-Physical Systems Week (CPSWeek) on April 14, 2014 in Berlin, Germany, and on April 12, 2015 in Seattle, WA, USA. They mark the beginning of a workshop series, whose goal is to bring together people from industry with researchers and tool developers interested in applying verification techniques to continuous and hybrid systems. The workshop series is accompanied by a collaborative website (cps-vo.org/group/ARCH), which features a curated collection of benchmarks, disseminates results submitted by reachers and tool developers, and provides feedback from practitioners in the form of experience reports. The benchmark repository is intended to serve as a lasting and evolving resource to the research community.

 

There were 32 submissions in total for the two workshops. Each submission was reviewed by 3-4 program committee members, including at least one member from academia and one from industry for each paper. The committee decided to accept 27 papers, 22 of which were submitted by the authors to be included in the post-proceedings. The program also includes two invited talks:

  • Bernard Dion (Esterel Technologies): 15 years of industry experience in developing and verifying critical systems
  • Jay Abraham (The MathWorks): Verification and test of embedded software with model-based design

The ARCH workshop awards prizes to outstanding submissions. The prizes are attributed among three candidates proposed by the program committee and finally selected by votes of the workshop attendees. The prizes given so far are

  • the 2014 prize for the best benchmark, attributed to Victor Gan, Guy A. Dumont, and Ian M. Mitchell for the "Benchmark Problem: A PK/PD Model and Safety Constraints for Anesthesia Delivery,'' and
  • the 2015 prize for the best tool result, attributed to Chuchu Fan, Parasara Sridhar Duggirala, Sayan Mitra, and Mahesh Viswanathan for "Progress on Powertrain Verification Challenge with C2E2.''

We gratefully acknowledge the sponsorship by Bosch, the MathWorks, and Verimag, as well as the kind support by EasyChair.


Goran Frehse, Matthias Althoff (Program Chairs)

Sergiy Bogomolov, Taylor T. Johnson (Experiment and Evaluation Chairs)
November 24, 2015
Grenoble, Munich, Vienna, Arlington