Engineering Performance-Critical Systems to Meet Performance and Dependability Goals

The Performance-Critical Systems (PCS) Initiative focuses on maturing and transitioning analysis-based assurance and model-based engineering tools and practices for predicting the dependability and performance of software systems.

Analysis- Based Assurance Use analysis-based tools to document and predict system dependability and gain assurance of mission- critical properties or go/no-go criteria.	Prominent system failures, like the NASA DART spacecraft, highlight how testing alone might not predict that a system or component of a system will perform as expected.
Model-Based Engineering Reduce cost and risk in the development of embedded and real-time systems with model-based engineering tools, training, and guidance.	Reliability is critical for embedded systems in avionics and other domains. Model-based engineering tools enable system designers to analyze system architecture for reliability and other quality attributes.

News & Notes

The SEI developed the Survivability Analysis Framework (SAF) to help organizations understand stresses and gaps to survivability for operational and proposed business processes. A new technical report describes the SAF and shows how the assurance case method can be used to document justified confidence that survivability has been adequately addressed. For more information on the SAF, also see http://www.cert.org/sse/saf.html.

New Reports

Learn to use model-based engineering more effectively: MBE Training from the SEI

PCS is developing an analysis framework for system fault containment and stability management

Get the guide to the architecture description and analysis language for embedded and real-time systems

View all PCS publications

Contact Us

Customer Engagements
Terry Dailey
Phone: 703-908-8213
E-mail: etd@sei.cmu.edu

Technical Questions
Jörgen Hansson
Phone: 412-268-6391
Email: hansson@sei.cmu.edu

For more information the PCS Initiative, see