Slide 1 Highlights from this Meeting: –Submissions Reviewed: Software Assurance Evidence Metamodel (SAEM) Revised Submission –RFPs / RFCs / RFIs reviewed: Argumentation Metamodel RFC 0.3 –Date Changes (submission dates) SAEM revised final submission to Dec 2009 TC Meeting Date: Sep 14-18, 2009 Co-Chairs: Ben Calloni, Djenana Campara, Paul Work Group page (URL): Group System Assurance (SysA) PTF

Slide 2 Highlights from this Meeting: –Other Roadmap discussion and way ahead (RTESS / SwaSIG merger) TOGAF Dependability through Assuredness Initiative - Ed Roberts, Elparazim –Utilize / Incorporate SysML, SPEM2, UML Profile for AADL / MARTE, SBVR, and SAEM to drive to dependability assertion Integrating Automated Analysis into Development Practice – Dr. Matt Wilding, Rockwell Collins –Model Based Development enhances Formal Methods –Guardol: A Domain Specific language for Guard / Downgrader development RT-CORBA Common Criteria Protection Profile – Gordon Uchenick, OIS TC Meeting Date: Sep 14-18, 2009 Co-Chairs: Ben Calloni, Djenana Campara, Paul Work Group page (URL): Group System Assurance (SysA) PTF

Slide 3 Deliverables for this Meeting: –sysa/ : System Assurance PTF Roadmap –sysa/ : TOGAF Dependability through Assuredness Initiative –sysa/ : Integrating Automated Analysis into Development Practice –sysa/ : RT-CORBA Common Criteria Protection Profile –sysa/ : SAEM Revised Submission –sysa/ : Argumentation Metamodel RFC –sysa/ : PTC Plenary Report System Assurance (SysA) PTF TC Meeting Date: Sep 14-18, 2009 Co-Chairs: Ben Calloni, Djenana Campara, Paul Work Group page (URL): Group

Slide 4 Next meeting: –Wednesday and Thursday, Dec 9-10, Long Beach, CA. –SAEM Revised Submission (Vote-to-vote, Vote to Adopt) –ARM RFC (Vote to Issue) –Organize Guardol Specification WG / Discussion System Assurance (SysA) PTF TC Meeting Date: Sep 14-18, 2009 Co-Chairs: Ben Calloni, Djenana Campara, Paul Work Group page (URL): Group