High Integrity Software Conference reaches out to budding developers in its fifth year
The High Integrity Software Conference will take place in Bristol on 6November 2018. Now entering its fifth year, the conference continues to be the premier annual forum for the sharing of challenges, best practice and experience between software engineering practitioners – for software that matters. This mission continues to grow in importance, with 2018 having once again been a year in which software fallibility, cyber security breaches and the loss of public trust in autonomous systems have made headlines.
Those behind HIS 2018 are firm in their belief that industry and academia can address these challenges by taking a mature approach to software’s design and assurance across industrial sectors. Integral to targeting improvements in the software development domain, a new initiative for this year sees the HIS 2018 organisers capitalising on the event’s success by offering subsidised places to future practitioners. Tom Anderson, from CSR Events, commented: “The HIS 2018 team is committed both to sharing best practice among those already working in software-related contexts, and to ensuring that those joining our profession are given the best possible start. I’m delighted that we’re now in a position to subsidise places for early career engineers, and we hope to inspire them to develop software that can be relied on – when it matters!”
The conference continues to benefit from the long-standing support of key industry players AdaCore, Altran and Jaguar Land Rover, whose contribution ensures that the programme captures the most pressing and relevant issues and topics of debate. This year, four themes will frame the conference content: Assured Autonomous Systems, Hardware/Software Architectures, Cyber Security - People & Practice, and Languages & Applications. Two keynote speakers have been confirmed to represent the industrial and academic view: Simon Burton, Chief Expert Safety Reliability and Availability at Bosch, and Andrew Blyth, Head of Information Security Research Group at the University of South Wales.
Jamie Ayre, Commercial Director for AdaCore, observed: “Supporting HIS continues to be very important to us here at AdaCore. It’s one of the few conferences that addresses the needs of engineers looking for solutions to build the most reliable and trustworthy software and a great occasion to meet with like-minded members of the UK community.”
Stuart Matthews, SPARK Product Manager at Altran UK, said: “We’re proud to support a conference that advocates the need for trustworthy software, particularly as we move increasingly into a state of digital dependency across all aspects of our lives. Our experience in developing safety-critical systems for over thirty years has made us keenly aware of the need for mature software development approaches, so we’re delighted to be in a position to lend our support to an event established to amplify that message.”
Those interested in attending the conference can view further details and register via the conference website.
About Altran Altran ranks as the undisputed global leader in Engineering and R&D services (ER&D), following its acquisition of Aricent. The company offers clients an unmatched value proposition to address their transformation and innovation needs. Altran works alongside its clients, from initial concept through industrialisation, to invent the products and services of tomorrow. For over 30 years, the company has provided expertise in aerospace, automotive, defence, energy, finance, life sciences, railway and telecommunications. The Aricent acquisition extends this leadership to semiconductors, digital experience and design innovation. Combined, Altran and Aricent generated revenues of €2.9 billion in 2017, with some 45,000 employees in more than 30 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 thatdemand high reliability and maintainability.
•The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errorsboth 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® andStateflow® 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 suchas railway systems, space systems, commercial avionics, military systems, air traffic management/control, medical devices, andfinancial 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
Follow us on Twitter:
Posted on: 10/15/2018