Cyber-Physical Systems (CPS) are subject to various faults due to failing actuators, sensors or structural components. The increasing size and complexity of modern systems result in cost-and time-intensive manual fault handling. To enable autonomous adaptation of systems to faults, it is necessary to perform reconfiguration, which involves identifying a new valid configuration that restores operation. This paper presents a further development of previous work to adapt the working principle of the AutoConf algorithm for the reconfigu-ration of systems with serially constrained inputs (SCI-systems). The implementation draws on a recursive traversing of a directed acyclic graph (DAG) as the system representation and is formulated in propositional logic. The developed algorithm DAG2SAT is exemplified on a simple SCI-System and then applied to the Environmental Control and Life Support System (ECLSS) within the COLUMBUS module of the ISS and tested against various synthetic fault cases.    «

Cyber-Physical Systems (CPS) are subject to various faults due to failing actuators, sensors or structural components. The increasing size and complexity of modern systems result in cost-and time-intensive manual fault handling. To enable autonomous adaptation of systems to faults, it is necessary to perform reconfiguration, which involves identifying a new valid configuration that restores operation. This paper presents a further development of previous work to adapt the working principle of th...    »