MURI Telecon 2005-08-03: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
No edit summary |
(=Round Robin=) |
||
| 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 | ||
Revision as of 17:25, 3 August 2005
3 Aug 05, 10 am
Round Robin
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
- 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
- Needs to emphasize distributed more
Action plan
- Wed-Fri: Pablo to rework SoS section
- Wed-Fri: Mani to work through specification session
- Sat-Sun: John,
