Software Engineering Institute | Carnegie Mellon University
Software Engineering Institute | Carnegie Mellon University

Digital Library

Javascript is currently disabled for your browser. For an optimal search experience, please enable javascript.

Advanced Search

Basic Search

Content Type

Topics

Publication Date

Showing 1 - 8 of 8 results for the performance and dependability Type - White Paper

White Paper | April 2009 - White Paper Evaluating Hazard Mitigations with Dependability Cases By Matthew R. Barry (Software Intensive Systems - Inc.), John B. Goodenough

In this 2009 paper, the authors present an example to show the value a dependability case adds to a traditional hazard analysis.

White Paper | April 2009 - White Paper Assurance Cases for Design Analysis of Complex System of ... By Stephen Blanchette - Jr.

This paper discusses the application of assurance cases as a means of building confidence that the software design of a complex system of systems will actually meet the operational objectives set forth in the project's top-level requirements.

White Paper | January 2010 - White Paper Industry Standard Notation for Architecture-Centric Model ... By Peter H. Feiler

In this paper, Peter Feiler describes the AADL, an industry standard for modeling and analyzing the architecture of software-reliant systems.

White Paper | May 2008 - White Paper Using Model-Based Engineering and Architectural Models to ... By Peter H. Feiler, Jörgen Hansson (University of Skovde), John Morley

In this paper, the authors present analytical techniques to model and validate security protocols for enforcing confidentiality and integrity.

White Paper | November 2009 - White Paper System of Systems Software Assurance By John B. Goodenough

This white paper describes SEI investigation into ways to provide justified confidence that a system of systems will behave as needed in its actual and evolving usage environments.

White Paper | December 2007 - White Paper Diagrams and Languages for Model-Based Software ... By Dionisio de Niz

The tools compared in this discussion, the Unified Modeling Language (UML) and the Architecture Analysis and Design Language (AADL), facilitate the modeling of software architecture and provide elements to understand it.

White Paper | May 2008 - White Paper Building Secure Systems Using Model-Based Engineering ... By Peter H. Feiler, Jörgen Hansson (University of Skovde), John Morley

A system designer faces several challenges when specifying security for distributed computing environments or migrating systems to a new execution platform.

White Paper | May 2003 - White Paper The SAE Avionics Architecture Description Language (AADL) ... By Peter H. Feiler, Steve Vestal (Honeywell Technology Center)

The AADL standard will include a UML profile useful for avionics, space, automotive, robotics and other real-time concurrent processing domains including safety critical applications.