WP6-23: Difference between revisions

From COMP4DRONES
Jump to navigation Jump to search
 
(4 intermediate revisions by the same user not shown)
Line 9: Line 9:
|  Require || -
|  Require || -
|-
|-
|  Provide || TODO
|  Provide || Fault injection tests for communication validation
|-
|-
|  Input || TODO
|  Input || AsyncAPI model
|-
|-
|  Output || TODO.
|  Output || -
|-
|-
|  C4D tooling || n.a.
|  C4D tooling || n.a.
Line 37: Line 37:
==Current Status==
==Current Status==


TODO
The toolchain provides automatic documentation and code generation. AsyncCommsTool provides a plugin that generates automatically test cases to detect communication inconsistencies and may help in the certification of the system. But currently, some bugs need to be solved in order to be a useful plugin.


==Design and Implementation==
==Design and Implementation==


TODO
The solution is developed in Java language.

Latest revision as of 07:26, 23 September 2022

AsyncCommsTool

ID WP6-AsyncCommsTool
Contributor IKERLAN
Levels Tool
Require -
Provide Fault injection tests for communication validation
Input AsyncAPI model
Output -
C4D tooling n.a.
TRL 5
License Proprietary

Detailed Description

AsyncCommsTool is a model-based plugin to design, develop and validate message-driven IIoT architectures efficiently. The solution is based on AsyncAPI Toolbox, which helps in designing and implementing message-driven communication APIs using a model-based approach. AsyncCommsTool plugin is implemented to include the validation phase in the AsyncAPI Toolbox. This plugin helps in the automation of the design, implementation and verification of asynchronous architectures for IoT system communication using model-based techniques.

The purpose of the AsyncCommsTool is to incorporate utilities for assisting drone systems developers in the IoT communication verification tasks. The generation of tests (fault injections) that will help in the detection of inconsistencies in the communication protocol is automated.

Contribution and Improvements

With the AsyncCommsTool plugin, the AsyncAPI Toolbox is extended with the capability for automatically generating the test cases that enable to verify the correctness of the generated communication API.

Interoperability with other C4D tools

It has interoperability with other tools such as: SelfTestTool and Kibana, a data visualization dashboard software.

Current Status

The toolchain provides automatic documentation and code generation. AsyncCommsTool provides a plugin that generates automatically test cases to detect communication inconsistencies and may help in the certification of the system. But currently, some bugs need to be solved in order to be a useful plugin.

Design and Implementation

The solution is developed in Java language.