MURI Telecon 2005-08-03 - Revision history

Murray: =Action plan=

2005-08-03T17:38:22Z

=Action plan=

← Older revision		Revision as of 17:38, 3 August 2005
Line 24:		Line 24:

	== Action plan ==		== Action plan ==
	* Wed~~-Thu~~: Mani to ~~work~~ through ~~specification session, working with Eric~~		* Wed: Mani to take a pass through entire white paper
	** Set up a single challenge at the model level		** Set up a single challenge at the model level
	* Wed-Fri: Pablo to rework SoS section and send to John		* Wed-Fri: Pablo to rework SoS section and send to John
	* Sat-Sun: John, Mani: work on integration		* Sat-Sun: John, Mani: work on integration
	* Sun pm, Mon: Richard will reformat		* Sun pm, Mon: Richard will reformat

Murray at 17:29, 3 August 2005

2005-08-03T17:29:19Z

← Older revision		Revision as of 17:29, 3 August 2005
Line 13:		Line 13:
	Pablo		Pablo
	* Suggest taht we switch order of presentation		* Suggest taht we switch order of presentation
	* <font color=blue>'''Action(Pablo, John):''' Rework SoS session ''after'' specification section. Pablo will take a first cut (with Stephen and Antonis) and then hand off to John.</font>		* <font color=blue>'''Action (Pablo, John):''' Rework SoS session ''after'' specification section. Pablo will take a first cut (with Stephen and Antonis) and then hand off to John.</font>

	Mani		Mani
	* Don't think we really know how to implement temporal logic within SoS		* Don't think we really know how to implement temporal logic within SoS
	* We should think about role of clocks more explicitly; not clear that CCL or Unity are the right approach to doing this		* We should think about role of clocks more explicitly; not clear that CCL or Unity are the right approach to doing this
	* ~~We need~~ to ~~focus more on the fundamentals~~		* How do you specify things for dynamics; how do we convert to static test (without unrolling

	John Doyle		John Doyle
Line 24:		Line 24:

	== Action plan ==		== Action plan ==
	* Wed-Fri: Pablo to rework SoS section		* Wed-Thu: Mani to work through specification session, working with Eric
	* ~~Wed~~-~~Fri~~: Mani to work ~~through specification session~~		** Set up a single challenge at the model level
	* ~~Sat-~~Sun: ~~John,~~		* Wed-Fri: Pablo to rework SoS section and send to John
			* Sat-Sun: John, Mani: work on integration
			* Sun pm, Mon: Richard will reformat

Murray: =Round Robin=

2005-08-03T17:25:48Z

=Round Robin=

← Older revision		Revision as of 17:25, 3 August 2005
Line 18:		Line 18:
	* Don't think we really know how to implement temporal logic within SoS		* Don't think we really know how to implement temporal logic within SoS
	* We should think about role of clocks more explicitly; not clear that CCL or Unity are the right approach to doing this		* We should think about role of clocks more explicitly; not clear that CCL or Unity are the right approach to doing this
			* We need to focus more on the fundamentals

	John Doyle		John Doyle

Murray at 17:25, 3 August 2005

2005-08-03T17:25:30Z

← Older revision		Revision as of 17:25, 3 August 2005
Line 1:		Line 1:
	3 Aug 05		3 Aug 05, 10 am

			== Round Robin ==

	Eric Klavins		Eric Klavins
Line 11:		Line 13:
	Pablo		Pablo
	* Suggest taht we switch order of presentation		* Suggest taht we switch order of presentation
	* ~~{{action\|~~Pablo, John\|Rework SoS session ''after'' specification section. Pablo will take a first cut (with Stephen and Antonis) and then hand off to John}}		* <font color=blue>'''Action(Pablo, John):''' Rework SoS session ''after'' specification section. Pablo will take a first cut (with Stephen and Antonis) and then hand off to John.</font>

	Mani		Mani
	* Don't think we really know how to implement temporal logic within SoS		* Don't think we really know how to implement temporal logic within SoS
			* We should think about role of clocks more explicitly; not clear that CCL or Unity are the right approach to doing this

	John Doyle		John Doyle
	* Needs to emphasize distributed more		* Needs to emphasize distributed more

			== Action plan ==
	Action plan
	* Wed-Fri: Pablo to rework SoS section		* Wed-Fri: Pablo to rework SoS section
			* Wed-Fri: Mani to work through specification session
	* Sat-Sun: John,		* Sat-Sun: John,

Murray at 17:23, 3 August 2005

2005-08-03T17:23:27Z

← Older revision		Revision as of 17:23, 3 August 2005
Line 7:		Line 7:
	* Proof of concepts festival		* Proof of concepts festival
	** Have some people come in and quickly code things up		** Have some people come in and quickly code things up
	** ~~{{action\|~~Richard\|Take a first cut at this and send out today}}		** <font color=blue>'''Action (Richard):''' Take a first cut at this and send out today</font>

	Pablo		Pablo

Murray at 17:22, 3 August 2005

2005-08-03T17:22:47Z

New page

3 Aug 05

Eric Klavins
* We need to integrate the parts better
* We need to say more about how SoS will link to temporal logic
* Statement that we can integrate these pieces is not there
* Proof of concepts festival
** Have some people come in and quickly code things up
** {{action|Richard|Take a first cut at this and send out today}}

Pablo
* Suggest taht we switch order of presentation
* {{action|Pablo, John|Rework SoS session ''after'' specification section. Pablo will take a first cut (with Stephen and Antonis) and then hand off to John}}

Mani
* Don't think we really know how to implement temporal logic within SoS

John Doyle
* Needs to emphasize distributed more

Action plan
* Wed-Fri: Pablo to rework SoS section
* Sat-Sun: John,