OMG Homepage MDA Homepage CORBA Homepage MOF Homepage UML Homepage CWM Homepage XMI Homepage DDS Homepage OMG MARTE BPMN Homepage SysML Homepage banner



OMG’s First Software Assurance Workshop:
Working Together for Confidence

Fairfax, VA USA – March 5-7, 2007

[ Program ] [ Keynote ] [ Tutorials ]

 

Presentations

Manufacturing Software Interoperability and Assurance using Standardized Capability
Profiling: An ISO 16100 Proposal
Michiko Matsuda, Professor, Kanagawa Institute of Technology - Qian Wang, Professor, Southeast
University - Em delaHostria, Manager, Rockwell Automation - Eiji Arai, Professor, Osaka University
Arrow

PDF


Building High-Assurance Systems out of Software Components of Lesser Assurance Using
Middleware Security Gateways
Sebastian Staamann, Director for Security Products and Solutions, PrismTech Arrow

PDF


Towards a Meta-model for Dependability Cases
George Despotou, D. Kolovos, R. Paige, F. Polack and T. Kelly, University of York Arrow

PDF


Certifying Applications for Known Security Weaknesses: The Common Weakness Enumeration
(CWE) Effort
Robert A. Martin, Principal Engineer, MITRE Corporation Arrow

PDF


SOA ,Technical Risks, and Emerging Standards
Victor L. Harrison, Partner, Federal Consulting Practice, Computer Sciences Corporation Arrow

PDF


Software Assurance Ecosystem
Djenana Campara, Chief Executive Officer, KDM Analytics Arrow

PDF


Creating a Baseline Functional Specification for Source Code Analysis Tools
Michael Kass, Computer Scientist, National Institute of Standards and Technology Arrow

PDF


Software Reviews at Ericsson
Dominique Toupin, Software Quality Assurance Manager, Ericsson Arrow

PDF


High Fidelity Static Analysis for Secure Enterprise Software Requires Platform Knowledge
Nikolai Mansourov, CTO, KDM Analytics Arrow

PDF


Opportunities and Obstacles to Using Static Analysis for the Development of Safety-Critical
Software
Redge Bartholomew, Engineering Manager, Rockwell Collins Arrow

PDF


Gaps in Static Analysis Tools Coverage
Pedro Vales, Principal Software Engineer, James Butler, Manager, Knowledge Solutions, David
Rager, Sr. Software Engineer, Charles Stack, Principal Software Engineer and Christopher Telfer,
Ph.D., Principal Software Engineer, Concurrent Technologies Corporation
Arrow

PDF


Automatic Model-driven Security Policy Generation for High Assurance Systems
Ulrich Lang, CEO & Rudolf Schreiner, CTO, ObjectSecurity - Ramesh Bharadwaj, High Assurance
Center, US Naval Research Laboratory, Tom Ritter, Fraunhofer Institute FOKUS
Arrow

PDF


Fault Tree Analysis of UML Designs
Christopher Harper, Director, Avian Technologies Ltd. & Alan Parkinson, AGP Micro Ltd. Arrow

PDF


Harmonizing System Development and Test Development with MDA
Zhen Ru Dai, Fraunhofer FOKUS Arrow

PDF


So You Have to Verify Software? A Quick Look at What You Should Expect
Frédéric Michaud & Frédéric Painchaud, Defence Research and Development Canada – Valcartier Arrow

PDF


Using the Principle of Least Authorization to Improve Software Assurance
David Chizmadia, Sr. Security Assurance Analyst, Promia Arrow

PDF


Full Cycle Real Time Information Assurance
Sumeet Malhotra, Global Director Of Advanced Research, UNISYS Arrow

PDF


[ top ]

Tutorials

Introduction to Software Security and Assurance Cases
Samuel T. Redwine, Jr., Associate Professor, James Madison University Arrow

PDF

PDF


Security in the Software Life Cycle
Karen Mercedes Goertzel & Theodore Winograd, Booz Allen Hamilton Arrow

PDF


Software Safety Case Management
Tim Kelly, High Integrity Systems Engineering Group, Dept. of Computer Science, University of York Arrow

PDF


An Introduction to Attack Patterns as a SwA Knowledge Resource
Sean Barnum, Principal Consultant, Cigital Arrow

PDF


MILS: Architecture Enabling High Assurance
Gordon Uchenick, Objective Interface Systems & W. Mark Vanfleet, National Security Agency Arrow

PDF


Last updated on 08/24/2012

Copyright © 1997-2012 Object Management Group, Inc. All Rights Reserved. For questions about the WEBSITE , please contact webmaster@omg.org.
For TECHNICAL questions, please contact webtech@omg.org
.
This site is best viewed  with Netscape Navigator, Mozilla Firefox or Internet
Explorer versions 6.0 or later or any browser capable of viewing JavaScript and CSS 2.0. The site is using
DHTML JavaScript Menu By Milonic.com.