Lutz Wrage
Software Engineering Institute
Publications by Lutz Wrage
-
A Model-Based Tool for Designing Safety-Critical Systems
January 05, 2023 • Podcast
Sam ProcterLutz Wrage
Sam Procter and Lutz Wrage discuss with Suzanne Miller the Guided Architecture Trade Space Explorer (GATSE), a new SEI-developed model-based tool to help with the design of safety-critical systems.
learn more -
Modeling and Validating Security and Confidentiality in System Architectures
March 19, 2021 • Technical Report
Aaron GreenhouseJörgen Hansson (University of Skovde)Lutz Wrage
This report presents an approach for modeling and validating confidentiality using the Bell–LaPadula security model and the Architecture Analysis & Design Language.
read -
Ultra-Large-Scale Systems: Socio-adaptive Systems
December 01, 2016 • White Paper
Scott HissamMark H. KleinGabriel Moreno
Ultra-large-scale systems are interdependent webs of software, people, policies, and economics. In socio-adaptive systems, human and software interact as peers.
read -
A Requirement Specification Language for AADL
June 22, 2016 • Technical Report
Peter H. FeilerJulien DelangeLutz Wrage
This report describes a textual requirement specification language, called ReqSpec, for the Architecture Analysis & Design Language (AADL) and demonstrates its use.
read -
Open Source AADL Workbench for Virtual System Integration Poster (SEI 2015 Research Review)
October 22, 2015 • Poster
Peter H. FeilerLutz Wrage
Explores a solution for the limitations of traditional system development development lifecycle methods
read -
Pointer Ownership Model
January 06, 2014 • Conference Paper
David SvobodaLutz Wrage
In this paper, the authors describe how the Pointer Ownership Model improves static analysis of C programs for errors involving dynamic memory management.
read -
Four Pillars for Improving the Quality of Safety-Critical Software-Reliant Systems
April 29, 2013 • White Paper
Peter H. FeilerJohn B. GoodenoughArie Gurfinkel
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.
read -
Reliability Improvement and Validation Framework
November 01, 2012 • Special Report
Peter H. FeilerJohn B. GoodenoughArie Gurfinkel
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.
read -
Resource Allocation in Dynamic Environments
October 01, 2012 • Technical Report
Jeffrey HansenScott HissamB. Craig Meyers
When warfighting missions are conducted in a dynamic environment, the allocation of resources needed for mission operation can change from moment to moment. This report addresses two challenges of resource allocation in dynamic environments: overstatement of resource needs and unpredictable network availability.
read -
A Virtual Upgrade Validation Method for Software-Reliant Systems
June 01, 2012 • Technical Report
Dionisio de NizPeter H. FeilerDavid P. Gluch
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.
read -
On Resource Overbooking in an Unmanned Aerial Vehicle
April 18, 2012 • Presentation
Dionisio de NizLutz Wrage
Studies variations in execution times involving a scenario in a small Unmanned Aerial Vehicle (UAV) systemwith a camera that must detect objects in a variety of conditions.
read -
What’s New in V2 of the Architecture Analysis & Design Language Standard?
March 01, 2012 • Special Report
Peter H. FeilerJoe SeibelLutz 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.
read -
Adaptive Quality of Service (AQoS)
May 16, 2011 • Poster
Lutz Wrage
In a tactical environment, network resources are often insufficient and cannot meet demand. This poster describes research that explores how this problem can be addressed through Adaptive Quality of Service.
read -
An Implementation of the Behavior Annex in the AADL-Toolset Osate2
April 27, 2011 • Conference Paper
Gilles Lasnier (TELECOM ParisTech)Laurent Pautet (TELECOM ParisTech)Jerome Hugues (ISAE)
This paper first appeared in the Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems.
read -
Results of SEI Independent Research and Development Projects (FY 2010)
February 01, 2011 • Technical Report
William AndersonDavid FisherDavid P. Gluch
This report describes results of independent research and development (IRAD) projects undertaken in fiscal year 2010.
read -
Adaptive Flow Control for Enabling Quality of Service in Tactical Ad Hoc Wireless Networks
December 01, 2010 • Technical Report
Jeffrey HansenScott HissamB. Craig Meyers
The network infrastructure for users such as emergency responders or warfighters is wireless, ad hoc, mobile, and lacking in sufficient bandwidth. This report documents the results from 18 experiments to investigate Adaptive Quality of Service, an approach to enable applications to fulfill their missions despite tactical network infrastructure limitations.
read -
System Architecture Virtual Integration: A Case Study
May 31, 2010 • Conference Paper
Peter H. FeilerLutz WrageJörgen Hansson (University of Skovde)
This paper describes a proof-of-concept demonstration and a return-on-investment analysis of the System Architecture Virtual Integration (SAVI) program.
read -
Results of SEI Independent Research and Development Projects (FY 2009)
December 01, 2009 • Technical Report
Len BassLutz WragePaul C. Clements
In this report, the authors describe the SEI independent research and development (IRAD) projects conducted during fiscal year 2009.
read -
System Architecture Virtual Integration: An Industrial Case Study
November 01, 2009 • Technical Report
Peter H. FeilerJörgen Hansson (University of Skovde)Dionisio de Niz
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.
read -
Results of SEI Independent Research and Development Projects (FY 2008)
December 01, 2008 • Technical Report
Dionisio de NizGabriel MorenoRobert Nord
This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2008 (October 2007 through September 2008).
read -
T-Check in Technologies for Interoperability: Business Process Management in a Web Services Context
September 01, 2008 • Technical Note
Fabian HueppiLutz WrageGrace Lewis
This technical note presents an investigation of the Business Process Execution Language, a popular BPM technology used to describe, analyze, execute, and monitor business processes.
read -
T-Check in Technologies for Interoperability: Web Services and Security—Single Sign-On
January 01, 2008 • Technical Note
Lutz WrageSoumya SimantaGrace Lewis
This technical note presents the results of applying the T-Check approach in an initial investigation of two Web services standards, WS-Security and SAML, to create an SSO solution that works inside a single organization
read -
Common Misconceptions About Service-Oriented Architecture
November 01, 2007 • White Paper
Grace LewisEdwin J. MorrisSoumya Simanta
This 2007 article from Crosstalk magazine suggests ways to more effectively address critical SOA issues that potential users, developers, and acquisition officers may have.
read -
T-Check for Technologies for Interoperability: Open Grid Services Architecture (OGSA)—Part 1 Parent SEI Program
April 01, 2007 • Technical Note
Soumya SimantaGrace LewisLutz Wrage
This report investigates Open Grid Services Architecture (OGSA), one of the many technologies for accomplishing interoperability, using the T-Check technique.
read -
Model Problems in Technologies for Interoperability: Web Services
June 01, 2006 • Technical Note
Grace LewisLutz Wrage
This 2006 report presents the results of applying the model problem approach in an initial investigation of the potential of Web services to enable interoperability.
read -
Results of SEI Independent Research and Development Projects and Report on Emerging Technologies and Technology Trends (FY2005)
December 01, 2005 • Technical Report
Rosann W. CollinsRick KazmanRichard C. Linger (Oak Ridge National Laboratory)
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.
read -
SMART: The Service-Oriented Migration and Reuse Technique
September 01, 2005 • Technical Note
Grace LewisEdwin J. MorrisLiam O'Brien
This document has been superseded by CMU/SEI-2008-TN-008, SMART: Analyzing the Reuse Potential of Legacy Components in a Service-Oriented Architecture Environment.
read -
A Process for Context-Based Technology Evaluation
June 01, 2005 • Technical Note
Grace LewisLutz Wrage
This report describes a process called context-based evaluation that determines the fitness of a technology within a specific context.
read -
Model Problems in Technologies for Interoperability: Model-Driven Architecture
May 01, 2005 • Technical Note
Grace LewisLutz Wrage
This 2005 report looks at Model-Driven Architecture (MDA) as one of many technologies foraccomplishing interoperability.
read -
Promising Technologies for Future Systems
December 01, 2004 • Technical Note
Grace LewisEdwin J. MorrisLutz Wrage
This 2004 report presents of a few of the many programs, technologies, and research efforts that are addressing the challenges faced by future systems.
read -
Approaches to Constructive Interoperability
December 01, 2004 • Technical Report
Grace LewisLutz Wrage
This report outlines several approaches to constructing systems of systems that have interoperability requirements, with respect to syntactic and semantic interoperability.
read -
Assumptions Management in Software Development
August 01, 2004 • Technical Note
Grace LewisTeeraphong MahathamLutz Wrage
This technical note explores assumptions management as a method for improving software quality.
read -
Current Perspectives on Interoperability
March 01, 2004 • Technical Report
Lisa BrownswordDavid J. CarneyDavid Fisher
This 2004 report describes current research within the software engineering community on the topic of interoperability between software systems.
read -
Replaceable Components and the Service Provider Interface
July 01, 2002 • Technical Note
Robert C. SeacordLutz Wrage
This 2002 report considers the motivation for using replaceable components and defines the requirements of replaceable component models.
read