Digital Library

Topics: Software Architecture

Authors: Jörgen Hansson (University of Skovde), Steve Helton (The Boeing Company), Peter H. Feiler

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

Authors: Peter H. Feiler, Samuel Procter

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

Topics: Cyber-Physical Systems

Authors: Peter H. Feiler, Samuel Procter

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

Topics: Software Architecture

Authors: Peter H. Feiler

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

Authors: Peter H. Feiler

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

Authors: Peter H. Feiler, Julien Delange, David P. Gluch, John McGregor

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.

Authors: Peter H. Feiler

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

Topics: Software Architecture

Authors: Peter H. Feiler

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

Authors: Peter H. Feiler

Virtual System Integration

Authors: Peter H. Feiler

Critical System Assurance Challenge

Topics: Cyber-Physical Systems

Authors: Peter H. Feiler, Julien Delange

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

Authors: John McGregor, David P. Gluch, Peter H. Feiler

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

Topics: Software Architecture

Authors: Peter H. Feiler, John J. Hudak, Julien Delange, David P. Gluch

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

Authors: Peter H. Feiler, Julien Delange, Lutz Wrage

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

Topics: Software Architecture

Authors: Robert Nord, Raghvinder Sangwan, Julien Delange, Peter H. Feiler, Luke Thomas (Indiana University–Purdue University), Ipek Ozkaya

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

Authors: Peter H. Feiler

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

Authors: Peter H. Feiler

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

Topics: Software Architecture

Authors: Peter H. Feiler, John J. Hudak

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

Authors: Peter H. Feiler

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.

Authors: Peter H. Feiler, Lutz Wrage

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

Authors: Peter H. Feiler

This poster explores ways to improve critical system assurance.

Authors: Peter H. Feiler

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

Authors: Peter H. Feiler

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

Topics: Software Architecture

Authors: Peter H. Feiler

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

Authors: Alex Boydston (U.S. Army ADD/JMR), Peter H. Feiler, Steve Vestal (Adventium Labs, Inc.), Bruce Lewis (U.S. Army SED)

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

Authors: Peter H. Feiler, Charles B. Weinstock, John B. Goodenough, Julien Delange, Ari Z. Klein, Neil Ernst

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

Authors: Thierry Cornilleau (Dassault Aviation), Peter H. Feiler

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

Authors: Peter H. Feiler

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

Topics: Software Architecture

Authors: Julien Delange, Peter H. Feiler, David P. Gluch, John J. Hudak

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

Authors: Serban Gheorghe (Edgewater Computer Systems, Inc.), Peter H. Feiler, Suzanne Miller

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

Topics: Software Architecture

Authors: Myron Hecht (The Aerospace Corporation), Peter Feiler, Suzanne Miller

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

Topics: Software Architecture

Authors: Etienne Borde, Peter Feiler

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

Authors: Bjorn Andersson, Lori Flynn, David P. Gluch, Dennis Goldenson, Arie Gurfinkel, Jeff Havrilla, Chuck Hines, John J. Hudak, Carly L. Huth, Wesley Jin, Rick Kazman, Stephany Bellomo, Mary Ann Lapham, James McCurley, John McGregor, David McIntire, Robert Nord, Ipek Ozkaya, Brittany Phillips, Robert W. Stoddard, David Zubrow, Lisa Brownsword, Yuanfang Cai (Drexel University), Sagar Chaki, William R. Claycomb, Julie B. Cohen, Peter H. Feiler, Robert Ferguson

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

Authors: Peter Feiler

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.

Authors: Peter H. Feiler, Julien Delange

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

Topics: Software Architecture

Authors: Peter H. Feiler, John B. Goodenough, Arie Gurfinkel, Charles B. Weinstock, Lutz Wrage

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

Authors: Peter Feiler

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

Topics: Performance and Dependability, Software Architecture

Authors: Peter Feiler, Julien Delange

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

Topics: Software Architecture

Authors: Peter H. Feiler, John B. Goodenough, Arie Gurfinkel, Charles B. Weinstock, Lutz Wrage

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

Authors: Peter H. Feiler, David P. Gluch

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

Authors: Dionisio de Niz, Peter H. Feiler, David P. Gluch, Lutz Wrage

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

Authors: Peter H. Feiler, Joe Seibel, Lutz Wrage

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.

Authors: William Anderson, David Fisher, David P. Gluch, Jeffrey Hansen, Jörgen Hansson (University of Skovde), John J. Hudak, Karthik Lakshmanan, Richard C. Linger (Oak Ridge National Laboratory), Howard F. Lipson, Gabriel Moreno, Edwin J. Morris, Archie D. Andrews, Onur Mutlu, Robert Nord, Ipek Ozkaya, Daniel Plakosh, Mark Pleszkoch, Ragunathan Rajkumar, Joe Seibel, Soumya Simanta, Charles B. Weinstock, Lutz Wrage, Nanette Brown, Cory Cohen, Christopher Craig, Tim Daly, Dionisio de Niz, Andres Diaz-Pace, Peter H. Feiler

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

Topics: Performance and Dependability

Authors: Peter H. Feiler

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

Topics: Performance and Dependability, Software Architecture

Authors: Peter H. Feiler, David P. Gluch, Kurt Woodham (L-3 Communications-Titan Group)

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

Authors: Peter H. Feiler

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

