Digital Library

Topics: Software Architecture

This report presents an analysis of the economic effects of the System Architecture Virtual Integration approach on the development of software-reliant systems for aircraft compared to existing development paradigms.

Topics: Software Architecture

Presentation on research to detect vulnerabilities early in the lifecycle in architecture models

Topics: Cyber-Physical Systems

Poster for a research project on saftey-critical system security policy enforcement

Topics: Software Architecture

Peter Feiler was named an SEI Fellow in August 2016. This podcast is the second in a series highlighting interviews with SEI Fellows.

Recent advances in virtual system integration through architecture modeling and analysis have led to improvements in safety analysis in several ways, which will be described in this presentation.

Topics: Software Architecture

Architecture-Led Safety Analysis (ALSA) is a safety analysis method that uses early architecture knowledge to supplement traditional safety analysis techniques to identify faults as early as possible.

Describes research that produced tools for demonstrating a measurable reduction in the cost of verifying system implmementations

Topics: Software Architecture

In this podcast, Peter Feiler describes a textual requirement specification language for the Architecture Analysis & Design Language (AADL) called ReqSpec.

Virtual System Integration

Critical System Assurance Challenge

Topics: Cyber-Physical Systems

In this paper, the authors we discuss three elements that are key to safety analysis automation in the context of fault tree analysis (FTA).

Topics: Software Architecture

In this paper, the authors focus on the architecture-led development process and illustrate the support given by ALISA.

Topics: Software Architecture

This report describes the Error Model Annex, Version 2 (EMV2), notation for architecture fault modeling, which supports safety, reliability, and security analyses.

Topics: Software Architecture

This report describes a textual requirement specification language, called ReqSpec, for the Architecture Analysis & Design Language (AADL) and demonstrates its use.

Topics: Software Architecture

This paper presents an in-depth study of a safety-critical system that underwent major changes as a result of missed architectural dependencies.

Topics: Software Architecture

This report summarizes an architecture-led safety analysis of the aircraft-survivability situation-awareness system for the Joint Multi-Role vertical lift program.

Topics: Software Architecture

This report describes a method for capturing information from requirements documents in AADL and the draft Requirement Definition & Analysis Language Annex.

Topics: Software Architecture

This report describes a method for capturing information from requirements documents in AADL to identify potential integration problems early in system development.

This presentation discusses problems associated with the increasing complexity of software systems that are threatening industry's ability to build the next generation of safety-critical embedded systems.

Explores a solution for the limitations of traditional system development development lifecycle methods

This poster explores ways to improve critical system assurance.

This 2015 Research Review presentation explores the author's research into ways to improve critical system assurance.

The AADL Workbench includes tools for modeling, analysis, and usability capabilities. It also incorporates tools such as Resolute and Ocarina.

Topics: Software Architecture

The case study shows that by combining an analytical approach with confidence maps, we can present a structured argument that system requirements have been met and problems in the design have been addressed adequately.

Topics: Software Architecture

The U.S. Army is investigating a new approach to model-based engineering called the Architecture-Centric Virtual Integration Process, based on the SAE Standard for AADL.

Topics: Software Architecture

The case study shows that by combining an analytical approach with confidence maps, we can present a structured argument that system requirements have been met and problems in the design have been addressed adequately.

Topics: Software Architecture

In this podcast, Peter Feiler and Thierry Cornilleau discuss their experiences with the Architecture Analysis and Design Language.

This TSP Symposium 2014 presentation describes an architecture-led incremental assurance strategy that addresses mission- and safety-critical software-reliant systems.

Topics: Software Architecture

This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.

Topics: Software Architecture

In this podcast, Peter Feiler and Serban Gheorghe of Edgewater discuss their work on the Architecture Analysis and Design Language.

Topics: Software Architecture

In this podcast, Peter Feiler and Myron Hecht discuss the use of AADL by the Aerospace Corporation.

Topics: Software Architecture

Real-World Applications of the Architecture Analysis and Design Language (AADL)

This report describes line-funded exploratory new starts (LENS) projects that were conducted during fiscal year 2012 (October 2011 through September 2012).

Topics: Software Architecture

In this podcast, Peter Feiler discusses his recent work to improve the quality of software-reliant systems through an approach known as the Reliability Validation and Improvement Framework.

A presentation from the ninth annual SATURN conference, held in Minneapolis, MN, April 29 - May 3, 2013.

Topics: Software Architecture

This white paper presents an improvement strategy comprising four pillars of an integrate-then-build practice that lead to improved quality through early defect discovery and incremental end-to-end validation and verification.

Topics: Software Architecture

In this podcast, Peter Feiler discusses the latest changes to the Architecture Analysis & Design Language (AADL) standard.

Topics: Performance and Dependability, Software Architecture

Julien Delange and Peter Feiler discuss the latest developments with the Architecture Analysis and Design Language (AADL) standard.

Topics: Software Architecture

This report discusses the reliability validation and improvement framework developed by the SEI. The purpose of this framework is to provide a foundation for addressing the challenges of qualifying increasingly software-reliant, safety-critical systems.

Topics: Software Architecture

Model-Based Engineering with AADL introduces an architecture-centric approach to discovering software systems problems earlier, when they cost less to solve.

Topics: Software Architecture

