12 September 2017 AdaCore and Altran have announced their renewed sponsorship of the annual High Integrity Software Conference, which takes place in Bristol on 17th October 2017. Now in its fourth year, the mission of the High Integrity Software Conference is to share challenges, best practice and experiences between software engineering practitioners engaged in complex systems. The conference is endorsed by official supporters BAE Systems and Jaguar Land Rover and plays host to a number of industrial exhibitors.
This year’s conference programme captures large-scale corporate and industrial concerns right down to individual experiences of software vulnerability. Robert Martin of MITRE will discuss his involvement in international cyber security initiatives encouraging better quality software development (including CWE), while Dr Marie Moe is set to share her very personal journey investigating the integrity of her own critical infrastructure – her pacemaker.
Failures in software assurance big and small have the potential to be catastrophic in a society that has become increasingly reliant on software-intensive electronic systems. HIS 2017 comes during a year when the UK has been plagued by a host of high-profile cyber attacks, affecting the systems of institutions as vital as the National Health Service and Houses of Parliament.
Stuart Matthews, SPARK Product Manager at Altran UK, said: “In this age of digital dependency the need for trustworthy software has never been greater, which is why a conference promoting best practice in software development is so important. We’re delighted with our programme, which is designed to offer a variety of perspectives; corporate, academic and personal.”
“Software reliability and security are becoming more and more important in today’s connected era,” said Jamie Ayre, Commercial Team Lead at AdaCore. “The High Integrity Software Conference provides a venue to meet with experts and peers alike and share best practices for building robust software applications.”
To find out more and register, visit www.his-2017.co.uk.
As a global leader in Engineering and R&D services (ER&D), Altran offers its clients a new way to innovate by developing the products and services of tomorrow. Altran works alongside its clients on every link in the value chain of their project, from conception to industrialisation. For over thirty years, the Group has provided its expertise to key players in the Aerospace, Automotive, Defence, Energy, Finance, Life Sciences, Railway, and Telecom sectors, among others. In 2016, the Altran group generated revenues of €2.120bn. With a headcount of more than 30,000 employees, Altran is present in more than 20 countries.
Altran has extensive capability in high-integrity software development. At the company’s Bath-based expertise centre (established in 1982) its team has engaged in a number of high-profile projects demanding the very highest level of excellence, including building the latest air traffic management systems, developing safety-critical software for the defence sector and contributing to key national infrastructure projects.
The SPARK technology is at the heart of the work of Altran’s Bath-based expertise centre and comprises the foremost language, toolset, and design discipline for the engineering of high-assurance software. SPARK has an enviable track record in many industry sectors, such as aerospace, rail and security, and has been used to meet or exceed industry standards at the highest assurance levels.
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings:
- The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability.
- The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software.
- The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems.
- The QGen model-based development tool, a qualifiable and customisable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.
Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as railway systems, space systems, commercial avionics, military systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing world-wide customer base; see www.adacore.com/customers/ for further information.
Marketing and Communications Manager
Tel: +44 (0)203 117 0748
Marketing Operations Manager
Tel: +33 (0) 1 49 70 87 82