Authors: Len Bass, Lutz Wrage, Paul C. Clements, Dionisio de Niz, Peter H. Feiler, Matthew Geiger, Jeffrey Hansen, Jörgen Hansson (University of Skovde), Scott Hissam, James Ivers, Mark H. Klein, Karthik Lakshmanan, Gabriel Moreno, Daniel Plakosh, Ragunathan Rajkumar, Kristopher Rush, Cal Waits, Kurt C. Wallnau

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

Authors: Peter H. Feiler, Jörgen Hansson (University of Skovde), Dionisio de Niz, Lutz Wrage

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.

Authors: Dionisio de Niz, Gabriel Moreno, Robert Nord, Ipek Ozkaya, Daniel Plakosh, Ragunathan Rajkumar, Lui R. Sha, Robert W. Stoddard, Kurt C. Wallnau, Charles B. Weinstock, Lutz Wrage, Sherman Eagles, Peter H. Feiler, John B. Goodenough, Jörgen Hansson, Paul Jones, Rick Kazman, Mark H. Klein, Insup Lee

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

Authors: Len Bass, Lui R. Sha, Dennis B. Smith, Kurt C. Wallnau, Jörgen Hansson (University of Skovde), John J. Hudak, Dionisio de Niz, Peter H. Feiler, Donald Firesmith, Mark H. Klein, Kostas Kontogiannis, Grace Lewis, Marin Litoiu (IBM Canada Ltd.), Stefan Schuster

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

Authors: 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.

Topics: Performance and Dependability

Authors: 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.

Topics: Performance and Dependability

Authors: Peter H. Feiler, Dionisio de Niz

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

Authors: Peter H. Feiler, Jörgen Hansson (University of Skovde)

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

Authors: Peter H. Feiler, Ana Rugina

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

Authors: Peter H. Feiler

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

Authors: Christopher J. Alberts, Eileen C. Forrester, Suzanne Garcia-Miller, Aaron Greenhouse, Jörgen Hansson (University of Skovde), James D. Herbsleb, James Ivers, Peter Lee, Richard C. Linger (Oak Ridge National Laboratory), Thomas A. Longstaff, Pratyusa K. Manadhata, William Anderson, B. Craig Meyers, Mike Phillips, Carol A. Sledge, James Smith, Kurt C. Wallnau, Gwendolyn H. Walton, J. Wing, Noam Zeilberger, Len Bass, Matt Bass, Philip J. Boxer, Lisa Brownsword, Sagar Chaki, Peter H. Feiler, David Fisher

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

Topics: Performance and Dependability, Software Architecture

Authors: John J. Hudak, Peter H. Feiler

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

Authors: Peter H. Feiler, Kevin Sullivan (University of Virginia), Kurt C. Wallnau, Richard P. Gabriel (Sun Microsystems), John B. Goodenough, Richard C. Linger (Oak Ridge National Laboratory), Thomas A. Longstaff, Rick Kazman, Mark H. Klein, Linda M. Northrop, Douglas Schmidt (Vanderbilt University)

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

Authors: Peter H. Feiler, David P. Gluch, John J. Hudak

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.

Authors: Rosann W. Collins, Rick Kazman, Richard C. Linger (Oak Ridge National Laboratory), Mark Pleszkoch, Stacy J. Prowell, Natasha Sharygina, Kurt C. Wallnau, Gwendolyn H. Walton, Charles B. Weinstock, Lutz Wrage, Sagar Chaki, Peter H. Feiler, John B. Goodenough, Aaron Greenhouse, Jörgen Hansson (University of Skovde), Alan R. Hevner (University of South Florida), John J. Hudak, Angel Jordan

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

Authors: Peter H. Feiler, David P. Gluch, John J. Hudak, Bruce Lewis (U.S. Army AMCOM)

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

Authors: Peter H. Feiler

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

Authors: Felix Bachmann, Sven Dietrich, Peter H. Feiler, Suzanne Garcia-Miller, Mark H. Klein, Edwin J. Morris, Patrick R. Place, Daniel Plakosh, Robert C. Seacord, Anthony J. Lattanze, B. Craig Meyers, John McHugh, Len Bass, David J. Carney

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

Topics: Performance and Dependability

Authors: 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.

Topics: Performance and Dependability

Authors: B. Craig Meyers, Peter H. Feiler, Theodore F. Marz

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

Authors: Peter H. Feiler, Bruce Lewis (U.S. Army AMCOM), Steve Vestal (Honeywell Technology Center)

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

Authors: Peter H. Feiler

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

Topics: Software Architecture

Authors: Mario R. Barbacci, Peter H. Feiler, Mark H. Klein, Howard F. Lipson, Thomas A. Longstaff, Charles B. Weinstock, Jeromy Carriere

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

Authors: Peter H. Feiler

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.

Authors: Peter H. Feiler, Watts S. Humphrey

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.

Authors: Alan W. Brown, Peter H. Feiler, Kurt C. Wallnau

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.

Authors: Alan W. Brown, Peter H. Feiler

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.

Authors: Edwin J. Morris, Peter H. Feiler, Dennis B. Smith

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

Authors: Kurt C. Wallnau, Peter H. Feiler

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.

Authors: Peter H. Feiler

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

Authors: Peter H. Feiler, Grace Downey

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).

Authors: Peter H. Feiler, Grace Downey

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

Authors: Peter H. Feiler, Roger Smeaton

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

Authors: Peter H. Feiler, Susan A. Dart, Grace Downey

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

Authors: Peter H. Feiler, Roger Smeaton

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

Authors: Peter H. Feiler

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.