Andrew Ireland Dependable Systems Group

Slides:

Advertisements

Similar presentations

© Andrew IrelandSoftware Design F28SD2 Software Design: Summary Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh.

Advertisements

Supporting an Essential Platform for the Knowledge Base David Harman.

1 Whither Mathematics Research ? David Harman Head of Mathematical Sciences.

An Integration of Program Analysis and Automated Theorem Proving Bill J. Ellis & Andrew Ireland School of Mathematical & Computer Sciences Heriot-Watt.

Autonomous & Intelligent Systems ENGINEERING AND PHYSICAL SCIENCES RESEARCH COUNCIL Dr Simon Crook (Senior Manager, Aerospace, Defence & Marine)

CASE Studentships Chris Harty Loughborough University Interactive agenda Setting 3 rd & 4 th November 2005, Cosener’s House, Abingdon ESRC CASE guidance.

Grants and Industry Engagement Issues Advantages and Disadvantages

The EPSRC Sustainable Urban Environment Programme Philippa Hemmings 27 October 2010.

Mike Sharples. Beyond mobile learning Learning-enhanced environments DREAM proposal DREAM is a new centre for groundbreaking research into Digital Reality.

Grand Challenges Robert Moorhead Mississippi State University Mississippi State, MS 39762

ALICE 3D PROGRAM WORKSHOP. ALICE & MATHEMATICS Using Alice in Mathematics Using 3D Graphics to add in the understanding of math concepts.

David L. Spooner1 IT Education: An Interdisciplinary Approach David L. Spooner Rensselaer Polytechnic Institute.

Results Matter. Trust NAG. Numerical Algorithms Group Mathematics and technology for optimized performance Andrew Jones IDC HPC User Forum, Imperial College.

Engineering & Physical Sciences Research Council.

International Trends: the Bologna Process and the European Research Area Ruth Thompson Director of Higher Education Strategy and Implementation Department.

© 2014 The Regents of the University of Michigan. This work is licensed under the Creative Commons Attribution 4.0 Unported License. To view a copy of.

EPSRC Mathematical Sciences Programme David Harman – Head of Programme Katharine Bowes – Pure Mathematics Mark Bambury – Applied Mathematics Janet Edwards.

Introducing KaHo Sint-Lieven. Established in 1995 Merger of 8 institutions of higher education.

Queen Mary, University of London: Discipline Bridging Initiative 1 Queen Mary, University of London Discipline Bridging Initiative Funded via the MRC/EPSRC.

Oracle Open World 2014 Integrating PeopleSoft for Seamless IT Service Delivery: Tips from UCF 1 Robert Yanckello, Chief Technology Officer University of.

GCSE Computer Science 2 YEAR COURSE Business & ICT Department.

Session Chair: Peter Doorn Director, Data Archiving and Networked Services (DANS), The Netherlands.

© Andrew IrelandDependable Systems Group Proof Automation for the SPARK Approach to High Integrity Ada Andrew Ireland Computing & Electrical Engineering.

© Andrew IrelandDependable Systems Group Cooperative Reasoning for Automatic Software Verification Andrew Ireland School of Mathematical & Computer Sciences.

© Andrew IrelandDependable Systems Group ITI Techmedia and Technology Transfer Andrew Ireland Dependable Systems Group School of Mathematical & Computer.

(On secondment at) Praxis High Integrity Systems Bath Dependable Systems Group School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh.

Information Technologies & Information Systems Kazan Federal University.

© Andrew IrelandDependable Systems Group On the Scalability of Proof Carrying Code for Software Certification Andrew Ireland School of Mathematical & Computer.

Towards a Virtual Institute for Research into eGovernment Prof. Zahir Irani & Dr Tony Elliman Information Systems Evaluation and Integration Group School.

Science and Engineering

© Gudmund Grov & Andrew Ireland Dependable Systems Group Planning for System Development Gudmund Grov & Andrew Ireland Dependable Systems Group School.

INTEGRATED LEARNING: STAGE 4 (SECONDARY COGS) Principles and process.

1 Overview of EPSRC Strategy The Future of HCI in the UK 14 th June 2007 Claire Hinchliffe.

© Andrew IrelandDependable Systems Group Invariant Patterns for Program Reasoning Andrew Ireland Dependable Systems Group School of Mathematical & Computer.

PhD Projects Rahul Santhanam University of Edinburgh.

© Andrew IrelandDependable Systems Group Proof Automation for the SPARK Approach to High Integrity Ada Andrew Ireland Computing & Electrical Engineering.

Challenges of Disseminating Information to Broad Stakeholder Groups Elizabeth Cummings and Paddy Nixon University of Tasmania, Australia.

