SEMINARS

 

---

The Adelaide Tech Days Seminar will be held at Innovation House, Technology Park in Adelaide on Friday the 23rd March. Lunch will be provided and you are invited to attend as many presentations as your schedule allows. Attendance is free but spaces are limited, please register using the form at the bottom of this page.

---

Presentations

 ‘UNDER THE HOOD OF ADVANCED STATIC ANALYSIS’ - by Dr. Paul Anderson (GrammaTech)

 ‘SAFETY & SECURITY FOR AUTONOMOUS DRIVE’ - by Dr Howard Wang (RTI)

 ‘GUARANTEEING SOFTWARE QUALITY THROUGH FORMAL VERIFICATION’ - by Eric Perlade (AdaCore)

 ‘MULTI-CORE AND THE CHALLENGES OF CERTIFICATION’ - by Kiran Kumar (Wind River)

 ‘ENABLING THE USE OF GPUS AND SOCS IN SAFETY CRITICAL AVIONICS SYSTEMS’ - by Lee Brown (CoreAVI)

 ‘EFFECTIVE REQUIREMENTS MANAGEMENT AS A FOUNDATION FOR ALM’ - by Kevin Hansen (Polarion ALM / Siemens)

 ‘DEVELOPING AUTONOMOUS SYSTEMS WITH MATLAB AND SIMULINK’ - by Alex Shin (MathWorks)

 ‘CODE-BASED SECURITY FOR THE INTERNET OF THINGS’ - by Dr. Paul Anderson (GrammaTech)

---

 

WELCOME & INTRODUCTION

---

 

‘UNDER THE HOOD OF ADVANCED STATIC ANALYSIS’

Advanced static analysis tools are now widely accepted as essential tools to help software engineers develop high quality code. These tools are designed to be capable of exploring all possible executions of a program, so can examine vastly more program states than can be covered by traditional testing. The number of possible program states is extraordinarily large even for very simple programs, so the tools must use sophisticated analysis techniques if they are to work on real-world programs. These techniques are designed in a way that allows a user to make a three-way trade-off between performance, precision, and recall.

Static analysis users can increase the value they get from these tools if they have a good understanding of how to tune the tools to strike the right balance between these factors. This presentation will describe some of the principles of advanced static analysis including flow-, context-, and path-sensitivity, and outline some of the innovative algorithms that the tools use to achieve scalability to multiple millions of lines of code. The presenter will demonstrate how static analysis users can change tool parameters to help them get the most out of their tool. Finally, examples will be provided to show how an end user can customize these tools in order to find domain-specific properties.

---

 

‘SAFETY & SECURITY FOR AUTONOMOUS DRIVE’

Autonomous vehicles are complex systems that combine vision, radar, LIDAR, proximity, sensors, GPS, mapping, navigation, planning and control.  Additionally, these components must combine into a reliable, secure system that can analyse complex environments in real-time and respond to chaotic environments, such as operating in rush hour traffic.  As a result, autonomy is an extreme technical challenge.  With the growth of autonomous driving, the automotive industry now requires technical capabilities, such as high-performance computing, in-vehicle communications, cloud-based applications and advanced data processing, while still meeting the highest safety and security requirements.

RTI Connext® DDS software accelerates the design and development of such autonomous systems by providing an efficient path from prototyping to production and safety certification.  RTI’s connectivity software provides a data-centric architecture that meets the demanding requirements of level 3 to level 5 automation, while also providing the flexibility of an established standard that can meet the wide ranging, and still developing, use cases of the industry.  RTI has more than a dozen autonomous vehicle customers, including cars, trucks, and even autonomous air taxis, who are beyond the research stage and entering final proof-of-concept or full production-track status.

This talk will present an overview of the software architecture underlying autonomous vehicle systems, discuss the safety and security requirements such as ISO 26262 and DO-178C, and show how RTI’s software products address the needs of this exciting new industry.

---

 

‘GUARANTEEING SOFTWARE QUALITY THROUGH FORMAL VERIFICATION’

With an increasing number of systems driven by embedded software performing critical functions, there is a requirement for strong techniques and tools to reach the expected level of quality. Exhaustiveness is the Achilles heel of software testing, and, as a result, formal verification is gaining traction in the industry. Once the domain of researchers and experimental projects, formal methods are now within easy reach.

