Past PI Meeting Presentations

Links to presentations from past PI meetings appear below. Although Rockwell Collins has been involved with the Software Enabled Controls program from its outset, our work on a Pattern-driven approach to the Analysis of Adaptation of High Assurance software only began in mid July of 2002.

The November 2002 PI Meeting presentation represents a first progress report on this effort. At the time of this meeting, most of the work on the eXtensible Intermediate Language (XCIL) had been completed, and most of the OCP code had been translated to XCIL.

The May 2003 PI Meeting presentation represents a second progress report, with preliminary results based on our initial analysis of the OCP. At this point, we had a definition for our eXtensible Pattern Specification Language (XPSL), and had used XPSL to define the SEC Pattern Catalog. All of the OCP had been been translated to XCIL, with the ISU toolset provided analysis of the resulting XCIL in accordance with the first ten patterns selected from the catalog (based on the importance of the issues they addressed).

Current plans call for additional work on tool support for these patterns, and the transformations associated with them. We plan to focus first on those patterns that address the most significant problems that we found during our initial analysis. Modules that are adapted (changed) will be tested using test cases generated by T-VEC from formal (pre/post) specifications of their interfaces. Formal interface specs will also be developed to test subtyping relationships in accordance with the patterns in the catalog.

Related documents: Nov ‘02 | May ‘03

Home | Issues | Vision | XCIL | XPSL | Pattern catalogs | KCS tools | Results | Services | Standards | Tech transfer