From One To Many: Checking A Set Of Models Rohit Dureja and Kristin - - PowerPoint PPT Presentation

▶

from one to many checking a set of models

From One To Many: Checking A Set Of Models Rohit Dureja and Kristin - - PowerPoint PPT Presentation

Jan 17, 2023 96 likes •191 views

From One To Many: Checking A Set Of Models Rohit Dureja and Kristin Yvonne Rozier Iowa State University October 4, 2017 Motivation Complex systems design often requires analyzing several models of the system under development. Rohit Dureja

slide-1

SLIDE 1

From One To Many: Checking A Set Of Models

Rohit Dureja and Kristin Yvonne Rozier

Iowa State University

October 4, 2017

slide-2

SLIDE 2

Motivation

Complex systems’ design often requires analyzing several models of the system under development.

Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

slide-3

SLIDE 3

Motivation

Complex systems’ design often requires analyzing several models of the system under development.

Narrowing in on the final system design,

Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

slide-4

SLIDE 4

Motivation

Complex systems’ design often requires analyzing several models of the system under development.

Narrowing in on the final system design, Check capabilities of systems with varying features, and

Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

slide-5

SLIDE 5

Motivation

Complex systems’ design often requires analyzing several models of the system under development.

Narrowing in on the final system design, Check capabilities of systems with varying features, and Regression development to make a design robust.

Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

slide-6

SLIDE 6

Motivation

Complex systems’ design often requires analyzing several models of the system under development.

Narrowing in on the final system design, Check capabilities of systems with varying features, and Regression development to make a design robust.

Rohit Dureja From One To Many: Checking A Set Of Models 1 / 3

slide-7

SLIDE 7

Contributions

Report

Rohit Dureja From One To Many: Checking A Set Of Models 2 / 3

slide-8

SLIDE 8

Results

5 10 15 20 25 30 34 Property ID 500 1000 1500 2000 2500 Checking time (minutes) Typical IC3 Incremental IC3 FuseIC3 FuseIC3+Ordering FuseIC3+Ranking

Rohit Dureja From One To Many: Checking A Set Of Models 3 / 3