=Paper=
{{Paper
|id=Vol-1744/keynote
|storemode=property
|title=None
|pdfUrl=https://ceur-ws.org/Vol-1744/keynote.pdf
|volume=Vol-1744
}}
==None==
<pdf width="1500px">https://ceur-ws.org/Vol-1744/keynote.pdf</pdf>
<pre>
              Formal Methods and
           Future Systems Engineering

                            John Fitzgerald

          School of Computing Science, Newcastle University
                     NE1 7RU, United Kingdom
                      john.fitzgerald@ncl.ac.uk



Abstract. Formal methods have traditionally focussed on the mod-
elling, verification and validation of computation and communication
processes, and on the dependability of digital systems. However, the rise
in networked and embedded processors and Internet of Things technology
means that we must look beyond the formalisms of classical computer
science to consider how our research results impact on the engineering
of systems in the physical world. This entails more than just integrat-
ing discrete-event and continuous-time models: it means working across
established discipline boundaries to develop formal methods and for the
next generation of systems engineering. In this short talk, we will consider
the role of the formal methods researchers in this future environment,
and the skills they will need beyond the doctorate.

</pre>