John J. Hudak
Software Engineering Institute
Publications by John J. Hudak
-
A Strategy for Component Product Lines: Report 1: Scoping, Objectives, and Rationale
December 08, 2022 • Special Report
Sholom G. CohenJohn J. HudakJohn McGregor
This report establishes a Component Product Line Strategy to address problems in systematically reusing and integrating components built to conform to component specification models.
read -
Innovative Defense Technologies' Automated Test and ReTest (ATRT) Integration with the Architecture Analysis Design Language (AADL)
June 03, 2022 • Presentation
Keith HarrimanJoe MoritzJohn J. Hudak
This presentation by Keith Harriman, Joe Moritz, and John Hudak was given virtually at AADL/ACVIP User Day 2022.
read -
TwinOps: Digital Twins Meets DevOps
March 24, 2022 • Technical Report
Jerome HuguesJohn J. HudakJoseph D. Yankel
This report describes ModDevOps, an approach that bridges model-based engineering and software engineering using DevOps concepts and code generation from models, and TwinOps, a specific ModDevOps pipeline.
read -
An Overview of AADL and Toolsets to Support the Engineering of Safety-critical Systems
February 05, 2021 • Presentation
Jerome HuguesJohn J. Hudak
This presentation by Jerome Hugues and John Hudak was given virtually at AADL/ACVIP User Days 2021.
read -
Cyber-Physical Systems
December 01, 2016 • White Paper
Bjorn AnderssonSagar ChakiDionisio de Niz
Cyber-physical systems (CPS) integrate computational algorithms and physical components. SEI promotes efficient development of high-confidence, distributed CPS.
read -
Architecture Fault Modeling and Analysis with the Error Model Annex, Version 2
June 22, 2016 • Technical Report
Peter H. FeilerJohn J. HudakJulien Delange
This report describes the Error Model Annex, Version 2 (EMV2), notation for architecture fault modeling, which supports safety, reliability, and security analyses.
read -
Potential System Integration Issues in the Joint Multi-Role (JMR) Joint Common Architecture (JCA) Demonstration System
December 31, 2015 • Special Report
Peter H. FeilerJohn J. Hudak
This report describes a method for capturing information from requirements documents in AADL to identify potential integration problems early in system development.
read -
Extending AADL for Security Design Assurance of Cyber-Physical Systems
December 16, 2015 • Technical Report
Robert J. EllisonAllen D. HouseholderJohn J. Hudak
This report demonstrates the viability and limitations of using the Architecture Analysis and Design Language (AADL) through an extended example that allows for specifying and analyzing the security properties of an automotive electronics system.
read -
Evaluating and Mitigating the Impact of Complexity in Software Models
December 03, 2015 • Technical Report
Julien DelangeJim McHaleJohn J. Hudak
This report defines software complexity, metrics for complexity, and the effects of complexity on cost and presents an analysis tool to measure complexity in models.
read -
AADL Fault Modeling and Analysis Within an ARP4761 Safety Assessment
October 10, 2014 • Technical Report
Julien DelangePeter H. FeilerDavid P. Gluch
This report describes how the Architecture Analysis and Design Language (AADL) Error Model Annex supports the safety-assessment methods in SAE Standard ARP4761.
read -
Results of SEI Line-Funded Exploratory New Starts Projects: FY 2012
July 01, 2013 • Technical Report
Bjorn AnderssonLori FlynnDavid P. Gluch
This report describes line-funded exploratory new starts (LENS) projects that were conducted during fiscal year 2012 (October 2011 through September 2012).
read -
Isolating Patterns of Failure in Department of Defense Acquisition
June 01, 2013 • Technical Note
Lisa BrownswordCecilia AlbertDavid J. Carney
This report documents an investigation into issues related to aligning acquisition strategies with business and mission goals.
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 -
Results of SEI Independent Research and Development Projects (FY 2007)
July 01, 2008 • Technical Report
Len BassLui R. ShaDennis B. Smith
This report describes the independent research and development (IRAD) projects that were conducted during fiscal year 2007 (October 2006 through September 2007).
read -
Developing AADL Models for Control Systems: A Practitioner's Guide
July 01, 2007 • Technical Report
John J. HudakPeter 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.
read -
The Architecture Analysis & Design Language (AADL): An Introduction
February 01, 2006 • Technical Note
Peter H. FeilerDavid P. GluchJohn 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.
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 -
Embedded Systems Architecture Analysis Using SAE AADL
June 01, 2004 • Technical Note
Peter H. FeilerDavid P. GluchJohn J. Hudak
This 2004 report discusses the role and benefits of using the AADL in the process of analyzing an existing avionics system.
read -
Dependability Cases
May 01, 2004 • Technical Note
Charles B. WeinstockJohn B. GoodenoughJohn J. Hudak
In this 2004 report, the authors explain how to create a dependability case for a system that helps identify and keep track of details of large systems.
read -
Predictable Assembly of Substation Automation Systems: An Experiment Report, Second Edition
September 01, 2003 • Technical Report
Scott HissamKurt C. WallnauWilliam G. Wood
This 2003 report describes the results of an exploratory PECT prototype for substation automation, an application area in the domain of power generation, transmission, and management.
read -
Model-Based Verification: Abstraction Guidelines
October 01, 2002 • Technical Note
John J. HudakSantiago Comella-DordaDavid P. Gluch
This 2002 report presents abstraction techniques that can be used to build essential models of system behavior in the context of MBV and details a methodology for creating state machine models using those techniques.
read -
Model-Based Verification: An Engineering Practice
August 01, 2002 • Technical Report
David P. GluchSantiago Comella-DordaJohn J. Hudak
This 2002 report summarizes MBV and outlines the responsibilities of engineers engaged in Model-Based Verification.
read -
Model-Based Verification: Guidelines for Generating Expected Properties
January 01, 2002 • Technical Note
David P. GluchSantiago Comella-DordaJohn J. Hudak
This report presents a basic set of guidelines to facilitate the generation of expected properties in the context of Model-Based Verification.
read -
Model-Based Verification: Analysis Guidelines
December 01, 2001 • Technical Note
Grace LewisSantiago Comella-DordaDavid P. Gluch
This technical note provides guidance for the analysis activity that occurs during the interpretation of results produced by model-checking tools.
read -
Framework Document: Model-Based Verification Pilot Study
October 01, 2001 • Special Report
David P. GluchJohn J. HudakRobert Janousek
This 2001 document describes the processes, activities, artifacts, and deliverables associated with an Engineering Practice Investigation of MBV.
read -
Model-Based Verification: Claim Creation Guidelines
October 01, 2001 • Technical Note
Santiago Comella-DordaDavid P. GluchJohn J. Hudak
This 2001 report describes a pattern-based approach to facilitate claim generation.
read -
Model-Based Verification: Scope, Formalism, and Perspective Guidelines
October 01, 2001 • Technical Note
David P. GluchSantiago Comella-DordaJohn J. Hudak
This report provides guidance for defining the scope, formalism, and perspective for applying MBV, a systematic approach to finding defects in software requirements, designs, or code.
read