John Goodenough retired from the SEI in December 2011 but is pursuing his research on assurance case confidence as a part-time member of the System Solutions Division. His current work involves the development of a theory for assessing confidence in assurance cases using eliminative induction and defeasible reasoning, both notions borrowed from philosophy. Papers describing this work were delivered at ICSE 2013 (see Publications, below). An introduction and overview of the work will appear in a Technical Report early in 2014.
Goodenough led the SEI's System of Systems (SoS) Software Assurance (SoSSA) research initiative, an activity started in FY2008. The project investigated assurance issues that arise in large-scale systems of systems. The key research question was determining what types of evidence (and associated argumentation) are needed to achieve justified confidence that SoS behavior (with respect to quality attributes such as reliability, availability, performance, or security) will be acceptable when the SoS is used in its actual and evolving usage environment. The ultimate goal was to provide an integrated set of methods and practices for developing justified confidence in the acceptability of SoS behavior under all field and usage conditions.
From 2002 until 2007, Goodenough led the Performance Critical Systems Initiative. His research work focused on the application of assurance cases.
From 1996 until 2002, Goodenough was the Chief Technical Officer of the SEI. From 1986 until 1996 he led a project developing the theory and practice of rate monotonic analysis for real-time systems.
Goodenough was named a Fellow of the Association for Computing Machinery (ACM) in 1995. He was a Distinguished Reviewer for the Ada 95 language revision effort and served as head of the U.S. delegation to the ISO Working Group on Ada. He was the principal author of the document specifying the revision requirements for Ada 95 and served as chair of the group responsible for recommending interpretations of the Ada language.
Before joining the SEI, Goodenough was manager of the research and development department of SofTech, Inc. His work focused on the Ada programming language. He was the principal designer of one of the candidate languages leading to Ada. He later led the Ada Compiler Validation effort and helped develop Ada training materials.
Goodenough has worked at the Wang Institute of Graduate Studies as a visiting scholar, where he lectured on software reusability and testing and led seminars on object-oriented languages. He also has worked at the Air Force Electronic Systems Division in Bedford, Mass. There, he was responsible for formulating contract and in-house research and development, and he sponsored the first research work on software maintenance.