Constraint-based platform variants specification for early system verification

To overcome the verification gap arising from significantly increased external IP integration and reuse during electronic platform design and composition, we present a model-based approach to specify platform variants. The variants specification is processed automatically by formalizing and solving the integrated constraint sets to derive valid platforms. These constraint sets enable a precise specification of the required platform variants for verification, exploration and test. Experimental results demonstrate the applicability, versatility and scalability of our novel model-based approach.

[1]  Robert Wille,et al.  Contradiction analysis for constraint-based random simulation , 2008, 2008 Forum on Specification, Verification and Design Languages.

[2]  Martin Gogolla,et al.  Verifying UML/OCL models using Boolean satisfiability , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[3]  Igor L. Markov,et al.  Random Stimulus Generation using Entropy and XOR Constraints , 2008, 2008 Design, Automation and Test in Europe.

[4]  Robert Wille,et al.  SMT-based stimuli generation in the SystemC Verification library , 2009, 2009 Forum on Specification & Design Languages (FDL).

[5]  C. R. Maga,et al.  An approach for modeling variants of industrial automation systems , 2010, 2010 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR).

[6]  Sebastian Altmeyer,et al.  Precise WCET calculation in highly variant real-time systems , 2011, 2011 Design, Automation & Test in Europe.

[7]  Stan Jarzabek,et al.  XML-based method and tool for handling variant requirements in domain models , 2001, Proceedings Fifth IEEE International Symposium on Requirements Engineering.

[8]  Wolfgang Rosenstiel,et al.  Simulation-based verification of the MOST NetInterface specification revision 3.0 , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[9]  Stefan Frehse,et al.  metaSMT: Focus on Your Application not on Solver Integration , 2011, DIFTS@FMCAD.

[10]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[11]  Wolfgang Rosenstiel,et al.  Reliability assessment of safety-relevant automotive systems in a model-based design flow , 2013, 2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC).

[12]  Andreas Kuehlmann,et al.  Stimulus generation for constrained random simulation , 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

[13]  Ram D. Sriram,et al.  Platform-based product design and development: A knowledge-intensive support approach , 2006, Knowl. Based Syst..