Theoretical framework for asynchronous feedback Network Under Balance (NUB)

We propose a theoretical framework for the associative composition of functionally stable asynchronous feedback Networks Under Balance (NUB) for safety critical systems. It is totally closed under inversion and decomposition; thus, it can be applied to many applications embedded in asynchronous environment. For this, we engage our Automata Based Composition (ABC); the given network can now be interpreted as an asynchronous feedback, functionally stable automaton. As the ABC is invertible, it can be exhaustively used for issues of test and diagnosis based on a correct-by-construction paradigm. To demonstrate the practical application of the theory, we present our laboratory setup of the theoretical framework as a proof of concept by developing a set of boundary conditions which lead to an implementation in a further step. For this purpose, we build up a network of microcontroller boards and a set of specialized firmwares implementing the different components of the NUB.