Assurance-Driven Design

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.

Leave a Reply