Platform-Independent QoS Parameters and Primitive APIs for Automotive Software

Modern ITS (Intelligent Transportation System) applications are becoming increasingly sophisticated and diverse, following the growing trends of connectivity and autonomous driving. For example, a vehicle can be equipped with advanced sensors (e.g., LIDAR, camera or radar) to perform complex driving maneuvers by itself and/or communicate with other vehicles or road-side infrastructures to assist drivers in safer driving. Since the operation of an automotive application is closely tied to the underlying platform characteristics, it requires significant integration effort when the application needs to operate on a wide range of platforms such as other vehicle types or road-side infrastructures. To reduce such effort, we propose a method to implement automotive applications in a platform-independent way. Our approach is to define the automotive domain-specific QoS (Quality of Service) parameters that allow an application to specify the expected quality of sensor input or actuator output independent of a particular platform for safe operation. The application interacts with a platform through several primitive APIs to inform QoS requirements, to read/write sensors/actuators values according to the specified QoS, and to handle exceptions upon any QoS violation. We implement a multi-mode ACC (Adaptive Cruise Control) application on a RC-car platform to demonstrate how an automotive application can be implemented based on the proposed QoS parameters and primitives.

[1]  Douglas C. Schmidt,et al.  Middleware for real-time and embedded systems , 2002, CACM.

[2]  Kevin Barraclough,et al.  I and i , 2001, BMJ : British Medical Journal.

[3]  Thomas A. Henzinger,et al.  The embedded machine: predictable , 2002 .

[4]  Bowen Zheng,et al.  CONVINCE: A cross-layer modeling, exploration and validation framework for next-generation connected vehicles , 2016, 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD).

[5]  Ahmed Amine Jerraya,et al.  Hardware/software interface codesign for embedded systems , 2005, Computer.

[6]  Cecilia Mascolo,et al.  The RUNES middleware: a reconfigurable component-based approach to networked embedded systems , 2005, 2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications.

[7]  Lu Feng,et al.  Platform-Specific Code Generation from Platform-Independent Timed Models , 2015, 2015 IEEE Real-Time Systems Symposium.

[8]  Jasbir S. Arora,et al.  Survey of multi-objective optimization methods for engineering , 2004 .

[9]  Michael D. Ernst,et al.  An overview of JML tools and applications , 2003, Electron. Notes Theor. Comput. Sci..

[10]  Lu Feng,et al.  Platform-specific timing verification framework in model-based implementation , 2015, 2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[11]  K. Rustan M. Leino,et al.  Specification and verification , 2011, Commun. ACM.

[12]  Insup Lee,et al.  Platform-dependent code generation for embedded real-time software , 2013, 2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).