Quality assurance of the timing properties of real-time, reactive system-of-systems

The paper concerns the quality assurance of the timing properties of complex, real-time, reactive system-of-systems. It builds upon our previous work on run-time model checking of timing properties and the automatic white-box testing based on run-time assertion checking, and brings together several technologies to improve the predictability of the system-of-systems´ logical and timing behavior. The paper presents microkernel architecture for evolvable system-of-systems to isolate the computations that are likely to change with time from the basic control logics that are invariant in the application domain, and a testing methodology that is based on formal statechart assertions. We demonstrate the approach with a conceptual design of ballistic missile defense battle management software