A formal model for embedded brain reading

Elsa Andrea Kirchner (German Research Center for Artificial Intelligence (DFKI), Bremen, Germany)
Rolf Drechsler (German Research Center for Artificial Intelligence (DFKI), Bremen, Germany)

Industrial Robot

ISSN: 0143-991x

Publication date: 14 October 2013

Abstract

Purpose

The presented work contributes to research in the field of advanced man-machine interaction and to research in the field of formalisation and verification of complex systems. This work was motivated by the need to provide a detailed and well understandable formal description of embedded brain reading (eBR). The paper aims to discuss these issues.

Design/methodology/approach

The paper first introduces eBR and points out its main features. Next, a general model for eBR is developed to describe the overall architecture, integral parts and dependencies between those parts. The model is developed and presented in a formal structured form that allows for application of optimisation as well as verification techniques.

Findings

The paper demonstrates using implementations that the application of the formal model allows to check for completeness and correctness to detect errors in implementation, which were invisible without formalising eBR. In summary, the presented work contributes a formal model for a complex system and shows that such a formal model can improve the overall system's functionality.

Research limitations/implications

For future work, the results support the application of formal modelling and verification techniques at the system level and the development of methods to prove for correctness and completeness of complex systems during their development.

Originality/value

The paper describes for the first time eBR and presents a formal model for it. It illustrates how an error-prone approach like BR can be applied safely by embedding it into the control of a real system and by applying mechanisms that control for its correct function.

Keywords

Citation

Andrea Kirchner, E. and Drechsler, R. (2013), "A formal model for embedded brain reading", Industrial Robot, Vol. 40 No. 6, pp. 530-540. https://doi.org/10.1108/IR-01-2013-318

Download as .RIS

Publisher

:

Emerald Group Publishing Limited

Copyright © 2013, Emerald Group Publishing Limited

Please note you might not have access to this content

You may be able to access this content by login via Shibboleth, Open Athens or with your Emerald account.
If you would like to contact us about accessing this content, click the button and fill out the form.
To rent this content from Deepdyve, please click the button.