NSV-II: Second International Workshop on Numerical Software Verification.
April 16th, 2009.
Part of CPSWeek'09
|Mar. 27th, 2009||Program is announced.|
|Mar. 6th, 2009||Check out the list of invited speakers and accepted submissions. Program will appear very soon!|
|Feb. 18th, 2009|| Register for the workshop here. Limited financial support for students is available!.
|Feb. 18th, 2009||Limited financial support for students is available!.|
IntroductionThe 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.
GoalsCyber-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 InterestWe 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.
- Prof. Martin Berz, Dept. of Physics and Astronomy, Michigan State University.
- Prof. Paul Caspi , Verimag, France.
- Dr. Michael Whalen , Rockwell-Collins.
SubmissionPlease submit your papers through easychair. If you have any problems, please contact the organizers.
The workshop submissions will consist of an extended abstract. The expected length of the abstract is 3 pages, however submissions up to 15 pages in LNCS format or 8 pages in IEEE conference format will be considered.
Authors of extended abstracts selected by the program committee will be invited to submit a full paper to a special edition of a ACM Transactions in Embedded Computing Systems (TECS).
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.
Abstract submission deadline (extended): 12th Feb, 2009 .
Decision date: 25th Feb, 2009.
TECS special issue paper submission deadline (hard): 30th Jun, 2009.
TECS special issue decision date: 30th Sep, 2009.
This is an one-day post-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.
OrganizersEric Goubault (CEA LIST, France),
Georgios Fainekos and Sriram Sankaranarayanan (NEC Laboratories America).
- Thao Dang, VERIMAG, France.
- Eric Feron, Georgia Institute of Technology, USA.
- Stephane Gaubert, INRIA Saclay and Ecole Polytechnique, France.
- Nioclas 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.
RegistrationDetails on the registration for the workshop can be found here.
Limited registration support in a form of a scholarship will be available for students who would like to attend the workshop. To be eligible, you must be currently registered as a student, and register for our workshop.
Since the available funding is limited, the scholarships will be awarded based on academic merit. Please email the organizers with a CV listing your current academic work and also ask your academic advisor to send us an email certifying your academic status. The actual scholarship will be given in the form of reimbursement for the cost of registering for the workshop. The exact amount will be decided based on the participation.