Scientific area: Informática Industrial
Ontology-driven Metamodeling towards Hypervisor Design Automation: Semantically-enriched DSL Infrastructure
Submited 2017-01-24
Student: Miguel António Mourão Abreu       Number: A68579       Email: miguelrass@gmail.com
Start date: 01/09/2016   

Supervisor:
Name: Adriano José C. Tavares
Email: atavares@dei.uminho.pt   

Description:

Project complexity is an unavoidable problem to tackle in the modern world of Embedded Systems. Conjoint code development brings another obstacle into the equation, since different domains of knowledge can be merged to attain a more complete solution. Managing the interdependencies of a modular approach is an intricate part of this challenge. A successful approach would boost competitiveness, allow scalability, reduce maintenance cost and minimize the time-to-market.
Therefore, this work focuses on creating a powerful platform to manage and automate modular projects. The proposed approach is a semantically-enriched DSL infrastructure, which will grant different levels of abstraction, depending on the project’s development stage. The infrastructure’s flexibility will be dictated by user-defined ontologies, i.e., the variabilities in modular connections and nonfunctional attributes, and the validation rules. Therefore, the domain knowledge will be separated from the developed framework. Different automation levels will be made available at separate stages, providing powerful tools to every actor that contributes to the project.

The user interface will guide the user and encourage modularity. A Metamodel is given as input as a set of ontological files connected through a common root of knowledge. This procedure will allow to infer conceptual interconnections, modeling suggestions, rules and restrictions. Reasoning technologies will yield the means for validation across domains. The interface’s functionalities are subject to review at any time, thus leveraging the potential relevance of unexplored knowledge contained in ontologies. The provided features will be further extended and enhanced once the graphical interface is implemented.


Objectives:

- Design a Base Ontology for specific Hw/Sw Systems with intuitive domain conceptualizations;
  o Create general concepts and relations to describe a system and its variabilities;
  o Iteratively refine ontology concepts and relations;

- Design a Semantically-enriched DSL Infrastructure
  o Define each stage of the Infrastructure;  o Determine the most efficient way to enrich the DSL with OWL ontologies; 
  o Define APIs for Ontology model parsing, manipulation and reasoning; 
  o Establish computable concepts for ontology integration;
  o Provide a guided interface for system design;
  o Leverage reasoning to accomplish flexible and efficient model validation;
  o Iteratively extend and enhance the provided features;

- Collaborative design of the DSL’s graphical interface;

- Integration of implementation and generation steps in main infrastructure;

- Collaborative production of design flow description logics;

- Solution assessment, validation and characterization;

- Plan and write Master’s Dissertation.


Copyright © DEI Minho University - All rights reserved
Powered byNetmove