Transcript {TF/SIG/WG/SC Name Here}

System Assurance (SysA) PTF
TC Meeting Date: Sep 14-18, 2009
Co-Chairs: Ben Calloni, Djenana Campara, Paul
Work
Group page (URL): http://sysa.omg.org
Group email: [email protected]
• 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
Slide 1
System Assurance (SysA) PTF
TC Meeting Date: Sep 14-18, 2009
Co-Chairs: Ben Calloni, Djenana Campara, Paul
Work
Group page (URL): http://sysa.omg.org
Group email: [email protected]
• 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
Slide 2
Uchenick, OIS
System Assurance (SysA) PTF
TC Meeting Date: Sep 14-18, 2009
Co-Chairs: Ben Calloni, Djenana Campara, Paul
Work
Group page (URL): http://sysa.omg.org
Group email: [email protected]
• Deliverables for this Meeting:
– sysa/2009-09-01: System Assurance PTF Roadmap
– sysa/2009-09-02: TOGAF Dependability through Assuredness
Initiative
– sysa/2009-09-03: Integrating Automated Analysis into
Development Practice
– sysa/2009-09-04: RT-CORBA Common Criteria Protection
Profile
– sysa/2009-09-05: SAEM Revised Submission
– sysa/2009-09-06: Argumentation Metamodel RFC
– sysa/2009-09-07: PTC Plenary Report
Slide 3
System Assurance (SysA) PTF
TC Meeting Date: Sep 14-18, 2009
Co-Chairs: Ben Calloni, Djenana Campara, Paul
Work
Group page (URL): http://sysa.omg.org
Group email: [email protected]
• 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
Slide 4