News
HISC 2023 blog series: interview with Tobias Reiher RecordFlux Technical Lead at AdaCore
Posted on October 10, 2023
HISC is now in its tenth year. What trends and technical advances have you seen over the past ten years which impact the trustworthiness of software ecosystems? The utilization of formal methods in software development has experienced a notable upswing over the past decade. Although these methods have existed for several decades, their widespread acceptance and implementation have witnessed substantial growth in recent years. This surge can be attributed to various factors, including the imperative for safety-critical systems, advancements in tooling, regulatory mandates, and demonstrable success stories. With software systems steadily increasing in complexity and significance, the prominence of formal methods is poised to expand further as they play an increasingly crucial role in assuring reliability and correctness.
HISC 2023 blog series: interview with Neil White, Solution Director - Intelligent Industry at Capgemini
Posted on October 05, 2023
HISC is now in its tenth year. What trends and technical advances have you seen over the past ten years which impact the trustworthiness of software ecosystems? In 10 years there is no doubt that technology, and software in particular, has exploded into every aspect of our lives. I now pay for everything on my phone, trusting the security. Drones fly overhead mapping manufacturing process. My watch tells me how far I’ve walked today, and why another biscuit is not a good idea. Another key change is the frequency of in-field software updates. The same watch took a software update just this morning as I was having breakfast. Wider society is vaguely distrustful of software, whilst being utterly reliant on it, and not fully understanding the implications. Is software moving faster than we can build arguments about trust? Are we communicating those arguments correctly? The last 10 years have been exciting, but I think the next 10 years will be even more exciting!
HISC 2023 blog series: interview with Martyn Pike, UK Sales Director at AdaCore
Posted on September 21, 2023
HISC is now in its tenth year. What trends and technical advances have you seen over the past ten years which impact the trustworthiness of software ecosystems? Ada 2012 and SPARK 2014 were pivotal moments in modernising and embracing memory safe technologies which we now see emerging in silicon, as well as software application programming languages. This combination is as close as we have ever been to having within reach a silver bullet for safe and secure systems development.
HISC 2023 blog series: interview with Paul Parkinson, Field Engineering Director at Wind River
Posted on August 22, 2023
HISC is now in its tenth year. What trends and technical advances have you seen over the past ten years which impact the trustworthiness of software ecosystems? One significant trend has been the convergence of safety and security, which in some regards has been previously addressed independently and in some ways, in silos. In the Aerospace & Defence sector, it’s been interesting to see the evolution of the DO-326A / ED-203A suite on airworthiness security and alignment with DO-178C / ED-12C for avionics software safety.In terms of technologies, on the runtime environment side, it’s been interesting to see the evolution of processor architectures to support for secure boot and hardware virtualization, and how these have been used by the software ecosystem to improve the safety and security of systems. There’s also been a disruptive change on the development side, through increasing adoption of CI/CD and the improved affordability of cloud, enabling cloud native development of applications for the intelligent edge.
HISC 2023 blog series: interview with Paul Butcher, UK Programme Manager at AdaCore
Posted on August 09, 2023
HISC is now in its tenth year. What trends and technical advances have you seen over the past ten years which impact the trustworthiness of software ecosystems? Over the last ten years, we've seen substantial advances in software-related technology to leverage performance enhancements, miniaturisation and the growing interconnectivity of networked hardware components. As hardware capabilities evolve and provide an ever-growing feature-rich environment, software must adapt to maximise the benefits of the latest and most significant characteristics. Examples driving this growth include increased bandwidth in wireless network protocols and cloud computing technology. However, the more we expand the external connectivity of systems, the more attack vectors we identify from the security environment. In addition, the ever-growing demand for more complex systems increases the likelihood of undetected exploitable vulnerabilities in deployed software. The rate at which low-assurance software is released into the wild is staggering; this emphasises the cost and effort involved in producing high-assurance software.
HISC 2023 blog series: interview with Stuart Matthews, Senior Architect at Capgemini Engineering
Posted on August 02, 2023
HISC is now in its tenth year. What trends and technical advances have you seen over the past ten years which impact the trustworthiness of software ecosystems? One of the most significant trends has been the way that mathematically-based specification and analysis techniques have spread from being a niche technique used only in high-integrity software to their adoption and deployment by some of the world’s biggest technology firms. And furthermore how their at-scale, high-velocity approach to software development and verification has found its way back into the engineering domain, with the adoption of agile and CI/CD practices into our standard toolkits.
HIS Virtual Event, November 2020
Posted on May 26, 2020
To maintain the safety of our delegates, exhibitors and everyone involved, we have taken the decision to cancel this year’s physical HIS conference, and to shift to a virtual event. We continue to evaluate the feasibility of organising an HIS in 2021 in its original format.
The High Integrity Software Conference Continues to Champion High-Assurance Software Development
Posted on September 17, 2019
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: From the IoT to Co-operative Intelligent Systems
Posted on March 22, 2019
Recent years have seen a revolution in connected consumer devices dubbed the “Internet of Things” (IoT): you can remotely monitor your dog, turn on your heating, open your front door, and even find out that the rat trap underneath your floor has captured a present for you when you get home. Powered by commercial pressures, the IoT has moved rapidly ahead in spite of concerns about standards of reliability, security and safety.
HIS 2019, 5 November 2019: first announcement
Posted on March 12, 2019
The High Integrity Software (HIS) conference was established to champion high-assurance software development, providing a forum for practitioners to discuss challenges, best practices and cutting-edge research. Now in its sixth year, the event attracts leaders in industry and academia who share one common focus: taking software seriously. At the 5th HIS event in November 2018 there were: 14 topical and technical presentations; 15 leading edge vendors exhibiting; 12 “young” engineers at the outset of their work; 160 delegates overall.
Supporting a new generation of quality software developers
Posted on August 14, 2018
At HIS 2018, we’re committed to supporting the next generation of talent and ensuring that the software development community embraces newcomers with open arms – a key motivator for our new subsidy programme. We’ve pledged to discount as many conference places as we can by offering a reduced rate to current university students (undergraduate or postgraduate) and anyone in an early-starter/apprenticeship scheme – but please get in touch as soon as possible if this offer is applicable to you; places are limited and we want to ensure that you benefit if you’re passionate about creating software that matters in the future. Email joan.atkinson@newcastle.ac.uk if you’d like to find out more. We hope to see you at the conference!
HIS 2018 reaches five-year milestone
Posted on July 16, 2018
The High Integrity Software Conference will hit its five-year milestone this year, having become established as an unmissable event in software professionals’ calendars. Each year the conference covers topics dominating conversations in industry and academia – and this year is no exception. With themes ranging from the assurance of highly-autonomous systems to hardware/software interfaces and the latest modelling techniques, the event is set to provoke debate once again amongst those committed to developing software responsibly.
AdaCore and Altran announce fourth year of High Integrity Software Conference sponsorship
Posted on September 11, 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.
Sponsored by
