Joe Bergmann, Director of the RT&ES Forum, The Open Group, gave an introduction and stressed the importance of the vision and mission:
The Vision: To employ widely supported and open real-time standards and enabling technologies to deliver testable and certifiable cost-effective, mission-capable systems.
The Mission: To improve the time and cost to market adoption of real-time and embedded solutions by providing a forum where we can share knowledge and integrate open initiatives, and certify approved products and processes.
Joe outlined the various RT&ES Forum activities and working groups and emphasized their relevance to Dependability through Assuredness and their alignment with delivering high assurance and high robustness to customers who depend upon it.
Rance DeLong, LynuxWorks provided a summary of the Vision and the Objectives of the MILS API working group and summarized their progress to-date in creating a standard set of MILS APIs from a minimal runtime perspective.
Rance announced that Paul Chen from Wind River, who has been the co-chair of the MILS API working group, will be stepping down and transitioning his co-chair position to Joe Wlad, also from Wind River. Thank you to Paul Chen for his consistent quality contributions as co-chair!
Rance’s presentation covered the FAQ that was drafted and evolved by the working group, the MILS API standard in relation to The Open Group and other standards, a draft Standard Development Plan (Outline), and the issues surrounding the development of a MILS API Standard, which spanned business, technical, and administrative concerns.
Rance also summarized the MILS 1-pager, which captures the concept and objective of MILS API. It was distributed in hardcopy to the group. Following the main presentation, there was a facilitated session to identify and prioritize the outstanding issues related to business, technical, and administrative areas of the MILS API work, during which the issues identified in the presentation were updated in “real time”. The presentation as posted reflects those updates.
The following presentations were made:
- Update on the MILS Architecture Requirement for UAVs, given by Rob Hoffman, High Assurance Systems MILS Architecture/APIs CEP
- Dependability through Assuredness: "Dependability by Design", given by Dr. Daniel Jackson and Eunsuk Kang, MIT
- MIT Dependability through Assuredness: “Making the Case”, given by John Rushby, SRI
- Dependability through Assuredness: Panel Discussion, facilitated by Jack Fujieda, ReGIS, Glen Logan, Chair RT&ES Forum, and John Rushby, SRI
The afternoon presentations were followed by a panel discussion on some of the important issues around dependability and formal methods – and the importance of assuring products operate as securely and reliably as they were intended.
