Performance-Critical Systems (PCS) Initiative Staff

The Performance-Critical Systems (PCS) Initiative is composed of the staff members shown on this page. PCS has additional positions available for highly qualified affiliates and visiting scientists who can spend a period of time at the SEI participating in our research and development efforts.

For more information about the employment opportunities at the SEI, the Affiliate Program,
or visiting scientist positions, send email to SEI Human Resources.

Name	Current Areas of Work in PCS	Recent Publications and Presentations
John Goodenough, SEI Fellow	The application of the assurance case methodology	Dependability Cases Arguing Security - Creating Security Assurance Cases
Dionisio de Niz Villasenor	Model-based engineering practices and tools	Model-Based Development of Embedded Systems: The SysWeaver Approach From PIMs to PSMs Partitioning bin-packing algorithms for distributed real-time systems
Peter Feiler	The development of architecture-driven, model-based engineering practices and the Architecture Analysis & Design Language (AADL) standard (Peter is the technical lead and author of the AADL standard.)	From PIMs to PSMs Dependability Modeling with the Arthictecture Analysis and Design Language (AADL) Modeling of System Families
Jörgen Hansson	Real-time systems and real-time database systems; fault containment; security modeling and analysis; advanced processor performance	Performance Evaluations and Estimations of Workload of On-Demand Updates in Soft Real-Time Systems Engineering Active Behavior of Embedded Software to Improve Performance and Evolution: an Aspect-Oriented Approach QoD Adaptation for Achieving Lifetime Predictability of WSN Nodes Communication over Satellite Links Database Functionality in Engine Management System Experimental Evaluation of Linear Time-Invariant Models for Feedback Performance Control in Real-Time Systems
John Hudak	The application of model-based engineering methodologies based on the AADL for real-time embedded system development	Developing AADL Models for Control Systems: A Practitioners Guide The Architecture Analysis & Design Language (AADL): An Introduction
Dave Gluch, Visiting Scientist	The use of the AADL standard in system and software engineering practices	The Architecture Analysis & Design Language (AADL): An Introduction Embedded Systems Architecture Analysis Using SAE AADL
Bruce Lewis, Resident Affiliate	Chair of the SAE AS-2C subcommittee that is guiding the development of the AADL	Use AADL to analyze and design embedded systems From PIMs to PSMs Model Based Computer System Engineering with the AADL (pdf, 1.1mb)
Joseph Seibel	Maintaining and updating the Open Source AADL Tool Environment for AADL
Carol Sledge	Interoperability metrics; the transfer of model-based engineering technology to government and industry	Army ASSIP System-of-Systems Test Metrics Task Schedule Considerations for Interoperable Acquisition Information Assurance: Building Educational Capacity Report on Annual Regional Information Assurance Symposia
Charles B. Weinstock	Dependable computing with a recent emphasis in assurance case methodology	Dependability Cases Arguing Security - Creating Security Assurance Cases On System Scalability
Lutz Wrage	Developing formal models, methods, and tools to analyze and predict non-functional properties; developing a tool platform and tool plug-ins to support automated architectural analyses	AADL-Domain Specific Language and UML Profile Open Source AADL Tool Environment (OSATE) Plug-in Development Series

return to PCS main page