Ninth Software Certification Consortium Meeting
Date: May 06, 2012 6:15 am – May 07, 2012 6:15 am
The next Software Certification Consortium's (SCC) meeting will be an open, public workshop on May 6 & 7 co-located with the High Confidence Software and Systems (HCSS) Conference in Annapolis, Maryland.
HCSS was created to support the interchange of ideas among researchers, practitioners, and research managers from Government, research labs, and industry practice.
There is no charge for attending the SCC workshop or HCSS conference, and lunches, breakfasts and coffees/teas are provided, but registration is required. The SCC workshop will be on Sun-Mon, May 6-7 and the HCSS conference takes place Tues-Fri, May 8 - 11.
The SCC workshop objective will be to address a specific work item in SCC's agenda: “Standards, Methods & Tools, and Their Efficacy”. The workshop will have presentations specifically addressing this topic, with time allocated for extensive discussion, and a breakout session to address issues identified as requiring focusing and refinement. If you have any questions I will be happy to (try and) answer them.
The website for registration for the HCSS conference and the SCC workshop is here. The presentations from the last SCC workshop are available here.
For those that will be unable to attend in person, we will be webcasting the workshop using WebEx.
After each registration an e-mail will be sent to you with a link that you can use to join the event for that day.
The agenda for the SCC workshop is below. We have a very good set of speakers presenting and we look forward to seeing you there.
Best regards,
Alan Wassyng
AGENDA : SCC Meeting #9 : May 6-7
THEME: Standards, Methods & Tools and Their Efficacy
SUNDAY
11:30-12:30
Lunch
12:30-1:00
Welcome and Introductions
1:00-1:30
Nancy Leveson (MIT) - Safety Engineering
1:30-2:00
John Knight (University of Virginia) – Standards for Standards
2:00-2:45
Discussion 1
2:45-3:00
Coffee
3:00-3:30
Bran Selic (Malina Software) - Standards for Model Driven Engineering
3:30-4:00
Joe D’Ambrosio (GM) - Systems and Software Engineering Standards for the Automotive Domain
4:00-4:30
Edward Griffor (Chrysler) - Standardized Specification Languages for Deriving Networking and Functional Applications for Safety Systems
4:30-5:15
Discussion 2
6:00 – 8:00
Dinner
MONDAY
8:30-9:00
Edward Lee (Berkeley) - Certifying Real-Time Software is Not Reasonable (Today)
9:00-9:30
John Hatcliff (Kansas State) - Tools that support systems and software engineering and certification
9:30-10:15
Discussion 3
10:15 - 10:30
Coffee
10:30-11:00
Brian Fitzgerald (FDA) - Systems and Software Engineering Standards for the Medical Domain
11:00-11:30
Vera Pantelic (McMaster) - Systems and Software Engineering Standards for the Medical Domain
11:30 – 12:15
Discussion 4
12:15-1:15
Lunch
1:15-1:45
Rance Cleveland (Maryland / Fraunhofer USA) - Security as an Issue for Medical-Device Software
1:45:2:15
Russell Sydnor (US NRC) – Gap Assessment of IEEE and IEC standards
2:15-3:00
Discussion 5
3:00- 4:15
Breakout – Opportunities & Needs for Improvements to Standards
4:15-4:45
Summary from Breakout
4:45-5:00
Wrap-up
Submitted by Paul Joannou
on
The next Software Certification Consortium's (SCC) meeting will be an open, public workshop on May 6 & 7 co-located with the High Confidence Software and Systems (HCSS) Conference in Annapolis, Maryland.
HCSS was created to support the interchange of ideas among researchers, practitioners, and research managers from Government, research labs, and industry practice.
There is no charge for attending the SCC workshop or HCSS conference, and lunches, breakfasts and coffees/teas are provided, but registration is required. The SCC workshop will be on Sun-Mon, May 6-7 and the HCSS conference takes place Tues-Fri, May 8 - 11.
The SCC workshop objective will be to address a specific work item in SCC's agenda: “Standards, Methods & Tools, and Their Efficacy”. The workshop will have presentations specifically addressing this topic, with time allocated for extensive discussion, and a breakout session to address issues identified as requiring focusing and refinement. If you have any questions I will be happy to (try and) answer them.
The website for registration for the HCSS conference and the SCC workshop is here. The presentations from the last SCC workshop are available here.
For those that will be unable to attend in person, we will be webcasting the workshop using WebEx.
After each registration an e-mail will be sent to you with a link that you can use to join the event for that day.
The agenda for the SCC workshop is below. We have a very good set of speakers presenting and we look forward to seeing you there.
Best regards,
Alan Wassyng
AGENDA : SCC Meeting #9 : May 6-7
THEME: Standards, Methods & Tools and Their Efficacy
|
SUNDAY |
|
|
11:30-12:30 |
Lunch |
|
12:30-1:00 |
Welcome and Introductions |
|
1:00-1:30 |
Nancy Leveson (MIT) - Safety Engineering |
|
1:30-2:00 |
John Knight (University of Virginia) – Standards for Standards |
|
2:00-2:45 |
Discussion 1 |
|
2:45-3:00 |
Coffee |
|
3:00-3:30 |
Bran Selic (Malina Software) - Standards for Model Driven Engineering |
|
3:30-4:00 |
Joe D’Ambrosio (GM) - Systems and Software Engineering Standards for the Automotive Domain |
|
4:00-4:30 |
Edward Griffor (Chrysler) - Standardized Specification Languages for Deriving Networking and Functional Applications for Safety Systems |
|
4:30-5:15 |
Discussion 2 |
|
6:00 – 8:00
|
Dinner |
|
MONDAY |
|
|
8:30-9:00 |
Edward Lee (Berkeley) - Certifying Real-Time Software is Not Reasonable (Today) |
|
9:00-9:30 |
John Hatcliff (Kansas State) - Tools that support systems and software engineering and certification |
|
9:30-10:15 |
Discussion 3 |
|
10:15 - 10:30 |
Coffee |
|
10:30-11:00 |
Brian Fitzgerald (FDA) - Systems and Software Engineering Standards for the Medical Domain |
|
11:00-11:30 |
Vera Pantelic (McMaster) - Systems and Software Engineering Standards for the Medical Domain |
|
11:30 – 12:15 |
Discussion 4 |
|
12:15-1:15 |
Lunch |
|
1:15-1:45 |
Rance Cleveland (Maryland / Fraunhofer USA) - Security as an Issue for Medical-Device Software |
|
1:45:2:15 |
Russell Sydnor (US NRC) – Gap Assessment of IEEE and IEC standards |
|
2:15-3:00 |
Discussion 5 |
|
3:00- 4:15 |
Breakout – Opportunities & Needs for Improvements to Standards |
|
4:15-4:45 |
Summary from Breakout |
|
4:45-5:00 |
Wrap-up |