Caltech Workshop on Verification and Validation - Revision history

Murray: /* Organizers */

2009-09-24T15:39:22Z

Organizers

← Older revision		Revision as of 15:39, 24 September 2009
Line 109:		Line 109:


	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").		The Caltech Verification and Validation Workshop, 2009 is sponsored by Caltech's '''Center for the Mathematics of Information''' and the''' Air Force Office of Scientific Research''' (through the MURI "Specification, Design and Verification of Distributed Embedded Systems").

Utopcu: /* September 24, 2009 */

2009-09-22T21:54:52Z

September 24, 2009

← Older revision		Revision as of 21:54, 22 September 2009
Line 47:		Line 47:
	* 10:00 - Allessandro Pinto "Formal verification and analytical methods for complex systems: The UTRC experience"		* 10:00 - Allessandro Pinto "Formal verification and analytical methods for complex systems: The UTRC experience"
	* 10:30 -''' Break'''		* 10:30 -''' Break'''
	* 11:00-12:00 - Panel (Challenges and future research directions) - Devesh Bhatt~~, Andrzej Banaszuk~~, Michael Branicky, Ken Butts, John Doyle (moderator), Douglas Stuart		* 11:00-12:00 - Panel (Challenges and future research directions) - Andrzej Banaszuk, Devesh Bhatt, Michael Branicky, Ken Butts, John Doyle (moderator), Douglas Stuart
	* 12:00 - '''Lunch'''		* 12:00 - '''Lunch'''
	* 1:30 - Andrew Packard - "Quantitative local analysis for continuous nonlinear systems"		* 1:30 - Andrew Packard - "Quantitative local analysis for continuous nonlinear systems"

Utopcu: /* September 24, 2009 */

2009-09-22T21:41:32Z

September 24, 2009

← Older revision		Revision as of 21:41, 22 September 2009
Line 49:		Line 49:
	* 11:00-12:00 - Panel (Challenges and future research directions) - Devesh Bhatt, Andrzej Banaszuk, Michael Branicky, Ken Butts, John Doyle (moderator), Douglas Stuart		* 11:00-12:00 - Panel (Challenges and future research directions) - Devesh Bhatt, Andrzej Banaszuk, Michael Branicky, Ken Butts, John Doyle (moderator), Douglas Stuart
	* 12:00 - '''Lunch'''		* 12:00 - '''Lunch'''
	* 1:30 - Andrew Packard - ~~TBA~~		* 1:30 - Andrew Packard - "Quantitative local analysis for continuous nonlinear systems"
	* 2:00 - Ashish Tiwari "Verification using constraint solving"		* 2:00 - Ashish Tiwari "Verification using constraint solving"
	* 2:30 - Domitilla Del Vecchio "Dynamic feedback for hybrid systems on a partial order"		* 2:30 - Domitilla Del Vecchio "Dynamic feedback for hybrid systems on a partial order"

Utopcu: /* Schedule */

2009-09-16T18:26:44Z

Schedule

← Older revision		Revision as of 18:26, 16 September 2009
Line 22:		Line 22:
	=== September 23, 2009 ===		=== September 23, 2009 ===

			* 8:00 - 8:30 - '''Registration and breakfast'''
	* 8:30 - Opening remarks		* 8:30 - Opening remarks
	* 8:45 - Karl-Erik Arzen "On verification and validation of real-time control systems: formal approaches vs simulation"		* 8:45 - Karl-Erik Arzen "On verification and validation of real-time control systems: formal approaches vs simulation"
Line 40:		Line 41:
	=== September 24, 2009 ===		=== September 24, 2009 ===

			* 8:00 - 8:30 - '''Breakfast'''
	* 8:30 - Edmund Clarke "Model checking: making it scale"		* 8:30 - Edmund Clarke "Model checking: making it scale"
	* 9:00 - Eric Feron "Control systems software assurance"		* 9:00 - Eric Feron "Control systems software assurance"

