• Video
  • 22-May-2012 02:16 EDT

Building Security In: The SPARK Approach to Software Development

00:21:26
Length:

Purchase Required to View Video

Short Preview Below

Software products in the automotive industry are by nature widely distributed and costly to update (recall), so high reliability is clearly of utmost importance. Just as clearly, the increasing reliance on remote access to such systems, for diagnostic and other purposes, has made security an essential requirement, and traditional techniques for software development are proving to be inadequate in dealing with these issues. Correctness by Construction is a software design and development methodology that builds reliability and security into the system from the start. It can be used to demonstrate, with mathematical rigor, a program's correctness properties while reducing the time spent during testing and debugging. This paper will discuss the use of Correctness by Construction, and its accompanying SPARK language technology, to improve automotive systems' security and reliability. (The approach can also account for safely issues, although that is not the focus of this paper.) The SPARK language and toolset avoid vulnerabilities found in other languages and can, for instance, guarantee the absence of run-time errors such as divide-by-zero or buffer overflow. Using the SPARK language and toolset, developers can verify secure information flow through the system and, more generally, demonstrate that security-related properties are achieved. The approach offered by Correctness by Construction and SPARK is in contrast with the use of so-called retrospective static analysis tools that attempt to find errors or vulnerabilities in existing code. Such tools can only demonstrate the presence of errors (which may be correctable) but cannot show how many errors remain in the system. With Correctness by Construction and SPARK, developers can ensure that errors and vulnerabilities are not introduced in the first place. Correctness by Construction and SPARK have a growing success rate in applications where failure is not tolerated and where demanding safely or security standards must be met. The technology has been adopted in safety-critical domains including avionics, air traffic control, and rail transportation, and likewise in systems that must meet the highest security levels defined in the Common Criteria (Evaluation Assurance Levels (EAL) 4 through 7). This paper discusses how to apply Correctness by Construction and the SPARK technology to improve the reliability and security of automotive systems while reducing the costs of development, debugging, and maintenance. It includes examples of previous high-security systems that have been developed using this approach and discusses the applicability of the techniques to automotive systems.

Presenter
Stuart Matthews

Buy
Select
Price
List
Purchase to View
$19.00
Learn More
Technical Paper / Journal Article
2012-04-16
TECH PPR 2012 CONG
Share
HTML for Linking to Page
Page URL
Grade
Rate It
No ratings yet

View More Video

Video
2013-04-16
International revealed its Project Horizon concept at the 2013 Mid-America Trucking Show, showcasing technology related to aerodynamics, lighting, and chassis that could be on the road within 24 to 36 months. Active grille shutters and unique application of LED light pipes are among those technologies.
Video
2013-08-21
The Iowa State FSAE team talks to us about their vehicle at the 2013 Lincoln, Nebraska competition.
Video
2012-05-30
The sustainable use of energy and the reduction of pollutant emissions are main concerns of the automotive industry. In this context, Hybrid Electric Vehicles (HEVs) offer significant improvements in the efficiency of the propulsion system and allow advanced strategies to reduce pollutant and noise emissions. The paper presents the results of a simulation study that addresses the minimization of fuel consumption, NOx emissions and combustion noise of a medium size passenger car. Such a vehicle has a parallel-hybrid diesel powertrain with a high-voltage belt alternator starter. The simulation reproduces real-driver behavior through a dynamic modeling approach and actuates an automatic power split between the Internal Combustion Engine (ICE) and the Electric Machine (EM). Typical characteristics of parallel hybrid technologies, such as Stop&Start, regenerative braking and electric power assistance, are implemented via an operating strategy that is based on the reduction of total losses.
Video
2012-05-16
Racing Green Endurance: An EV Record will focus on what a small team of ambitious and talented engineers can do when they have a dream! Back in 2009, a team of graduates from Imperial College London came together to do something radical to change the public perception of electric vehicles forever. They came up with the idea to design and build the world's longest range electric car, and then drive it down the longest and toughest road in the world; the 26,000km Pan-American Highway! Racing Green Endurance: An EV Record will share the story from start to finish, and will also focus on the technology used to achieve such a feat, with particular mention of the electric motors. Presenter Alexander Schey, Imperial College London

Related Items

Training / Education
2017-01-20
Article
2016-12-02