Embedding Formal Methods into Systems Engineering

´Summary form only given.´ Industrial computing is rapidly moving towards systems that exhibit vast amounts of internal concurrency and communication, most visibly in many-core architectures, but equally important in the MilliWatt scale of embedded systems and the GigaWatt scale of cloud computing. The shift of focus from stand-alone systems connected through a network to collaborative computation in a network is going to shape the development of computer science for many decades to come, and constitutes a major methodological challenge for systems engineering. Practical solutions for these questions need to account not only for the inherent logical complexity of the systems, but also for the human engineers´ natural inclination to apply sequential models in their informal reasoning, and industry´s need to build reliable systems from reusable components. This setting strongly motivates the development of powerful tools which facilitate mathematically precise modeling on the one hand as well as computer-aided design and validation on the other.