High Integrity Systems Symposium 2015

Software has become an essential part of our critical national infrastructure, such as transport systems, banking industries, and energy generation, and a key element in various other aspects of our life, devices in the medical and automotive sector. The failure of such software based systems can have profound consequences, for individuals that use them, for companies that are responsible for delivering them, as well as for the society at large. High integrity software and system engineering used to be the realm of avionics and the military, but with today's highly interconnected and mobile systems, it is increasingly needed for common applications to be able to demonstrate their reliability, robustness, safety, security and maintainability. As such, sound technologies that can address these high integrity concerns in an efficient manner are one of today's key engineering challenges. The one day High Integrity Systems Symposium at Simula will bring together researchers and practitioners from various domains, such as air traffic control, space, e-health, robotics, e-voting/e-government, energy/nuclear, rail and communication infrastructure. The main goal is to create a platform where industry and research can meet and discuss needs, challenges and opportunities in the area of high integrity systems. A second goal is organize the various high integrity stakeholders in a national High Integrity Systems Forum that will focus on establishing a community with joint interests and serve as driving force behind future editions of the High Integrity Systems Symposium. The symposium will feature keynote talks from leading experts, presentations on current technology and experiences by researchers and practitioners and a (rotating) discussion panel. Social and networking opportunities will be created by a joint lunch, a networking reception after the talks and and a joint dinner.