Utopcu: /* September 24, 2009 */

2009-09-15T15:28:12Z

September 24, 2009

← Older revision		Revision as of 15:28, 15 September 2009
Line 45:		Line 45:
	* 10:00 - Allessandro Pinto "Formal verification and analytical methods for complex systems: The UTRC experience"		* 10:00 - Allessandro Pinto "Formal verification and analytical methods for complex systems: The UTRC experience"
	* 10:30 -''' Break'''		* 10:30 -''' Break'''
	* 11:00-12:00 - Panel (Challenges and future research directions) - Andrzej Banaszuk, Michael Branicky, Ken Butts, John Doyle (moderator), Douglas Stuart		* 11:00-12:00 - Panel (Challenges and future research directions) - Devesh Bhatt, Andrzej Banaszuk, Michael Branicky, Ken Butts, John Doyle (moderator), Douglas Stuart
	* 12:00 - '''Lunch'''		* 12:00 - '''Lunch'''
	* 1:30 - Andrew Packard - TBA		* 1:30 - Andrew Packard - TBA

Utopcu: /* Workshop Venue */

2009-09-15T06:52:04Z

Workshop Venue

← Older revision		Revision as of 06:52, 15 September 2009
Line 59:		Line 59:
	Room 105 in the Annenberg Building		Room 105 in the Annenberg Building

	Annenberg Building is a new building on the Caltech campus and is not on the campus maps. A campus map with the location of the building marked ~~will be available~~ here ~~soon~~.		Annenberg Building is a new building on the Caltech campus and is not on the campus maps. A campus map with the rough location of the building marked is [http://www.cds.caltech.edu/~utopcu/CaltechMap.pdf here].

	== Local transportation and parking on campus ==		== Local transportation and parking on campus ==

Utopcu: /* Local transportation and parking on campus */

2009-09-14T23:37:35Z

Local transportation and parking on campus

← Older revision		Revision as of 23:37, 14 September 2009
Line 63:		Line 63:
	== Local transportation and parking on campus ==		== Local transportation and parking on campus ==

	A shuttle service between the Sheraton Hotel and the Caltech campus will be available.		A shuttle service between the Sheraton Hotel and the Caltech campus will be available. Information will be posted on this page a few days before the workshop.

	[http://parking.caltech.edu/Parking/Visitor Information for parking on campus].		[http://parking.caltech.edu/Parking/Visitor Information for parking on campus].

Utopcu at 23:37, 14 September 2009

2009-09-14T23:37:02Z

← Older revision		Revision as of 23:37, 14 September 2009
Line 60:		Line 60:

	Annenberg Building is a new building on the Caltech campus and is not on the campus maps. A campus map with the location of the building marked will be available here soon.		Annenberg Building is a new building on the Caltech campus and is not on the campus maps. A campus map with the location of the building marked will be available here soon.

			== Local transportation and parking on campus ==

			A shuttle service between the Sheraton Hotel and the Caltech campus will be available.

			[http://parking.caltech.edu/Parking/Visitor Information for parking on campus].

	== Hotel and Travel ==		== Hotel and Travel ==

Utopcu: /* Workshop Venue */

2009-09-14T23:34:42Z

Workshop Venue

← Older revision		Revision as of 23:34, 14 September 2009
Line 57:		Line 57:
	== Workshop Venue ==		== Workshop Venue ==

	~~Main conference room~~ in Annenberg Building		Room 105 in the Annenberg Building

	Annenberg Building is a new building on the Caltech campus and is not on the campus maps. A campus map with the location of the building marked will be available here soon.		Annenberg Building is a new building on the Caltech campus and is not on the campus maps. A campus map with the location of the building marked will be available here soon.


	== Hotel and Travel ==		== Hotel and Travel ==

Utopcu: /* Description */

2009-09-13T20:56:34Z

Description

← Older revision		Revision as of 20:56, 13 September 2009
Line 14:		Line 14:
	== Description ==		== 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).		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 between 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.		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.