20 September 2016 — AdaCore and Altran have announced their renewed sponsorship of the annual High Integrity Software Conference, which takes place in Bristol on 1 November 2016.
Following a successful conference in 2014 and 2015, organisers the University of Newcastle, AdaCore and Altran have once again compiled a complete technical programme (available at www.his-2016.co.uk/programme) to be delivered by prominent academic and industrial experts, covering topics including security, autonomy, standards and techniques & tools. This programme will be complemented by keynote talks discussing two of the high-integrity software community’s most debated topics: Reasoning with Big Code from Dr Dino Stefano of Facebook and An Alternative Approach to DO-178 from Duncan Brown of Rolls-Royce.
The conference has gone from strength to strength since its inauguration in 2014. As well as the sponsorship of organisers AdaCore and Altran, this year it will benefit from the additional official support of key players BAE Systems and Jaguar Land Rover – a vote of confidence in the conference’s important objective of sharing best practice in the context of today’s increasing reliance on software in performing critical industrial tasks.
“HIS is one of the best conferences we attend globally due to the quality of the programme, the relevance of the exhibitors and the industries represented by the attendees,” says Jamie Ayre, Commercial Team Lead at AdaCore. “We hope that the conference continues to grow from strength to strength with each edition.”
Stuart Matthews, SPARK Product Manager at Altran UK, said: “We are delighted once again to be involved in this key annual conference for the software industry. This year, support has been added by two major UK companies – BAE Systems and Jaguar Land Rover – reinforcing the position of the conference as a focus for sharing experience and innovations in the field of trustworthy software development.”
To find out more and register, visit www.his-2016.co.uk.
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, and
- The QGen model-based development tool, a qualifiable and customizable 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.
AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com
Marketing Operations Manager
+33 1 49 70 87 82
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 telecoms sectors, among others. In 2015, the Altran group generated revenues of €1.945bn. With a headcount of more than 27,000 employees, Altran has a presence 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.
Marketing and Communications Manager
0203 117 0748