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.

Follow

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