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