Fault-Tolerant and Secure Automotive Embedded Systems (FORTES)

Project Description

The proposed research deals with the development of design techniques for fault-tolerant and secure embedded systems for automotive applications. It is a joint project between the Embedded Systems Laboratory and the Security and Networks Group, with Volvo Technology Corporation as the main industrial partner.

We have research activities in the following three workpackages.

WP1: Modeling and Design of Fault Tolerant Systems

Development of software-based fault tolerance techniques for handling transient faults in systems under strict timing and QoS constraints; analysis and integration of novel fault models typical for next generations integrated circuits used in automotive applications; and integration of fault tolerance techniques, in the global context of system level analysis, design and optimization.

WP2: Design with Built-in Security

This workpackage will concentrate on understanding the security-related risks and threats to automotive software systems, with particular emphasis on the AUTOSAR platform. We will develop techniques to prevent the introduction of security vulnerabilities in automotive software. We will also address security failures at run-time by developing mechanisms to detect and handle them.

WP3: Flexible Run-Time Resource Allocation

Development of a flexible middleware layer that is responsible for resource allocation and handles tasks generated as response to detected faults, security threats, and potentially unexpected processor and bus loads at run-time. This middleware will have the overall responsibility of maintaining the required global QoS, reliability and security.

The results of the research activities will be integrated together in a demonstrator which simulates the execution of automotive applications in a multiprocessor architecture with various communication channels.

Project Members

