Detection of Feature Interactions in Automotive Active Safety Features
With the introduction of software into cars, many functions are now realized with reduced cost, weight and energy. The development of these software systems is done in a distributed manner independently by suppliers, following the traditional approach of the automotive industry, while the car m...
Main Author: | Juarez Dominguez, Alma L. |
---|---|
Language: | en |
Published: |
2012
|
Subjects: | |
Online Access: | http://hdl.handle.net/10012/6701 |
Similar Items
-
Detection of Feature Interactions in Automotive Active Safety Features
by: Juarez Dominguez, Alma L.
Published: (2012) -
Oeritte: User-Friendly Counterexample Explanation for Model Checking
by: Polina Ovsiannikova, et al.
Published: (2021-01-01) -
Applying Hierarchical Feature Modeling in Automotive Industry
by: Oliinyk, Olesia
Published: (2013) -
Safety-aware apprenticeship learning
by: Zhou, Weichao
Published: (2018) -
Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems
by: Yang Liu, et al.
Published: (2021-08-01)