MS Word Version

iCyPhy Kickoff
11/29/2012 – 11/30/2012
Day 1: Thursday
8:00 am to 8:30 am
Coffee (no pastries)
8:30 am to 8:50 am
Introduction, motivation, goals, (discussion lead: Amit Fisher (IBM))
8:50 am to 9:10 am
Summer Showcase (discussion lead: Henry Broodney (IBM))
9:10 am to 9:40 am
Use Case summary of the Nov 28th session with Eelco. (discussion leads: Amit
Fisher (IBM) and Eelco Scholte (UTC))
9:50 am to 10:20am
Break (Coffee provided)
FMI, determinate composition, FMI++ (discussion lead: Edward Lee
10:20 am to 11:05am
Examine possible contributions to the FMI Standard.
Lev Greenberg (IBM) joining at 10:30 via phone (+1 510 643-5892) until
11:05 am to 11:35am
FMI and Rapsody Statecharts (discussion lead: Michael Masin (IBM))
11:30 am to 12:20pm
Ptolemy MoCs, backend MoCs (discussion lead: Edward Lee (Berkeley))
12:20pm to 12:50pm
Rhapsody SysML front end for heterogeneous systems using profiles (discussion
lead: Henry Broodney (IBM))
1 pm to 2:30pm
Working Lunch (provided), also serves as buffer
Control synthesis/Tulip (discussion lead: Richard Murray (Caltech))
2:30pm to 3:00pm
UTC design challenges: ELSAS example (Eelco Scholte UTC))
3:00pm to 3:30pm
Temporal Logic Planning (TuLiP) toolbox (Richard Murray (Caltech))
3:30pm to 3:45pm
Break (Coffee provided)
3:45pm to 4:15pm
Electric systems challenge problem (Necmiye Ozay (Caltech) et al)
4:15pm to 5:00pm
5:00 pm
Discussion: correct-by-construction synthesis, use case, integration, etc.
iCyPhy Kickoff
11/29/2012 – 11/30/2012
Day 2: Friday
Expected work products (what we need to produce at the end of Day 2):
 Clear delivery plan for June 2013 and end of 2013
 Project execution plan: specific plan, tasks, responsibilities and milestones for the 7 months
ending June 2013. Henry - a draft should be prepared prior to the Berkeley meeting - can
you please lead it?
 Project Management Plan: weekly calls, visits, f2f workshops, Q1 review etc. Alberto/Edward - a draft should be prepared by the Christopher Brooks (Berkeley's project
manager in charge.
8:00 am to 8:30 am
8:30 am to 10:30 am
Coffee (no pastries)
Platform-Based Design flow with contracts on the design driver: requirement
engineering, refinement, composition and design space exploration. Profiles for
constraining SysML to conform MoCs (discussion lead: Alberto SangiovanniVincentelli (Berkeley))
10:30 am to 11:00 am
11:00 am to 12:30 pm
Metronomy (discussion leads: Patricia Derler, Liangpeng Guo (Berkeley))
12:30 am to 1:00 pm
Ontology-based composition checking (discussion lead: Edward Lee
(Berkeley)). Not currently on iCyPhy agenda, however emerged as a common
interest in the Haifa discussions.
1:00 pm to 2:30 pm
Working Lunch (provided)
Re-discussion of summer showcase, including a working meeting to define the
specific plan, tasks,responsibilities and milestones for the 7 months ending June
2013. (discussion lead: Amit and Eelco – Rest of the day).
2:30 pm to 5:00 pm
Needs to be defined for all 3 research workstreams, either in full coordination
or partial coordination between them.
Define risks and mitigations.
Discuss Project Management plan issues, periodic calls, visits, f2f workshops
5:00 pm