Lunch Seminar: Refinery: Automated Generation of Consistent and Diverse Domain-specific Graph Models

Title:

Refinery: Automated Generation of Consistent and Diverse Domain-specific Graph Models

Speaker: Professor Daniel Varro, Linköping university

Abstract:

When engineering complex software systems, knowledge representations often take the form of domain-specific graph models. For instance, the system architecture in automotive or avionics applications are captured by standardized models. Moreover, tool qualification as necessitated by safety standards require a large and diverse set of consistent graphs as test cases or design candidates tailored to the application domain. Furthermore, system-level testing of autonomous vehicles may also rely on synthetic test contexts and abstract test scenarios captured as graphs. In this talk, I present the conceptual foundations and a short demo of the open-source Refinery framework, which can automatically derive a diverse set of consistent domain-specific graph models from a high-level domain specification and consistency constraints. As shown by extensive experimental evaluation, Refinery can generate significantly larger and more diverse graphs than state-of-the-art solver-based model generators.