Date: Tuesday 25 October 2011

Time: 7.30pm

Location: Room WI-LR13 Wilberforce Building, University of Hull

iCalendar IconiCalendar format


I have pleasure in drawing your attention to the Annual General Meeting of the BCS Humberside branch, which will be held on Tuesday 25 October 2011 in Room WI-LR13 Wilberforce Building, University of Hull, commencing at 7.30pm (usually lasting about 15 minutes).

I would be grateful if you could make every effort to attend this important event in our calendar.


  1. Apologies for Absence
  2. Minutes of the Annual General Meeting held on 12/10/10
  3. Chair's report (PDF)
  4. Treasurer's Report (PDF)
  5. Election of Committee 
  6. Any Other Business

AGM Minutes - 25/10/11 (PDF)

Copies of the last AGM minutes and officers’ reports will be distributed at the AGM. To facilitate members that are unable to attend, the secretary shall, on request, be pleased to forward copies of these documents. The last AGM minutes are on the branch website. The Officers' reports will be added after the meeting.

Your branch committee needs your support to continue in its work for all members. We need new committee members to help us run our events as in previous years. We would be grateful for all nominations to join the committee using the forms included. The work is not onerous. We keep committee meetings brief and infrequent. Our main task is devising an interesting programme for the membership. What can you to do help?

Nominations are sought for the offices of:

  • Chair
  • Secretary
  • Treasurer

Also for general membership of the committee.

The previous year’s committee is listed in full below. The positions marked with an asterisk (*) will become vacant, to be filled at this AGM from nominations received.

Please note that nominations for the election of chair, secretary and treasurer must be signed by two branch members and lodged with the secretary (Nick Smith, 4 Cherry Trees, Skidby, HU16 5UB. Email: before the date fixed for the Annual General Meeting; that is, before 18 October 2011. The consent of the nominee must be lodged with the nomination.

Last year's committee:


Role Name Role
*Brian Tompsett
Chair *Nick Smith Secretary
*Bryony Booth Treasurer/Webmaster *Allan Carswell

Membership Secretary

*Paul Brayford Committee
*Mark Norman Committee Member

Following the AGM, there will be a Chair’s invitation lecture:

Software to help make the world safer by Dr Martin Walker

The University of Hull has been working with organisations like Volvo, Fiat, Toyota and Continental on world-leading solutions to improve reliability in automobiles. This work has resulted in a safety analysis tool called HiP-HOPS, which helps companies in this field implement new safety standards, such as ISO 26262.

Safety analysis - and the wider field of reliability engineering - is becoming ever more important as our reliance on increasingly complex machines and systems grows. This has led to the development of an arsenal of techniques to estimate and improve the safety and reliability of such systems. However, as we design things to become more robust and resilient to failure, it also becomes harder to model and understand their behaviour. In particular, dynamic systems - such as those which can change or adapt to failures during operation - are especially difficult to model using existing techniques.

This talk will introduce some of the concepts and problems involved in reliability engineering and will also present the HiP-HOPS safety analysis tool, developed by the University. HiP-HOPS has been developed in close cooperation with industry and has been influential in the development of new modelling languages and safety methodologies. It is also one of the few developments in the field that addresses new safety standards (like ISO 26262) and is thus of increasing commercial interest.

The talk will go on to describe the difficulties in modelling dynamic systems with classical dependability analysis approaches and will propose a novel potential solution involving a new temporal logic called Pandora, which extends Boolean logic to enable the modelling and analysis of sequences. Pandora is a fundamental approach that allows more meaningful qualitative analysis of dynamic systems, but it also presents some interesting challenges of its own.

Speaker: Dr Martin Walker is a lecturer in Computer Science at the University of Hull and one of the co-developers of the HiP-HOPS technology. He has worked in a number of European projects on safety, including SAFEDOR (focusing on the maritime industry) as well as ATESST2and MAENAD (both in the automotive industry), where he contributed to the design of the EAST-ADL architectural description language. He has published a number of papers on HiP-HOPS and reliability engineering and his work on Pandora was nominated for the BCS Distinguished Dissertation award.