BCS FACS - Model-Driven Software Engineering - Promises and Challenges

Date/Time: Thursday 15 May 2014, 6.00pm - 9.00pm

BCS, First Floor, The Davidson Building, 5 Southampton Street, London, WC2E 7HA

Cost to attend: Free of charge, but, please book your place via the BCS online booking system.

Speaker: Prof. Zhiming Liu - Birmingham City University


Software engineering was born with the “software crisis”, caused by the increasing power of computers and growing complexity of software development. Formal methods have been developed to tackle the grand challenge of correctness and dependability of complex software. Today, software programs are everywhere, but they are deployed on different platforms and embedded in different kinds of devices. These platforms and devices are distributed and connected with different networks.

Consider smarter meters networked with industry control systems and mobile phone networks for home automation, and eHealth or mHealth. These applications of the “Internet of Things”, “smart cities” and “cyber-physical systems” (CPS) cannot be designed top-down from scratch or synthesised bottom-up from existing pieces. They have to evolve incrementally from existing systems, even non-computerised systems, and be constantly maintained with updated technologies.

In this talk, we discuss model-driven software engineering, which shows promises and challenges in dealing with the complexity of these systems and in support of their evolution. In particular, we argue that an architecture-centric modelling method could be the hope to scale up formal method by linking theories to system engineering practice.

PDF Icon Presentation