RTES FORUM AGENDA
“Shared Challenges”
RESEARCH DAY
The Open Group, Real-Time Embedded Systems Forum
Monday February 2, 2009, San Diego, California
The Real-Time Embedded Systems [RTES] Forum of The Open Group presents a day-long session to bring together researchers with the developers, vendors, integrators, and users of critical embedded systems. The Research Day session is intended to provide a venue for the presentation and discussion of research results and research needs for our community, particularly those for which cooperation will be advantageous to all. It is intended as a forum in which to discuss ideas, concepts, and works-in-progress, and to report on results, successes and lessons-learned. Research Day is held annually at the first meeting each year of The Open Group RTES Forum.
8:30 – 9:15 |
Ron van der Meyden University of New South Wales |
Using Architecture to Reason About Information Security |
9:15 – 10:00 |
Thuy Nguyen, et al Naval Postgraduate School |
An Architecture for Multilevel Secure Dynamic Services |
10:00 – 10:30 |
BREAK |
|
10:30 – 11:15 |
David Naumann Stevens Institute of Technology |
Naïve and Flexible Declassification with Scalable Enforcement |
11:15 – 12:00 |
Rance DeLong Santa Clara University |
The Shared Challenge of MILS System Configuration, Delivery, and Initialization |
12:00 – 1:30 |
LUNCH |
|
1:30 – 2:15 |
John Hatcliff. Kansas State University |
An IDE for using SPARK Information Flow Contracts in MILS Development |
2:15 – 3:00 |
Kenn Luecke Boeing |
Software development in a Multi-Core World (to be presented remotely) |
3:00 – 3:15 |
BREAK |
|
3:15 – 4:00 |
Peter Carlston Intel |
Trusted Boot and MILS Enablement on Intel® Embedded Multicore Processors |
4:00 – 4:45 |
John Rushby SRI International |
Update on MILS Research sponsored by Raytheon/AFRL |
4:45 – 5:30 |
John Launchbury Galios |
Introduction to Cryptol |
Organized and chaired by: Rance DeLong, LynuxWorks, and Michael McEvilley, MITRE. As of 1 February 09
RTES FORUM AGENDA
“Dependability through Assuredness”
Multi-Core
The Open Group, Real-Time Embedded Systems Forum
Tuesday February 3, 2009, San Diego, California
This page updated on 3 February 2009 at 0600 Hours.
9:00-9:15 |
Joe Bergmann The Open Group |
Introduction |
9:15-10:00 |
Dr. ShuichiroYamamoto NTT Data |
IPA-Sec Dependability Systems TWG Plan
|
10:00-10:30 |
Break |
|
10:30-11:30 |
Martin Schoeberl Institute of Computer Engineering, Vienna University of Technology |
JEOPARD, Multi-Core and Safety Critical Java |
11:30-12:30 |
Mark Vanfleet NSA |
Discussion – Detailing the Multi-Core problem for MLS, Safety Critical and High Assurance Applications |
12:30-2:00 |
Lunch |
|
2:00-2:45 |
Shawn Mullen et al IBM |
Multi-Core Processor for High assurance Applications |
2:45-3:30 |
John Launchbury Galios |
High Level Multi-Core Programming with Haskell |
3:30-4:00 |
Break |
|
4:00-5:30 |
Freescale (Invited), Sun, IBM, Intel |
Panel Discussion on “How to solve problems in using Multi-Core processors for safety critical and high assurance security environments. |
5:30-5:45 |
Joe Bergmann et al, The Open Group |
Wrap-up |
This page updated on 3 February 2009 at 0600 Hours.
JSR 302 Expert Group -- Safety Critical Java -- Expected to meet 2-5 February 08. For details contact Doug Locke, Expert Group lead. doug@douglocke.com>
RTES FORUM AGENDA
“Dependability through Assuredness” and “MILS Architecture”
Members Work Group Break-out Sessions
The Open Group, Real-Time Embedded Systems Forum
Wednesday February 4, 2009, San Diego, California
9:00-9:30 |
Joe Bergmann Michael McEvilley |
Introduction |
9:30-10:00 |
Carolyn Beottcher Raytheon |
Update HAMES - High Assurance Middleware for Embedded Systems |
10:00 – 10:30 |
Break |
|
10:30 – 12:30 |
McEvilley/Bergmann |
Break-out Sessions |
12:30 – 2:00 |
Lunch |
|
2:00 – 5:30 |
McEvilley/Bergmann |
Break-out Sessions |
7:00—9:00 |
Glen Logan |
Suggested RTES Forum Members meeting* |
JSR 302 Expert Group -- Safety Critical Java -- Expected to meet 2-5 February 08. For details contact Doug Locke, Expert Group lead. doug@douglocke.com>
For Dependability through Assuredness, Architecting to the Edge, and MILS Architecture Work Groups break out session we need to develop a:
Going Forward Strategy
* in lieu of Friday Morning member meeting. An alternative to Wednesday evening would be Thursday Evening. (Either day would include Pizza, Chips, Beer and Soft Drinks)
The Dependability for Assuredness WG will meet only on Wednesday. (Joe Bergmann)
The Architecting to the Edge WG will meet Thursday Afternoon. (Glen Logan)
The MILS Architecture WG will meet Wednesday and Thursday morning. (Michael McEvilley). See below
RTES FORUM AGENDA
“MILS Architecture” and “Architecting to the Edge”
Members Work Group Break-out Sessions
The Open Group, Real-Time Embedded Systems Forum
Thursday February 5, 2009, San Diego, California
9:00-10:30 |
Michael McEvilley |
MILS Architecture WG |
10:00-11:00 |
Break |
|
11:00-1230 |
Michael McEvilley |
MILS Architecture WG |
12:30-1:30 |
Lunch |
|
1:30-2:15 |
Robert Secord, CMU/SEI/CERT |
Secure Coding |
2:15-3:00 |
Richard Paine, Boeing |
Secure Mobile Architecture |
3:00-3:30 |
Charles Kuehl, Raytheon |
AIAA Update Standards |
3:30-6:00 |
Glen Logan |
Architecting to the Edge WG |
JSR 302 Expert Group -- Safety Critical Java -- Expected to meet 2-5 February 08. For details contact Doug Locke, Expert Group lead. doug@douglocke.com>
Note: Because of requests to catch Friday flights the members meeting will be Wednesday or Thursday evening of this week.
IF WE ARE ABLE TO CONDUCT THE RTES FORUM MEMBERS MEETING ON WEDNESDAY OR THURSDAY EVENING THERE WILL BE NO MEETINGS ON FRIDAY.