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

Peter H. Feiler
November 2014 - Presentation An Incremental Life-Cycle Assurance Strategy for Critical System Certification

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.

October 2014 - Technical Report AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment

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.

July 2014 - Podcast AADL and Edgewater

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.

March 2014 - Podcast AADL and Aerospace

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.

December 2013 - Podcast AADL and Télécom Paris Tech

Topics: Software Architecture

Authors: Etienne Borde, Peter Feiler

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

May 2013 - Podcast Reliability Validation and Improvement Framework

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.

May 2013 - Presentation Design and Analysis of Cyber-Physical Systems: AADL and Avionics Systems

Authors: Peter H. Feiler, Julien Delange

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

April 2013 - White Paper Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems

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.

March 2013 - Podcast What's New With Version 2 of the AADL Standard?

Topics: Software Architecture

Authors: Peter Feiler

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

January 2013 - Podcast The Latest Developments in AADL

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.

November 2012 - Special Report Reliability Improvement and Validation Framework

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.

September 2012 - Book Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language

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.

June 2012 - Technical Report A Virtual Upgrade Validation Method for Software-Reliant Systems

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.

March 2012 - Special Report What’s New in V2 of the Architecture Analysis & Design Language Standard?

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.

November 2010 - Video Virtual Integration Demonstration

Topics: Performance and Dependability

Authors: Peter H. Feiler

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

May 2010 - Technical Report Case Study: Model-Based Analysis of the Mission Data System Reference Architecture

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.

January 2010 - White Paper Industry Standard Notation for Architecture-Centric Model-Based Engineering

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.

November 2009 - Technical Report System Architecture Virtual Integration: An Industrial Case Study

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.

December 2008 - Technical Report Results of SEI Independent Research and Development Projects (FY 2008)

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

July 2008 - Technical Report Results of SEI Independent Research and Development Projects (FY 2007)

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

May 2008 - White Paper Using Model-Based Engineering and Architectural Models to Build Secure Systems

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.

May 2008 - White Paper Building Secure Systems Using Model-Based Engineering and Architectural Models

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.

February 2008 - Special Report ASSIP Study of Real-Time Safety-Critical Embedded Software-Intensive System Engineering Practices

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.

December 2007 - Technical Note Flow Latency Analysis with the Architecture Analysis and Design Language (AADL)

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.

July 2007 - Technical Note Dependability Modeling with the Architecture Analysis & Design Language (AADL)

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.

July 2007 - Technical Note Modeling of System Families

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.

July 2007 - Technical Report Developing AADL Models for Control Systems: A Practitioner's Guide

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.

February 2006 - Technical Note The Architecture Analysis & Design Language (AADL): An Introduction

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.

December 2005 - Technical Report Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)

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.

June 2004 - Technical Note Embedded Systems Architecture Analysis Using SAE AADL

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.

November 2003 - Technical Note Real-Time Application Development with OSEK: A Review of the OSEK Standards

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.

September 2003 - Technical Report SEI Independent Research and Development Projects (FY 2003)

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

May 2003 - White Paper The SAE Avionics Architecture Description Language (AADL) Standard: A Basis for Model-Based Architecture-Driven Embedded Systems Engineering

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.

August 2001 - Special Report Proceedings of the Real-Time Systems Engineering Workshop

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.

December 2000 - Special Report Improving Predictability in Embedded Real-Time Systems

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.

October 1998 - White Paper Consistency in Dynamic Reconfiguration

Authors: Peter H. Feiler

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

May 1998 - Technical Report Steps in an Architecture Tradeoff Analysis Method: Quality Attribute Models and Analysis

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

July 1993 - Special Report Reengineering: An Engineering Problem

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.

September 1992 - Technical Report Software Process Development and Enactment: Concepts and Definitions

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.

January 1992 - Technical Report Understanding Integration in a Software Development Environment

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.

January 1992 - Technical Report An Analysis Technique for Examining Integration in a Project Support Environment

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.

December 1991 - Technical Report CASE Studies in Environment Integration

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.

May 1991 - Technical Report Tool Integration and Environment Architectures

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.

March 1991 - Technical Report Configuration Management Models in Commercial Environment

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.

November 1990 - Technical Report Transaction-Oriented Configuration Management: A Case Study

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

November 1990 - Technical Report Tool Version Management Technology: A Case Study

Authors: Peter H. Feiler, Grace Downey

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

July 1988 - Technical Report The Project Management Experiment

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.

July 1988 - Technical Report Evaluation of the Rational Environment

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.

May 1988 - Technical Report Managing Development of Very Large Systems: Implications for Integrated Environment Architectures

Authors: Peter H. Feiler, Roger Smeaton

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

April 1987 - Technical Report User Interface Technology Survey

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.