processes Article New Model-Based Analysis Method with Multiple Constraints for Integrated Modular Avionics Dynamic Reconfiguration Process Zeyong Jiang 1 , Tingdi Zhao 1, Shihai Wang 1,2,* and Hongyan Ju 3 1 School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China;...
Insaurralde School of Science and Engineering, Teesside University, Middlesbrough TS1 3BX, UK; c.c.insaurralde@tees.ac.uk; Tel.: +44-1642-38-4331 Received: 31 October 2017; Accepted: 22 January 2018; Published: 3 February 2018 Abstract: The development of time-critical Distributed Avionics ...