F o R M A 2011

 

Formal and Resilient Methods in Aerospace

 

A Tutorial Workshop

Affiliated with IMCPS2011

 

28 May 2011

Manchester

 

 

organised by      

The Centre for Interdisciplinary Computational and Dynamical Analysis - CICADA

 

Chairs:                Manuela Bujorianu and Dave Broomhead

Logistics Chair: Helen Harper

 

 

 

 

 News

·        Online registration has been launched. The registration fee is 10GBP, and it covers all costs, including lunch and beverages, which will be served on the site.

·        Free registration for all students!

·        Cheese and wine farewell!

 

 

 

 

 Overview

This workshop continues an international workshop series called ``Formal Methods for Aerospace - FMA”.  The first edition of FMA was affiliated with the FM’2009- The Formal methods congress in Eindhoven
http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/FMA09.htm
And the second edition was affiliated with the top conference in control Engineering - CDC
http://personalpages.manchester.ac.uk/staff/Manuela.Bujorianu/CDC.htm
The workshop consists of an industrial tutorial on Modelica, followed by two tutorials on interdisciplinary verification, respectively autonomous space software.

 

 

 

Programme

 

 

·         9.30 – 9.49   Registration

 

·         9.50 – 9.59   Opening

 

·         10.00 – 11.00

 

Peter Harman (DeltaTheta UK Limited)

Modelica simulation and non-simulation applications in engineering  Abstract

·         11.01 – 11.19  Coffee break

 

·         11.20 – 12.50

 

Rafael Wisniewski, Christoffer Sloth  (Alburg University, DK)

Discrete Abstractions of Mechanical Systems Abstract

 

·         12.51-13.50 Lunch

 

·         13.50-15.20

Mike Hinchey  (Lero, Ireland)

Self-Managed Software   Abstract

 

·        15.20-15.30 Conclusive discussions

·        15.30-16.00 Farewell – cheese and wine

 

 

 

 

 Speaker short bios

 

·         Peter Harman is Technical Director of Deltatheta UK Limited, who develop a range of Modelica based software for simulation and model-based-systems-engineering. Peter is a Mechanical Engineer and prior to founding deltatheta in 2009 worked as a simulation specialist in F1 and the automotive industry for companies including Honda, Ricardo and Lotus

·         Rafael Wisniewski is a Professor in the Section of Automation & Control, Department of Electronic Systems at Aalborg University. He receives his PhD EE in 1997 and PhD Math in 2005. In years 2007-2008, he was a control specialist at Dafoss A/S. His research interest is in system theory in particular hybrid system

·        Mike Hinchey is Director of Lero-the Irish Software Research Centre, and Professor of Software Engineering at University of Limerick, Ireland. Until January 2007, he was Director of the NASA Software Engineering Laboratory, located at NASA Goddard Space Flight Center in Greenbelt, MD. He now serves as a NASA expert consultant. Prior to joining the US government, at various times he held positions at the level of full professor in the US, Australia, Sweden, Ireland and the UK. He received a B.Sc. in Computer Science from University of Limerick, Ireland, an M.Sc. in Computation from University of Oxford, UK, and a Ph.D. in Computer Science from University of Cambridge, UK.

·         Christoffer Sloth is a PhD Fellow at the Department of Computer Science at Aalborg University, Denmark. He got his Master’s degree from Section for Automation & Control at Aalborg University in 2009. His research interests are in the areas of formal verification and automated controller design for continuous systems.

 

 

 

 

Organisation

 

  • Online registration
  • Registration can be also made on the site, or by email to (Sebastian.Rees-@-manchester.ac.uk). The number of available p laces is limited – therefore, make sure that you have secured your place well in advance.
  • Due to generous funding from EPSRC, Cicada and the School, the registration is FREE for all students and the Cicada members. Otherwise, the fee is quite reasonable: 10 GBP, covering the cost of lunches and beverages that will be served on site.
  • Please contact Helen Harper (Helen.Harper at Manchester.ac.uk) in case of inquires.
  • Location

Frank Adams rooms, Alan Turing Building. There are several hotels near to the Alan Turing Building. Directions to the Alan Turing Building can be found here . A convenient hotel can be booked here.  The organisers are happy to help you on request

 

 

 

Related events

 

  • FMA  `` Formal Methods for Aerospace” workshop series