Showing 1 - 8 of 8 results for the performance and dependability Type - White Paper
In this 2009 paper, the authors present an example to show the value a dependability case adds to a traditional hazard analysis.
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.
In this paper, Peter Feiler describes the AADL, an industry standard for modeling and analyzing the architecture of software-reliant systems.
In this paper, the authors present analytical techniques to model and validate security protocols for enforcing confidentiality and integrity.
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.
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.
A system designer faces several challenges when specifying security for distributed computing environments or migrating systems to a new execution platform.
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.