This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Platform-Based Automotive Safety Features
Technical Paper
2016-01-0136
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Optional software-based features (for example, to provide active safety, infotainment, etc.) are increasingly becoming a significant cost driver in automotive systems. In state-of-the-art production techniques, these optional features are built into the vehicle during assembly. This does not give the customer the flexibility to choose the specific set of features as per their requirement. They either have to buy a pre-bundled option that may or may not satisfy their preferences or are unable to find an exact combination of features from the inventory provided by a dealership. Alternatively, they have to pre-order a car from the manufacturer, which could result in a substantial delay. Therefore, it is important to improve the flexibility of delivering the optional features to customers. Towards this objective, the vehicle could be configured with the desired options at the dealership, when the customer requires them. Going a bit further, it would be desirable to allow a car to be configured according to changes in customer needs in a post-market environment and according to manufacturer specifications. This new paradigm of delivering options would require a change in the way automotive software is architected and deployed.
In this paper, we present a vision that describes a new way to deploy automotive safety features and ensuring their correct execution without interference. This vision is based on the concept of a platform. The high level functionality of this platform is to provide an interface that enables the deployment of new features on the platform and perform admission control to make sure that sufficient resources are allocated for these features. Additionally, the platform should also guarantee isolation of the new features from already deployed features.
Recommended Content
Authors
Topic
Citation
Gangadharan, D., Sokolsky, O., Lee, I., Kim, B. et al., "Platform-Based Automotive Safety Features," SAE Technical Paper 2016-01-0136, 2016, https://doi.org/10.4271/2016-01-0136.Also In
References
- Liu C. L. and Layland J. W. Scheduling algorithms for multiprogramming in a hard-real-time environment Journal of the ACM 20 1 46 61 1973
- Lehoczky J. , Sha L. , and Ding Y. The rate monotonic scheduling algorithm: exact characterization and average case behavior Real Time Systems Symposium 166 171 1989
- Audsley N. , Burns A. , Richardson M. , Tindell K. et al Applying new scheduling theory to static priority pre-emptive scheduling Software Engineering Journal 8 5 284 292 1993
- Bini E. and Buttazzo G. C. Schedulability analysis of periodic fixed priority systems IEEE Transactions on Computers 53 11 1462 1473 2004
- Masrur A. , Chakraborty S. , and Faerber G. Constant-time admission control for deadline monotonic tasks Design, Automation and Test in Europe 220 225 2010
- Stankovic J. A. , Spuri M. , Ramamritham K. , and Buttazzo G. C. Deadline scheduling for real-time systems: EDF and related algorithms Springer Science & Business Media 460 2012
- Devi U. C. An improved schedulability test for uniprocessor periodic task systems Euromicro Conference on Real-Time Systems 23 30 2003
- Masrur A. , Chakraborty S. , and Faerber G. Constant-time admission control for partitioned EDF Euromicro Conference on Real-Time Systems 34 43 2010
- Wandeler E. and Thiele L. Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling International Conference on Embedded software 80 89 2005
- Shin I. and Lee I. Compositional real-time scheduling framework Real-Time Systems Symposium 57 67 2004
- Masrur A. , Mueller D. , and Werner M. Bi-level deadline scaling for admission control in mixed-criticality systems International Conference on Embedded and Real-Time Computing Systems and Applications 2015
- Alur R. and Dill D. L. A theory of timed automata Theoretical Computer Science 126 2 183 235 1994
- Larsen K. G. , Pettersson P. , and Yi W. UPPAAL in a nutshell International Journal on Software Tools for Technology Transfer (STTT) 1 1 134 152 1997
- Kim J. H. , Larsen K. G. , Nielsen B. , Mikuˇcionis M. , and Olsen P. Formal analysis and testing of real-time automotive systems using UPPAAL tools Formal Methods for Industrial Critical Systems 47 61 2015
- E.-Kang Y. , P.-Schobbens Y. , and Pettersson P. Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT Computer Safety, Reliability, and Security 243 256 2011
- Enoiu E. P. , Marinescu R. , Seceleanu C. , and Pettersson P. Vital: A verification tool for EAST-ADL models using UPPAAL port International Conference on Engineering of Complex Computer Systems 328 337 2012
- IBM ILOG CPLEX Optimization Studio http://www-03.ibm.com/software/products/en/ibmilogcpleoptistud/
- GNU Linear Programming Kit https://www.gnu.org/software/glpk/
- MathWorks MATLAB Optimization Toolbox http://www.mathworks.com/products/optimization/
- PikeOS reference https://www.sysgo.com/news-events/press/press/details/article/pikeos-hypervisor-technology-captures-automotive-market/ 2015
- Mentor Embedded Hypervisor https://www.mentor.com/embedded-software/hypervisor/
- LynxSecure Hypervisor http://www.lynx.com/products/hypervisors/lynxsecure-separation-kernel-hypervisor/
- Reinhardt D. and Morgan G. An embedded hypervisor for safety relevant automotive e/e-systems International Symposium on Industrial Embedded Systems 189 198 2014
- King A. L. , Feng L. , Sokolsky O. and Lee I. Assuring the safety of on-demand medical cyber-physical systems International Conference on Cyber-Physical Systems, Networks and Applications 1 6 2013
- Lee J. , Xi S. , Chen S. , Phan L. T. X. et al. Realizing compositional scheduling through virtualization Real-Time and Embedded Technology and Applications Symposium 13 22 2012
- Xi S. , Wilson J. , Lu C. and Gill C. RT-Xen: Real-time virtualization based on hierarchical scheduling International Conference on Embedded Software 39 48 2011
- Cornet A. , Mohr D. , Weig F. , Zerlin B. et al. Mobility of the Future- Opportunities for Automotive OEMs Advanced Industries 2012
- Medical device plug-and-play interoperability program http://mdpnp.org/ 2004
- Alur R. , Fix L , Henzinger T. A. Event-clock automata: a determinizable class of timed automata Theoretical Computer Science 211 1999
- Laroussine F. , Markey N. , Schnoebelen Ph. Model Checking Timed Automata with One or Two Clocks Concurrency Theory (CONCUR) 387 401 2004
- Alur R. , Courcoubetis C. , Dill D. Model-Checking in Dense Real-Time Information and Computation 104 1 2 34 1993
- Henzinger T. A. , Nicollin X. , Sifakis J. , Yovine S. Symbolic Model-Checking for Real-Time Systems Information and Computation 111 2 193 244 1994
- Laroussinie F. , Larsen K. G. , Weise C. From Timed Automata to Logic -and Back Proc. 20th International ymposium on Mathematical Foundations of Computer Science (MFCS’95) 969 Springer 529 539 1995
- Yovine S Kronos: A Verification Tool for Real-Time Systems Journal of Software Tools for Technology Transfer 1 1-2 123 133 1997
- AUTOSAR Consortium http://www.autosar.org
- ISO 26262 Road vehicles - functional safety International Organization for Standardization 2011