Industrial deployment of system engineering methods providing high dependability and productivity


Validating the Consistency of Specification Rules

Hoang, Thai Son and Itoh, Shinji and Oyama, Kyohei and Miyazaki, Kunihiko and Kuruma, Hironobu and Sato, Naoto (2015) Validating the Consistency of Specification Rules. Technical Report. N/A. (Unpublished)



This paper focuses on the consistency analysis of specification rules, those expressing relationships between input and expected output of systems. We identify the link between Minimal Inconsistent Sets (MISes) of rules and Minimal Unsatisfiable Subsets (MUSes) of constraints. Furthermore, we develop a novel algorithm using SMT solvers for fast enumeration of MUSes, an essential component for practical validation of rules' consistency. We evaluate the algorithm using publicly available benchmarks. Finally, we apply our developed technique to check consistency of specifications rules of examples extracted from actual case studies.

Item Type:Monograph (Technical Report)
Subjects:Industrial Deployment > Business
Methodology > Other
Tool developments > Other
ID Code:465
Deposited By: Thai Son Hoang
Deposited On:09 Jan 2015 04:20
Last Modified:20 Apr 2015 11:17

Repository Staff Only: item control page

Deploy-Project - All right reserved