Download PDFOpen PDF in browserFrom One To Many: Checking A Set Of ModelsEasyChair Preprint 14022 pages•Date: August 17, 2019AbstractWhether 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
|