CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Robustness Verification Challenges in Automotive Telematics Software

Ali Shahrokni (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; Robert Feldt (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)) ; F. Petterson ; A. Bäck
21st International Conference on Software Engineering and Knowledge Engineering, SEKE 2009, Boston, MA, United States, 1-3 July 2009 p. 460-465. (2009)
[Konferensbidrag, refereegranskat]

The automotive industry has always had a strong pressure of ensuring that only high quality software is allowed to control the vehicle. The general increase in the amount of software in a modern vehicle and trends in the industry is creating more open standards and systems. In particular, the software architectures used will have to support extension with 3rd party components and extension at run-time during normal operation of the vehicle. These trends put additional pressure on the automotive industry to verify and validate the quality of the systems. Since the software often governs safety-critical features there are high demands on the robustness of the final system. It is currently not clear how these robustness testing challenges should be met and previous research have not addressed this fully. We outline the challenges and point to possible solutions that the research community needs to work together with the automotive industry to realize.

Denna post skapades 2010-01-29. Senast ändrad 2017-10-06.
CPL Pubid: 111197


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers) (2008-2010)


Datavetenskap (datalogi)

Chalmers infrastruktur

Relaterade publikationer

Denna publikation ingår i:

Software Robustness: From Requirements to Verification