Selected Publications

  1. Modeling Security Goals and Software Vulnerabilities
    David Byers, Nahid Shahmehri
    Book chapter in Dependability and Computer Engineering, Concepts for Software-Intensive Systems
    Editors: L. Petre, K. Sere, E. Troubitsyna
    IGI Global, ISBN: 978-1-60960-747-0, 2011.

  2. Synthesis of Flexible Fault-Tolerant Schedules for Embedded Systems with Soft and Hard Timing Constraints
    Viacheslav Izosimov, Paul Pop, Petru Eles, Zebo Peng
    Book chapter in Design and Test Technology for Dependable Systems-on-Chip
    Editors: R. Ubar, J. Raik, H. T. Vierhaus
    IGI Global, ISBN: 978-1-6096-0212-3, 2010.

  3. Value-Based Scheduling of Distributed Fault-Tolerant Real-Time Systems with Soft and Hard Timing Constraints
    Viacheslav Izosimov, Petru Eles, Zebo Peng
    8th IEEE Workshop on Embedded Systems for Real-Time Multimedia (ESTIMedia10), Scottsdale, AZ, USA, October 28-29, 2010.

  4. Building Reliable Embedded Systems with Unreliable Components
    Zebo Peng
    Invited paper, International Conference on Signals and Electronic Systems (ICSES), Gliwice, Poland, September 7-10, 2010.

  5. Low Overhead Dynamic QoS Optimization under Variable Task Execution Times
    Sergiu Rafiliu, Petru Eles, Zebo Peng
    16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA10), Macau, China, August 23-25, 2010.

  6. Unified modeling of attacks, vulnerabilities and security activities
    David Byers, Nahid Shahmehri
    Position paper, 2010 Workshop on Software Engineering for Secure Systems (SESS10), in conjunction with the 23rd International Conference on Software Engineering (ICSE2010), Cape Town, South Africa, May 2-8, 2010.

  7. Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay
    Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
    31st IEEE Real-Time Systems Symposium (RTSS10), San Diego, CA, USA, November 30-December 3, 2010.

  8. Dynamic Scheduling and Control-Quality Optimization of Self-Triggered Control Applications
    Soheil Samii, Petru Eles, Zebo Peng, Paulo Tabuada, Anton Cervin
    31st IEEE Real-Time Systems Symposium (RTSS10), San Diego, CA, USA, November 30-December 3, 2010.

  9. Hardware/Software Optimization of Error Detection Implementation for Real-Time Embedded Systems
    Adrian Lifa, Petru Eles, Zebo Peng, Viacheslav Izosimov
    International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS 2010), Scottsdale, AZ, USA, October 24-29, 2010.

  10. Fault Tolerance for Message Passing over FlexRay-based Networks
    Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng
    Work-in-Progress Session, Real-Time and Embedded Technology and Applications Symposium (RTAS), Stockholm, April 2010.

  11. Runtime Trade-Offs Between Control Performance and Resource Usage in Embedded Self-Triggered Control Systems
    Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
    Workshop on Adaptive Resource Management (WARM), Stockholm, Sweden, April 2010.

  12. Threat Analysis on Vehicle Computer Systems
    Christian Vestlund
    M.Sc. Thesis, Dept. of Computer and Information Science, Linköping University, Sweden, January, 2010, ISRN LIU-IDA/LITH-EX-A--10/002--SE

  13. Scheduling and Optimization of Fault-Tolerant Distributed Embedded Systems
    Viacheslav Izosimov
    Ph.D. Thesis No. 1290, Dept. of Computer and Information Science, Linköping University, Sweden, December, 2009

  14. Analyse und Optimierung von fehlertoleranten Eingebetteten Systemen mit gehärteten Prozessoren
    Viacheslav Izosimov, Ilia Polian, Paul Pop, Petru Eles, Zebo Peng
    Zuverlässigkeit und Entwurf (ZUE), Stuttgart, Germany, September 21-23, 2009.
  15. Introducing vulnerability awareness to Common Criteria's Secutity Targets
    Shanai Ardi, Nahid Shahmehri
    4th International Conference on Software Engineering Advances (ICSEA09), Porto, Portugal, September, 2009.

  16. Secure software development for higher Common Criteria Evaluation Assurance Levels
    Shanai Ardi, Nahid Shahmehri
    10th International Common Criteria Conference & Exhibition, Tromsø, Norway, September, 2009.

  17. Quality-Driven Synthesis of Embedded Multi-Mode Control Systems
    Soheil Samii, Petru Eles, Zebo Peng, Anton Cervin
    Design Automation Conference, San Francisco, California, USA, July 26-31, 2009, pp. 864-869.
  18. Integrated Scheduling and Synthesis of Control Applications on Distributed Embedded Systems
    Soheil Samii, Anton Cervin, Petru Eles, Zebo Peng
    Design, Automation and Test in Europe Conference, Nice, France, April 20-24, 2009, pp. 57-62.
  19. Analysis and Optimization of Fault-Tolerant Embedded Systems with Hardened Processors
    Viacheslav Izosimov, Ilia Polian, Paul Pop, Petru Eles, Zebo Peng
    Design, Automation and Test in Europe Conference, Nice, France, April 20-24, 2009, pp. 682-687.
  20. An architectural foundation for security model sharing and reuse
    P.H. Meland, Shanai Ardi, J. Jensen, E. Rios,T. Sanchez, Nahid Shahmehri, I.A. Tondel
    3rd International Workshop on Secure Software Engineering (SecSE), (ARES09, IEEE Computer Society ed.), Fukuoka, Japan, March, 2009.

  21. Prioritisation and Selection of Software Security Activities
    David Byers, Nahid Shahmehri
    4th International Conference on Availability, Reliability and Security (ARES09), Fukuoka, Japan, March, 2009.

  22. Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems with Checkpointing and Replication
    Paul Pop, Viacheslav Izosimov, Petru Eles, Zebo Peng
    IEEE Transactions on Very Large Scale Integrated Systems Volume 17, Issue 3, March 2009, pp. 389-402.
  23. Prioritisation and Selection of Software Security Activities
    David Byers and Nahid Shahmehri
    International Conference on Availability, Reliability and Security, Fukuoka, Japan, March, 2009.
  24. A post-mortem incident modeling method
    Shanai Ardi and Nahid Shahmehri
    Workshop on Digital Forensics, Fukuoka, Japan, March, 2009.