This report presents the Virtual Upgrade Validation (VUV) method, an approach that uses architecture-centric, model-based analysis to identify system-level problems early in the upgrade process to complement established test qualification techniques.

Topics: Software Architecture

This report provides an overview of changes and improvements to the Architecture Analysis & Design Language (AADL) standard for describing both the software architecture and the execution platform architectures of performance-critical, embedded, real-time systems.

This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.

Topics: Performance and Dependability

This 35-minute software architecture modeling demonstration describes an approach for virtual integration in system development.

Topics: Performance and Dependability, Software Architecture

This report describes how AADL support an instantiation of a reference architecture, address architectural themes, and provide a foundation for the analysis of performance elements and system assurance concerns.

Topics: Performance and Dependability, Software Assurance

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

Topics: Acquisition Support, Measurement and Analysis, Performance and Dependability, Process Improvement, Software Architecture, Software Product Lines, System of Systems

In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.

Topics: Performance and Dependability, Software Architecture

This report introduces key concepts of the SAVI paradigm and discusses the series of development scenarios used in a POC demonstration to illustrate the feasibility of improving the quality of software-intensive aircraft systems.

This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).

Topics: Acquisition Support, Software Architecture

This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2007 (October 2006 through September 2007).

Topics: Performance and Dependability

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

Topics: Performance and Dependability

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

Topics: Performance and Dependability

This report presents findings of a study of RTSCE software-intensive systems issues and develop recommendations for effectively dealing with those issues.

Topics: Performance and Dependability, Software Architecture

This 2007 report describes the ability of AADL to determine a lower bound for the worst-case end-to-end latency in a system.

Topics: Performance and Dependability, Software Architecture

This 2007 report explains the capabilities of the Error Model Annex and provides guidance on the use of the AADL and the error model in modeling dependability aspects of embedded system architectures.

Topics: Performance and Dependability

This report discusses how AADL can be used to model system families and configurations of system and component variants.

This report describes the IRAD projects that were conducted during fiscal year 2006 (October 2005 through September 2006).

Topics: Performance and Dependability, Software Architecture

This 2007 document helps practitioners use AADL and describes an approach for and the mechanics of constructing an architectural model that can be analyzed based on the AADL.

Topics: Ultra-Large-Scale Systems

Ultra-Large-Scale Systems: The Software Challenge of the Future is the product of a 12-month study of ultra-large-scale (ULS) systems software.

Topics: Performance and Dependability, Software Architecture

This 2006 report provides an introduction to the AADL, a modeling language that supports early and repeated analyses of a system's architecture with respect to performance-critical properties.

This report describes the IR&D projects that were conducted during fiscal year 2005 (October 2004 through September 2005). In addition, this report provides information on what the SEI has learned in its role as a technology scout for developments over the past year in the field of software engineering.

Topics: Performance and Dependability, Software Architecture

This 2004 report discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system.

Topics: Performance and Dependability

This 2003 report examines the OSEK OS, OSEK COM, and OSEK OIL specifications from the perspective of a real-time application developer.

This report describes the IR&D projects that were conducted during fiscal year 2003 (October 2002 through September 2003).

Topics: Performance and Dependability

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.

Topics: Performance and Dependability

This report presents the results of a workshop on real-time systems engineering. The workshop was held as part of the SEI Symposium in Washington, DC, during September 2000.

Topics: Performance and Dependability

This 2000 paper discusses a model-based architectural approach for improving predictability of performance in embedded real-time systems.

This paper examines issues relating to the impact of change in real-time control applications.

Topics: Software Architecture

This paper presents some of the steps in an emerging architecture tradeoff analysis method (ATAM).

This 1993 report discusses a plan that addresses how the Software Engineering Institute (SEI) may assist the Department of Defense (DoD) in reengineering its large software-intensive systems.

This 1992 report defines a core set of concepts about the software process. These concepts are intended to facilitate communications and to provide a framework for further definitions.

This 1992 report examines Software Development Environments (SDEs) from an integration perspective, describing the previous work in this area and analyzing the integration issues that must be addressed in an SDE.

This report describes the use of a Project Support Environment (PSE) services reference model as an analysis technique that helps in describing, understanding, and comparing aspects of integration in a PSE.

This report identifies areas where successful standardization would improve tool and environment integration, as well as to pinpoint areas where successful integration standards exist.

This paper describes the evolution of environment architectures to support federated CASE integration and outlines the implications of this evolution on the technical issues of CASE tool integration.

This 1991 report analyzes CM models with respect to their potential impact on the software development process, resulting in several observations.

This report illustrates some of the advances in software configuration management (SCM) concepts by example of a particular commercial system: the Sun Network Software Environment (NSE).

This report describes a portion of the problem of maintaining tools for the purpose of software development.

This 1988 report covers a project management (PM) experiment, one of six experimentsthat examine different functional areas of Ada programming environments.

This 1988 report presents an analysis of the Rational R1000 Development System for ADA, also called the Rational Environment.

This 1988 report examines management support for development through integrated environmentsand investigate the implications for environment architectures.

This report attempts to do two things: specify an understanding of user interfaces by presenting a taxonomy that encompasses the various aspects of user interfaces, and indicate the state of the technology today by highlighting some of the major issues.