We are pleased to have three invited speakers for SEFM 2017.
Software Safety and Security, Assurance Cases and Model ManagementMarsha Chechik, University of Toronto, Canada
From financial services platforms to social networks to vehicle control, software has come to mediate many activities of daily life. Governing bodies and standards organizations have responded to this trend by creating regulations and standards to address issues such as safety, security and privacy. In this environment, the compliance of software development to standards and regulations has emerged as a key requirement; yet, Standards, development artifacts and compliance evidence can all be expressed as models. The field of Model Management has emerged to address another software development complexity problem – the proliferation of software models in model driven software development. Model management focuses on a high-level view in which entire models and their relationships (i.e., mappings between models) can be manipulated using specialized operators to achieve useful outcomes. In this talk, we look at the connection between compliance and modeling to reduce compliance complexity and cost, as well as to facilitate reuse and evolution, with a special focus on automotive software development. Biography: Marsha Chechik is Professor in the Department of Computer Science at the University of Toronto. She received her Ph.D. from the University of Maryland in 1996. Prof. Chechik’s research interests are in the application of formal methods to improve the quality of software. She has authored numerous papers in formal methods, software specification and verification, computer safety and security and requirements engineering. In 2002-2003, Prof. Chechik was a visiting scientist at Lucent Technologies in Murray Hill, NY and at Imperial College, London UK, and in 2013 – at Stonybrook University. She is a member of IFIP WG 2.9 on Requirements Engineering and an Associate Editor of Journal on Software and Systems Modeling. She is has been an associate editor of IEEE Transactions on Software Engineering 2003-2007, 2010-2013. She regularly serves on program committees of international conferences in the areas of software engineering and automated verification. Marsha Chechik is a Program Committee CoChair of the International Conference in Software Engineering (ICSE18). She has been a PC Co-Chair of the 2016 International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), the 2016 Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE16), the 2014 International Conference on Automated Software Engineering (ASE), Co-Chair of the 2008 International Conference on Concurrency Theory (CONCUR), PC Co-Chair of the 2008 International Conference on Computer Science and Software Engineering (CASCON), and PC Co-Chair of the 2009 International Conference on Formal Aspects of Software Engineering (FASE). She is a Member of ACM SIGSOFT and the IEEE Computer Society. One of the grand challenges of our time is the provision of self-managing adaptive systems. In the extreme, these are required to handle unexpected and unplanned changes that occur at run-time. These unexpected changes can be in any or all of the following: the environment in which the system operates, the capabilities of the system, or in the requirements and goals that the system should achieve. Although ad hoc techniques can be used for specific circumstances, what we need are rigorous, comprehensive, and pragmatic approaches to deal with the challenges that operational run-time change presents. Jeff Kramer is a Professor at Imperial College London. He was Head of the Department of Computing from 1999 to 2004, Dean of the Faculty of Engineering from 2006 to 2009 and the Senior Dean from 2009 to 2012. A Formal Contract-Based Design Methodology for CyberPhysical SystemsAlberto Sangiovanni-Vincentelli, Berkeley University, United States
In cyber-physical systems (CPS) computing, networking and control (typically regarded as the “cyber" part of Biography:
Alberto Sangiovanni-Vincentelli holds the Buttner Chair of Electrical Engineering and Computer Sciences, at the University of California, Berkeley, where he has been on the faculty since 1976. He helped founding Cadence and Synopsys, the two leading companies in EDA. He is on the Board of Directors of Cadence, KPIT Technologies, Sonics, Expert Systems, and Cogisen. He is a member of the Investment Committee of Atlante Venture, of the Advisory Board of Innogest, Walden International and Xseed, and of the Executive Committee of the Italian Institute of Technology. He was the President of the Strategic Committee of the Italian Strategic Fund. He consulted for companies such as Intel, HP, Bell Labs, IBM, Samsung, UTC, Kawasaki Steel, Fujitsu, Telecom Italia, Pirelli, GM, BMW, Mercedes, Magneti Marelli, ST Microelectronics, ELT, Unipol and UniCredit.
|