|
|
| Line 1: |
Line 1: |
| <table align=center width=100%>
| |
| <tr>
| |
| <td rowspan=3 align=center>[[Image:citlogo.png|75px]]</td>
| |
|
| |
| <tr><td align=center><font size="+2" color = blue> Caltech Workshop on Verification and Validation</font></td>
| |
| <tr><td align=center><font size="+1" color=blue>24-25 September 2009 <br> Pasadena, CA</font></td>
| |
|
| |
|
| </table>
| |
|
| |
|
| |
|
| |
| == Description ==
| |
|
| |
| Formal verification and validation (V&V) have been subject to research in controls, computer science, and networking but often in isolation from each other. With recent convergence of controls, computation, and communication, there is a need for unified theories and algorithms. Despite advances in V&V tools in respective areas, such unification is in its infancy. Moreover, rigorous V&V for systems of current interest is a complicated task due to common difficulties including the interaction the software and the physical world, untraditional information flow, modeling/environmental uncertainties, and unavoidable explosion of computational complexity of the currently available tools (in both domains).
| |
|
| |
|
| |
|
| |
| We believe that the success of formal methods and V&V in the intersection of controls, computer science, and networking is stringent on the development truly hybrid methods that blend ideas from all these areas and possibly others. The main purpose of the proposed workshop is to bring experts from academia, industry, and governmental agencies together and promote exchange of ideas and establishment of interdisciplinary collaborations. We will emphasize the integration of the tools and ideas from these fields to lead to a unified toolset. Moreover, we are expecting to highlight current trends and future directions in V&V research as well as industrial needs and requirements for V&V through outlook sessions and talks by experts from the industry and government agencies.
| |
|
| |
| == Invited speakers (confirmed) ==
| |
|
| |
| * Rajeev Alur, Univ of Pennsylvania
| |
| * Karl-Erik Arzen, Lund Univ
| |
| * Calin Belta, Univ of Boston
| |
| * Stephen Boyd, Stanford Univ
| |
| * Mani Chandy, Caltech
| |
| * Ed Clarke, Carnegie Mellon Univ
| |
| * Domitilla Del Vecchio, Univ of Michigan
| |
| * Eric Feron, Georgia Inst of Tech
| |
| * Gerard Holzmann, JPL
| |
| * Eric Klavins, Univ of Washington
| |
| * Nancy Leveson, MIT
| |
| * Rupak Majumdar, UCLA
| |
| * Sayan Mitra, Univ of Illinois
| |
| * Andrew Packard, UC Berkeley
| |
| * Andrea Platzer, Carnegie Mellos Univ
| |
| * Paulo Tabuada, UCLA
| |
| * Ashish Tiwari, SRI
| |
| * Stavros Tripakis, CNRS
| |
| * Brian Williams, MIT
| |
|
| |
| == Organizers ==
| |
| * Mani Chandy (Caltech, CS)
| |
| * Richard Murray (Caltech, CDS)
| |
| * Paulo Tabuada (UCLA, ECE)
| |
| * Ufuk Topcu (Caltech, CDS)
| |
|
| |
|
| |
|
| |
| The Caltech Verification and Validation Workshop, 2009 is sponsored by Caltech's Center of the Mathematics of Information and the Air Force Office of Scientific Research (through the MURI "Specification, Design and Verification of Distributed Embedded Systems").
| |
