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

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

"Even a basic security case is a far cry above the typical . . . unfounded reassurances . . . ." Read more in Arguing Security—Creating Security Assurance Cases

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

Call for Articles
IEEE Software special issue on Opportunistic Software Systems Development