Collaboration between Uppsala and Dortmund on further developing automata learning (regular inference) techniques for applications to generating models of protocol modules.
In the MURI project ISIS develops a composable tool architecture and integrated tool chain designing systems that are correct-by-construction, fault tolerant, secure and degrade gracefully under fault conditions or information attacks. Collaborative research focused on the Time-Triggered Architecture as a target platform for this toolchain.
Research collaboration between the Institute for Software Integrated Systems (ISIS) at the Vanderbilt University and the Real-Time Systems Group at the Vienna University of Technology