This presentation will cover the industrial-ready solution based on the Ada language to write safe and secure embedded software. Ada 2012, with programming by contract paradigm, opens doors to formal verification. Examples will be used to show how from the lowest level of writing drivers to the highest level of safe tasking, a programming language can make the difference. Integrating dynamic testing and formal proof will also be discussed leading to the incremental adoption of formal methods.

---

 

‘MULTI-CORE AND THE CHALLENGES OF CERTIFICATION’

With wide availability and continual reduction in size, weight and power (SWAP), multi- core processors have become extremely attractive for use in avionics systems. Implementing a solution using a multi-core platform adds complexity and certification obstacles that are not present in uni-core processor implementations. Achieving safety certification of a multi-core system requires close collaboration between the avionics developers, semiconductor vendors and regulatory agencies, as evolving certification policies and guidance include both hardware and software aspects of certification. This session will cover the work done by Wind River to implement a COTS ARINC 653 solution for multi-core and provide guidance to the service providers on the issues that must be addressed in order to understand the potential benefits and certification limitations of multi-core solutions.

---

 

‘ENABLING THE USE OF GPUS AND SOCS IN SAFETY CRITICAL AVIONICS SYSTEMS’

There is a growing and significant demand for the deployment of safety critical compute and graphics technologies in aerospace and defense applications.  Next generation mission computers, flight displays, synthetic vision and UAV platforms require advanced graphics and compute capabilities that can be most effectively be achieved by utilizing modern graphics processors. CoreAVI is the world’s leading supplier of safety critical graphics and compute drivers, hardware IP and certification data packages that enables the use of advanced graphics and system-on-chip processors in the military and avionics markets.

Today, their solutions have been certified to the highest levels of safety certification and are flying in military and commercial avionics display systems worldwide.  This presentation outlines CoreAVI’s product portfolio, including their COTS-D (DO-254 hardware IP), and safety critical video, graphics, and compute drivers that enables the latest GPUs/SoCs to be used in avionics systems. New open standards and GPUs/SoCs to support future display and compute system capabilities will be explored.

---

 

‘EFFECTIVE REQUIREMENTS MANAGEMENT AS A FOUNDATION FOR ALM’

It is common for organisations to manage their requirements in some disconnected way.  Excel spreadsheets, Word documents, standalone / isolated requirement tools to name a few.  This disconnection from the rest of the product lifecycle means they have no power to influence design towards compliance. As a result, when requirements or design change it is difficult to assess the impact, connection, or risk which often means you end up in the wrong place and areno longer compliant.  This session will demonstrate how Polarion ALM enables a modern, web based, fully traceable software development lifecycle based on a solid foundation – Requirements Management.

---

 

‘DEVELOPING AUTONOMOUS SYSTEMS WITH MATLAB AND SIMULINK’

Autonomous technology will touch nearly every part of our lives, changing the products we build and the way we do business. MATLAB and Simulink provide algorithms and hardware connectivity for developing autonomous systems. In this presentation, we will highlight capabilities for developing autonomous systems such as deep learning & object detection, path planning & object avoidance, and connectivity to HW platforms.

---

 

‘CODE-BASED SECURITY FOR THE INTERNET OF THINGS’

The Internet of Things holds much promise, but not without significant security risks. One of the greatest sources of risks is poor software quality that leaves the door open enough to allow attackers to take control of the device. For the foreseeable future, the dominant implementation language for these devices will continue to be C, whose unforgiving semantics permits attackers to take advantage of otherwise innocent-looking programming mistakes or inconsistencies. Such defects typically proliferate at the interfaces between devices, so it is critical that programmers be able to understand how to find and fix the sources of these problems.

Hazardous information flow analysis (aka taint analysis) tracks how potentially dangerous information from untrusted inputs can flow through the code. When computed statically, this yields a view of the code that allows programmers to understand the program’s attack surface and where there are weaknesses that an attacker could exploit. This talk will describe how this analysis works and show how it can be used to find serious security vulnerabilities that are otherwise extremely difficult to find.

---