[cmath] NSV II CFP

[GOUBAULT Eric 167129]

1st Call for Papers
NSV-II: Second International Workshop on Numerical Software Verification.
Verification of Cyber-Physical Software Systems
April 16th, 2009.
Part of CPSWeek'09
Venue: Parc 55 Hotel in San Francisco CA.

The second workshop on Numerical Software Verification (NSV) will be held San Francisco, CA on April 16th, 2009 . The focus of the workshop for 2009 will be on the verification of software for Cyber-Physical Systems (CPS). It will be part of the Cyber-Physical Systems Week CPSWeek and will be affiliated with the conference on Hybrid Systems: Computation and Control.

This workshop will continue along the lines of NSV-I (2008) that was held in July 2008 along with CAV 2008 at Princeton, NJ. Proceedings of this workshop appeared as a special issue in the journal Formal Methods in Systems Design.

Cyber-Physical Systems (CPS) refers to the class of systems that integrate (engineered) physical systems with computational and communication systems. Examples of CPS range from small scale systems, such as implanted medical devices or autonomous robots, to medium scale, such as automobiles and aircrafts, to large scale systems, for example, a power grid. A key component of every CPS is the underlying (distributed heterogeneous) software that controls a system or a system of systems. Numerical and logical errors in the software can have catastrophic results on the physical system. For over a decade, the hybrid systems community has been actively looking for solutions to the verification problem of CPSs by targeting mainly the interaction between the physical system and the software at the abstract logical level. However, this is not enough. Many well-known CPSs failures have been attributed to the existence of numerical errors and bugs in the software.

This workshop aims to initiate and catalyze work along such research directions by bringing together people from the hybrid systems, control and software verification communities. A secondary goal of NSV-II will be to create a benchmark problems library. In the past, similar benchmark libraries have been beneficial in accelerating the development of new theories and toolboxes in specific research areas, for example, SAT solvers.

Topics of Interest

We invite leading researchers to talk about the current development and future prospects on applying logical and mathematical techniques for reasoning about numerical aspects of software. The scope of the workshop includes, but is not restricted to, the following topics:

    * Numerical properties of control software,
    * Models and Abstraction Techniques,
    * Real-Time Verification,
    * Reasoning about Automatically Generated Software,
    * Hardware-Software Interaction,
    * Validation for avionics, automotive and real-time applications. 

Submissions that target different aspects of verification and testing in the context of CPS software are especially welcome.

Submission

The workshop submissions will consist of an extended abstract. Authors of extended abstracts selected by the program committee to appear as a special edition of a leading journal in the area of embedded systems. All submissions (extended abstracts as well as post-conference) will be subjected to stringent review process for technical merit and suitability to the theme by the program committee.

Submission Details will be appear shortly
at http://theory.stanford.edu/~srirams/nsv2/

Important Dates

Abstract Submission Deadline: 8th Feb, 2009 (earlier submissions appreciated).
Decision Date: 25th Feb, 2009.

Format of the Workshop

This is a one-day pre-conference workshop consisting of presentations based on submissions as well as from invited speakers. Each speaker will be expected to deliver a 25 minute talk. This will be followed by 5 minutes of audience interaction.

Program Committee

    * Thao Dang, VERIMAG, France.
    * Eric Feron, Georgia Institute of Technology, USA.
    * Stephane Gaubert, INRIA Saclay and Ecole Polytechnique, France.
    * Nicholas Halbwachs, VERIMAG, France.
    * Franjo Ivancic, NEC Laboratories America, USA.
    * Bruce Krogh, Carnegie Mellon University, USA.
    * Sylvie Putot, CEA LIST, France.
    * Andre Platzer, Carnegie Mellon University, USA.
    * Henny B. Sipma, Kestrel Technologies LLC, USA.
    * Gera Weiss, University of Pennsylvania, USA.
    * Hakan Yazarel, Toyota, USA. 

Organizers

Eric Goubault (CEA LIST, France), Eric.Goubault at cea.fr
Georgios Fainekos and Sriram Sankaranarayanan (NEC Laboratories America), fainekos at grasp.upenn.edu and srirams at gmail.com.

Contact

For questions related to this workshop and abstract submission for talks please contact the organizers.