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.
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.
