Semantic enrichment of design requirements using Object Type Libraries for automated verification

Towards automated requirements verification system

More Info
expand_more

Abstract

Success of the project depends on compliance to requirements amongst other things (Wheeler, 2003). This forms Requirements Management process an important step in the Systems Engineering life cycle. However, poor definition of requirements is an obstacle in automating the verification process. The existing solutions based on various approaches focus predominantly on building codes requirement verification and is not suitable for the dynamicity of client specific requirements. existing solutions also require users to have expertise on programming and construction domain knowledge. Hence, a general approach for rewriting client requirements in a machine understandable way is needed. The research focuses on developing this general approach using object and properties data from standard libraries such as Object Type Libraries (OTL).