MURI Telecon 2005-08-03: Difference between revisions
From Murray Wiki
Jump to navigationJump to search
(=Round Robin=) |
No edit summary |
||
| 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 | ||
* | * 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 | ||
* | ** Set up a single challenge at the model level | ||
* | * Wed-Fri: Pablo to rework SoS section and send to John | ||
* Sat-Sun: John, Mani: work on integration | |||
* Sun pm, Mon: Richard will reformat | |||
Revision as of 17:29, 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
- How do you specify things for dynamics; how do we convert to static test (without unrolling
John Doyle
- Needs to emphasize distributed more
Action plan
- Wed-Thu: Mani to work through specification session, working with Eric
- Set up a single challenge at the model level
- Wed-Fri: Pablo to rework SoS section and send to John
- Sat-Sun: John, Mani: work on integration
- Sun pm, Mon: Richard will reformat