EXPLORING PROCESS OF DOING DATA SCIENCE VIA AN ETHNOGRAPHIC STUDY OF A MEDIA ADVERTISING COMPANY J.SALTZ, I.SHAMSHURIN 2015 IEEE INTERNATIONAL CONFERENCE.

EPSRC Fellowships in ICT (and a few other schemes) Matt Davis BEAMS School Research Facilitators.

Enterprise & Environment Directorate TRANSPORT FOR REGIONAL GROWTH 5 NOVEMBER 2015 Keith Winter, Executive Director, Enterprise and Environment, Fife Council.

NA-MIC National Alliance for Medical Image Computing Core 1b – Engineering Computational Platform Jim Miller GE Research.

© Andrew IrelandGrand Challenges for Computing Research 2004 The Verifying Compiler Andrew Ireland Dependable Systems Group School of Mathematical & Computer.

Machine Creativity Edinburgh Simon Colton Universities of Edinburgh and York.

The Engineering and Physical Sciences Research Council Funding (EPSRC)

S. Randjbar-Daemi ICTP and some of its major achievements in the last 5 years.

Modelling and implementation of correct by construction healthcare workflows Petros Papapanagiotou Jacques Fleuriot This research is supported by EPSRC.

Holding slide prior to starting show. GECEM: Grid-Enabled Computational Electromagnetics David W. Walker School of Computer Science Cardiff University.

STEM Science Technology Engineering Mathematics

Liam O’Brien Specialist Capabilities Programme

L2L The Professional Development Framework through the lens of Libraries & Librarians.

Computer Science An Overview of Undergraduate Degree Programmes

The Development of Spirituality Interest Group in the Republic of Ireland- an Innovative Response to an Emerging Hiatus Dr. Fiona Timmins, Associate Professor,

Computer Systems An Overview of the Undergraduate Degree Programme

Data Science University of California Davis

Computer Science School of Mathematical and Computer Sciences

Cooperative Reasoning for Automatic Software Verification

Greg Riccardi PCORI CTSA School of Information

A Verification Condition Visualizer

שילוב קורסים לפיתוח מיומנויות למידה במכללה להנדסה

Natasha Cook, M.Sc., Kerry Ritchie, Ph.D.,

Dr Christopher Daley Research Development Officer

Smart Learning concepts to enhance SMART Universities in Africa

AARHUS UNIVERSITY.

When to go for funding and when not.

Roos value integrity success collaboration relationships school pride

Our Journey: a tool to support reflection and wellbeing

Mathematical Sciences Programme David Harman Head of Programme

Scottish Theorem ICMS December 14, 2018

I4.0 in Action The importance of people and culture in the Industry 4.0 transformation journey Industry 4.0 Industry 3.0 Industry 2.0 Industry 1.0 Cyber.

Rich Model Toolkit – An Infrastructure for Reliable Computer Systems

Presentation transcript:

Strengthening Systems Engineering and Assurance Processes via Embedded Formal Methods Andrew Ireland Dependable Systems Group School of Mathematical & Computer Sciences Heriot-Watt University Edinburgh

Background “Platform Grants are a flexible mechanism of providing underpinning funding to well established, world leading research groups.”

The Integration and Interaction of Multiple Mathematical Reasoning Processes Platform Grant EP/J001058: 2011-2015 £1.4M Andrew Ireland David Aspinall Alan Bundy Simon Colton Jacques Fleuriot Jeremy Gow Gudmund Grov Paul Jackson Fiona McNeill Greg Michaelson Alan Smaill Edinburgh Heriot-Watt Goldsmiths College

Our Holistic Perspective of Automated Reasoning Selecting the "right" representation will typically make it easier to reason about a problem … … understanding why reasoning breaks down often provides insights into how to improve representations Exploring this subtle interplay and its applications to practical problems, e.g. from formal methods for systems engineering to ontology management, and from creativity in games to medical work-flows

Research Activities Flexibility Fund Projects (FFPs): Short-term pump priming projects with the aim of attracting further funding So far 28 FFPs have been funded Distinguished Visitors (DVs): Host distinguished academics or industrialists with the aim of accelerating progress across our research agendas – so far 9 DVs, from Europe, South Africa and the US Added value - engagement outwith our group

BAE Systems (Warton) EPSRC grant EP/F037058: REMO - Reasoned Modelling Collaborators: Heriot-Watt, Edinburgh, Imperial College and BAE Systems provided partial funding for Teresa Llano (PhD Student), 2008-11 EPSRC/BAE iCASE: The Development of Rigorous Methods for the Design of Complex Systems, in line with Military and Civil standards for Complex Hardware and Software Rajiv Murali, 2011-14 BAE Systems (Warton) – consultancy contracts: A survey of formal verification technologies within the context of software intensive systems Exploitation & opportunities for the deployment of automated analysis approaches in the context of DO-178C