In this short presentation we will first introduce the basic ingredients of Cyber-Physical Systems (CPS) and outline the main challenges and actions needed to make smart CPS happen. This includes new social aspects (adoption by humans), and new challenges in terms of safety/security/privacy. We will also insist on the green CPS challenge. In the second part of the presentation, we will present our vision on the rigorous design of CPS. This vision extends the one from Joseph Sifakis with new simulation-based techniques coupled with smart models and tools used to learn and anticipate systems dynamic. In conclusion, we will outline the main research priorities for the coming years.
The communication presentations (keynote talks and posters) will be continuously in May and June.
Dr. Axel Legay (2008 IBM Belgian Prize Winner) held positions at University of Liège and CMU (under the supervision of Ed Clarke). He is now full-time researcher at INRIA where he leads the ESTASE team (8 researchers), and a part-time Reader at the Royal Holloway University of London. His main research interests are in developing formal specification and verification techniques for Software Engineering. Axel Legay is a major contributor in the areas of CPS, embedded systems, and Systems of Systems. Axel Legay is a founder and major contributor of statistical model checking (a statistical variant of model checking effectively used in industry). He also provided the first generic techniques for the verification of infinite-state systems and for dealing with variability. Recently, he has introduced new theories to deal with quantitative problems and reason on energy-centric systems. Axel Legay supervised 3 PhD theses and authored more than 150 peer-reviewed publications. He is a referee for top journals and conferences in formal verification and simulation, and program co-chair of INFINITY'09, FIT'10, Runtime Verification 2013, Splat 2014, and FORMATS 2014. He is also workshop chair at ETAPS'14. He is principal investigator on 3 national and 5 European research projects.
|CHIST-ERA Conference 2014 - Axel Legay.pdf
Professor Breu is Scientific Head of the Quality Engineering Laura Bassi Lab (QE LaB) in Austria (Innsbruck). The goal of QE LaB is to develop methods and tools to foster the quality management of a new generation of dynamically evolving cooperative systems and to bring high-level research results to the market. Her research interests include Requirements Engineering, Model-Driven Software Development, Software Processes, Security Engineering, Quality Management.
Probably the most severe vulnerability of organizations today is their inability to efficiently coordinate security relevant actions and data. Challenges for assuring security of the emerging generation of “smart” platforms (smart cities, smart grids, smart vehicles, …) arise from the sheer amount of highly interconnected assets, the necessity to balance security, safety, cost and performance requirements and inter-organizational environments. The presented “Living Security” concept claims the necessity to increase the degree of automation, adaptability and analysability within the security management process.
|CHIST-ERA Conference 2014 - Ruth Breu.pdf
Dr. Siraj Ahmed Shaikh is a Reader in Cyber Security at the Faculty of Engineering and Computing at Coventry University. He leads the Digital Security and Forensics (SaFe) Group. He has been involved in research of large-scale distributed secure systems for over twelve years. His doctoral and post-doctoral research involved design and verification of security and safety-critical systems. He has over fifty peer-reviewed research publications. He holds a PhD in Computer Security, MSc in Computer Networking, MA in Higher and Professional Education, and BSc (Honours) in Computing. He is a Chartered Fellow of BCS and also a Chartered Scientist.
Cyber-Physical Systems (CPS) pose a remarkable challenge to security and resilience. One example of such systems are modern vehicles, which are increasingly sophisticated in terms of communication, sensors and actuators all interconnected. Due to the advances in electronic sensors and digital platforms for communication and control, physical security of today provides enhanced capability on the one hand, yet opens up doors for new types of threats on the other. In the case of vehicles, this opens up new attack vectors, which when coordinated across the physical and cyber space serve to be a real challenge for the detection and prevention of attacks. Added to this, are challenges of non-technical factors such as economics, national policy and human factors that serve as an influence. The need to respond to this problem in a manner that is converged across both physical and cyber space hence is greater than ever. This keynote will highlight some of these issues and emphasise on relevant future research directions.
|CHIST-ERA Conference 2014 - Siraj A. Shaikh.pdf