Foundations for System Design

Foundations for System Design

To ensure reliability of CPS, a promising approach relies on designing formal models and checking them against correctness requirements using analysis tools. At PRECISE we are developing new modeling formalisms, algorithms for efficient analysis, and tools based on these theoretical foundations. Benefits of these tools are demonstrated by real-world case studies drawn from a range of applications spanning nearly all of PRECISE’s research interests.


Browse the Foundations for System Design Collections:

Embedded Control Networks

Formal Methods in Safety-Critical Systems

Foundations for System Design Papers

Model-Based Design

Real-Time Resource Management

Theory: Automata, Logics, and Decision Procedures for System Analysis