One trend in software development is rapid deployment of plug-ins and updated components. A challenge is proving correctness of quality attributes. An assurance case that is automated with an ontology can potentially detect inconsistencies across resource types. A second challenge is translation of end-to-end requirements into resource properties.
To validate provisioning information, the dependability assessment process builds a transformation from an XML data model to a logical model.
I have been researching a dependability assessment process that checks whether configuration settings in network devices are provisioned in a consistent manner.