Altran sponsor first High Integrity Software engineering conference
Above: High Integrity Software 2014 will feature presentations on current experience in industry sectors including automotive, avionics and space and will profile key high integrity software development toolsets such as SPARK, used extensively in the development of the CubeSat satellite which was launched into orbit in late 2013.
Over 100 delegates, including senior software engineers and academics, are expected to attend the conference that will provide insights into safe and secure programming standards, techniques and processes.
This important event will provide a forum for sharing information about key challenges and recent developments in high integrity software engineering and will explore the profound consequences that the failure of software-based systems can have for both individuals and companies. Martyn Thomas, Vice-President at the Royal Academy of Engineering and Harold Thimbleby, Professor of Computer Science at Swansea University will both give keynote presentations to lead the discussions on the day, with attendees able to select talks that are most appropriate to their interests.
High Integrity Software 2014 (HIS 2014) will feature keynote speeches from leading international software experts as well as presentations on current industrial experience. The comprehensive conference programme will include perspectives from the space, automotive, security, medical and avionics industries, with talks based around four main themes – Languages and Technologies, Software Security, Software Safety and Applications.
Neil White, Head of Engineering at Altran UK, who will be speaking at HIS 2014 on evolving a development environment that is suitable for constructing today’s systems, stated, “In our increasingly connected world, High Integrity Systems are permeating every part of our lives. Building and assuring the software within these systems demands dedicated tooling and skills. HIS 2014 provides an excellent opportunity for sharing this knowledge.”
Altran, in partnership with AdaCore, recently released Spark Pro 14.0, an integrated high-integrity development and verification toolset that marks a major step forward in software verification technology. SPARK is a programming language and a set of software development products for high assurance software that was used extensively in the development of CubeSat, a tiny satellite launched into a 500 km earth orbit in late 2013. SPARK Pro 14.0 provides users with more powerful and easier to use tools that support the latest version of this language, SPARK 2014.
Stuart Matthews, SPARK Product Manager at Altran, commented, “It is very exciting for Altran UK to be closely involved with the inception of this important new conference. High Integrity Software 2014 will provide a forum for engineers to share best practice in dependable software development across industrial sectors and address the key challenges facing our industry.”
The inaugural High Integrity Software 2014 engineering conference, sponsored by Altran, will take place at the Bristol Marriott Royal Hotel on 23rd October and registration is now open. The conference will be accompanied by an exhibition that will enable delegates to meet with a number of key product and services vendors involved in a range of high integrity software domains across the systems development lifecycle. To find out more, visit www.his-2014.co.uk.
