You are here: The Open Group > The Open Group Conference - Seattle 2010 > Proceedings
       

Real-Time & Embedded Systems Forum

Objective of Meeting

The objectives of the Monday sessions were to provide an introduction to the Real-Time & Embedded Systems Forum for new members and potential members so they would have a better perspective on the Forum and the benefits of participation.  Additionally, the major technical focus of the day was on formal methods and tools for high assurance environments, to allow the RT&ES Forum members who are dependent on formal methods for high assurance, to increase their understanding of what is currently available.

Summary

The overview of the RT&ES Forum presented by Joe Bergmann, Director of the RT&ES Forum, highlighted the Forum deliverables and the fact that the Forum is working to increase active participation on focused activities, by offering additional face-to-face meeting opportunities and quarterly webinars to maintain the momentum and productivity, catalyzed during the quarterly Open Group conferences. For a general timeframe of upcoming events, please see the RT&ES schedule in the overview presentation.

The next session provided an overview of Software Assurance (SWA) Issues as presented by Dr. Ben Calloni, P.E. OCRES Professional Lockheed Martin Aeronautics Company, FTW LM Corporate Fellow, Software Security, OMG BoD, and The Open Group BoD. Ben’s presentation highlighted some of the challenges in dealing with Cybersecurity and some of the important Software Assurance principles that need to be applied. He walked the Forum through some of the current assessment approaches and their associated limitations and accompanied that with suggested improvements. He focused on the importance of looking at the entire SWA eco-system and the need for automation and tools in the assessment process.

The afternoon session provided an in-depth look at formal methods with a presentation from John Rushby, Computer Science Laboratory. John’s presentation focused on Validation and Verification methods, looking at software correctness versus system claims and exploring how to measure and predict software reliability. He also looked at formal methods for predicting probabilities of perfection and failure in software.

Outputs

The outputs of these sessions were primarily informational.

Next Steps

The next steps that came out of the Monday sessions were to consider a session on formal methods and software assurance at the Rome conference in April, where we may be able to pull in additional global participants who are doing work in these areas.

Links

See above.


   
   |   Legal Notices & Terms of Use   |   Privacy Statement   |   Top of Page   Return to Top of Page