The High Integrity Software Conference Continues to Champion High-Assurance Software Development
AdaCore and Altran today announce their renewed sponsorship of the annual High Integrity Software (HIS) Conference, taking place in Bristol on November 5th, 2019. Now in its sixth year, the event attracts leaders in industry and academia who share the common focus of producing high integrity software. This promises to be the pivotal event as we enter an age of digital dependency, and many aspects of our everyday lives rely on the correct behaviour of software-intensive electronic systems. The event addresses new, current and future challenges and continues to grow year on year. It welcome an international audience, with delegates from continental Europe to Japan. Recognising the need to engage new engineers on this key topic, there are special rates available for those at an early stage of their career.
HIS 2019 will feature talks from industrial and academic specialists, focusing on four key themes: Future Aerospace Systems, Future Automotive Systems, Critical Systems: Security and Safety, and Languages and Technologies. Two keynote speakers have been confirmed to represent both industrial and academic views: George Romanski, Chief Scientific and Technical Advisor of Computer Aircraft Software at the Federal Aviation Administration, and Les Hatton, Emeritus Professor of Forensic Software Engineering at Kingston University.
The conference continues to evolve and grow thanks to long-standing support from key industry players AdaCore, Altran, Jaguar Land Rover, BAE Systems and General Dynamics. Tom Anderson from CSR Events commented “The ongoing success of the HIS conference is surely due, in very large measure, to the emphasis that the event places on practical, industrial and commercial systems. This is reflected by the unstinting support we receive: from our sponsors, our speakers, our exhibitors – and, of course, our delegates.”
We continue to support the next generation of quality software developers through subsidised participation rates for university students and anyone enrolled in an early-starter/apprenticeship scheme:
Jamie Ayre, Commercial Director at AdaCore commented, “HIS is quite simply one of the best conferences we attend globally. The relevance of the content, the wide range of industries represented amongst the delegate list and a dedicated exhibition space with leading companies in the critical software development solutions arena, ensures that the conference continues to see great success year on year”.
Stuart Matthews, Research and Technology Manager at Altran UK said, “I am delighted that we have continued our engagement with the High Integrity Software Conference. A compelling programme, including strong keynote speakers and a perspective based on a balance of industry and academia makes HIS a must-attend event.”
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, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability. GNAT Pro is available for Ada and also for C and C++.
- The CWE-Compatible 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. CodePeer can detect a number of the “Top 25 Most Dangerous Software Errors” in the MITRE Corporation’s Common Weakness Enumeration (CWE).
- The CWE-Compatible SPARK Pro verification environment, a toolset based on formal methods and oriented toward high-assurance systems.
- The QGen model-based development tool suite for safety-critical control systems, providing a qualifiable and customizable code generator and static verifier for a safe subset of Simulink® and Stateflow® models, and a model-level debugger.
Over the years, customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as commercial and military avionics, automotive, railway, space, defence systems, air traffic management/control, medical devices and financial services. AdaCore has an extensive and growing worldwide customer base; see www.adacore.com/industries for further information.
AdaCore products are open source and come with expert online support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.
Altran is the world leader in engineering and R&D services. The Group offers its customers a unique value proposition to meet their transformation and innovation challenges. Altran supports its customers, from concept to industrialisation, to develop the products and services of tomorrow. Altran has been working for more than 35 years with major companies in sectors such as automotive, aeronautics, space, defence & naval, rail, infrastructure & transport, industry & consumer products, life sciences and communications, as well as semiconductor & electronics, software & internet, finance & public sector. Altran generated €2.9 billion in revenue in 2018, with nearly 47,000 employees in more than 30 countries.
Altran has extensive capability in high-integrity software development. The company’s Bath-based expertise centre was established in 1983 and its team has delivered a number of high-profile projects demanding the very highest level of excellence.
The SPARK technology is at the heart of the work of Altran’s expertise centre and is the foremost language, toolset and design discipline for the engineering of high-assurance software. SPARK has been used to meet or exceed industry standards at the highest assurance levels for many projects in industry sectors, such as aerospace, rail, energy and defence.
Follow us on Twitter:
T: +44 (0)1252 448 169
T: +44 (0) 203 117 0700