Wednesday 7 th November, 2018 DRAFT Integration of Modeling Methods for Cyber-Physical Systems Ivan Ruchkin CMU-ISR-18-107 November 2018 Institute for Software Research School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 Thesis Committee: David Garlan (Chair) Andr´ e Platzer Bruce Krogh Dionisio de Niz John Day (NASA Jet Propulsion Lab) Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Software Engineering. Copyright © 2018 Ivan Ruchkin This research was supported in part by the National Science Foundation (NSF) under grants CNS-0834701 and CNS-1035800, by the Air Force Research Laboratory (AFRL) and the Defense Advanced Research Projects Agency (DARPA) under agreement number FA8750-16-2-0042, the National Security Agency (NSA), the U.S. Department of Defense (DoD) under Contract No. FA8721-05-C-0003 with Carnegie Mellon University for the operation of the Software Engineering Institute (a federally funded research and development center), and through the Office of the Assistant Secretary of Defense for Research and Engineering (ASD(R&E)) under Contract HQ0034-13-D-0004. Any views, opinions, findings, conclusions, or recommendations expressed in this material are those of the author and do not necessarily reflect the views of the NSF, AFRL, DARPA, NSA, DoD, ASD(R&E), or the SEI.