From One To Many: Checking A Set Of Models

EasyChair Preprint 1402

Abstract

Whether the objective is to narrow in on the final system design, check capabilities of system versions with varying features, or regression testing to make a design more robust, several models of the system under development have to be analyzed. Model checking can compare different models; however, applying model checking off-the-shelf may not scale due to the large size of the design space for today’s complex systems. There is a need to develop new algorithms that intelligently use inherent properties of models in a design space to increase scalability of checking the complete model-set. We report on our investigation of the model-set checking problem, highlight preliminary results, and discuss ongoing work and future research directions.

Keyphrases: Design Space Exploration, model checking, model sets

@booklet{EasyChair:1402,
  author    = {Rohit Dureja and Kristin Yvonne Rozier},
  title     = {From One To Many: Checking A Set Of Models},
  howpublished = {EasyChair Preprint 1402},
  year      = {EasyChair, 2019}}