Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design

This paper presents a knowledge-driven approach for automated synthesis of controllers in three different use-cases. The approach addresses the engineering challenge posed by Industrie 4.0, which requires fast, reliable, and flexible integration of multiple heterogeneous hardware and software compon...

Full description

Saved in:
Bibliographic Details
Main Authors: Amar Banerjee, Venkatesh Choppella
Format: Article
Language:English
Published: IEEE 2023-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/10129833/
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1850066397578657792
author Amar Banerjee
Venkatesh Choppella
author_facet Amar Banerjee
Venkatesh Choppella
author_sort Amar Banerjee
collection DOAJ
description This paper presents a knowledge-driven approach for automated synthesis of controllers in three different use-cases. The approach addresses the engineering challenge posed by Industrie 4.0, which requires fast, reliable, and flexible integration of multiple heterogeneous hardware and software components. Manual design approaches are not scalable for large systems due to their complexity. The proposed approach captures resource-capability knowledge and uses a reasoning-based synthesis mechanism to compose a controller design for a plant goal. The approach uses domain-specific languages (DSLs) to describe the components, their interfaces, and capabilities. The generated control designs are executable codes that implement the control strategy. The proposed approach reduces the average engineering time by 70% and generates on an average 60% of the executable code in each use-case. The approach uses a knowledge repository to store resource-capability knowledge and enables rapid prototyping and iterative design. The proposed approach provides a promising solution to automate the synthesis of controllers in different use-cases with multiple heterogeneous hardware and software components satisfaction.
format Article
id doaj-art-5bd24a4a938b400985bbda982c27d5c0
institution DOAJ
issn 2169-3536
language English
publishDate 2023-01-01
publisher IEEE
record_format Article
series IEEE Access
spelling doaj-art-5bd24a4a938b400985bbda982c27d5c02025-08-20T02:48:45ZengIEEEIEEE Access2169-35362023-01-0111525275253910.1109/ACCESS.2023.327785910129833Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software DesignAmar Banerjee0https://orcid.org/0000-0002-1454-4215Venkatesh Choppella1Software Engineering Research Center, International Institute of Information Technology, Hyderabad, Hyderabad, Telangana, IndiaSoftware Engineering Research Center, International Institute of Information Technology, Hyderabad, Hyderabad, Telangana, IndiaThis paper presents a knowledge-driven approach for automated synthesis of controllers in three different use-cases. The approach addresses the engineering challenge posed by Industrie 4.0, which requires fast, reliable, and flexible integration of multiple heterogeneous hardware and software components. Manual design approaches are not scalable for large systems due to their complexity. The proposed approach captures resource-capability knowledge and uses a reasoning-based synthesis mechanism to compose a controller design for a plant goal. The approach uses domain-specific languages (DSLs) to describe the components, their interfaces, and capabilities. The generated control designs are executable codes that implement the control strategy. The proposed approach reduces the average engineering time by 70% and generates on an average 60% of the executable code in each use-case. The approach uses a knowledge repository to store resource-capability knowledge and enables rapid prototyping and iterative design. The proposed approach provides a promising solution to automate the synthesis of controllers in different use-cases with multiple heterogeneous hardware and software components satisfaction.https://ieeexplore.ieee.org/document/10129833/Automated software developmentcontrol softwarecapability knowledge modelknowledge driven approachsemantic ontology
spellingShingle Amar Banerjee
Venkatesh Choppella
Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design
IEEE Access
Automated software development
control software
capability knowledge model
knowledge driven approach
semantic ontology
title Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design
title_full Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design
title_fullStr Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design
title_full_unstemmed Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design
title_short Knowledge Driven Synthesis Using Resource-Capability Semantics for Control Software Design
title_sort knowledge driven synthesis using resource capability semantics for control software design
topic Automated software development
control software
capability knowledge model
knowledge driven approach
semantic ontology
url https://ieeexplore.ieee.org/document/10129833/
work_keys_str_mv AT amarbanerjee knowledgedrivensynthesisusingresourcecapabilitysemanticsforcontrolsoftwaredesign
AT venkateshchoppella knowledgedrivensynthesisusingresourcecapabilitysemanticsforcontrolsoftwaredesign