@inproceedings{Buechel2015, author = {Buechel, Martin and Frtunikj, Jelena and Becker, Klaus and Sommer, Stephan and Buckl, Christian and Armbruster, Michael and Klein, Cornel and Marek, Andre and Zirkler, Andreas and Knoll, Alois}, title = {An Automated Electric Vehicle Prototype Showing New Trends in Automotive Architectures}, booktitle = {IEEE 18th International Conference on Intelligent Transportation Systems (ITSC)}, year = {2015}, location = {Las Palmas, Gran Canaria, Spain}, abstract = {The automotive domain is challenged by the increasing importance of Information Technology (IT) based functions. To show the possibilities of modern IT systems, a demonstrator car was developed in RACE (Robust and Reliant Automotive Computing Environment for Future eCars) based on a completely redesigned E/E architecture, which supports the integration of mixed-criticality components and offers features like Plug&Play. This paper presents the architecture and components of this vehicle prototype, which is equipped with modern systems such as Steer-by-Wire without mechanical fallback. It was designed to support future driver assistance systems, e.g. to carry out autonomous parking maneuvers onto an inductive charging station, a task, which is hard to achieve accurately enough for a human driver. Therefore, a special emphasis lies on the description of the sensor set for automated operation.}, doi = {10.1109/ITSC.2015.209}, keywords = {Automated Vehicles, automotive architecture, autonomous driving, electric vehicle, Vehicle Prototype, Model-based Systems Engineering, MbSE}, } @inproceedings{, author = {Frtunikj, Jelena and Armbruster, Michael and Knoll, Alois}, title = {Run-time Adaptive Error and State Management for Open Automotive Systems}, booktitle = {4th Workshop on Open Systems Dependability, IEEE International Symposium on Software Reliability Engineering}, year = {2014}, month = nov, location = {Naples, Italy}, } @inproceedings{, author = {Frtunikj, Jelena and Rupanov, Vladimir and Armbruster, Michael and Knoll, Alois}, title = {Adaptive Error and Sensor Management for Autonomous Vehicles: Model-based Approach and Run-time System}, booktitle = {4th International Symposium on Model Based Safety Assessment}, year = {2014}, month = oct, location = {Munich, Germany}, } @inproceedings{becker2014, author = {Becker, Klaus and Armbruster, Michael and Sch{\"{a}}tz, Bernhard and Buckl, Christian}, title = {Deployment Calculation and Analysis for a Fail-Operational Automotive Platform}, booktitle = {1st Workshop on Engineering Dependable Systems of Systems (EDSoS)}, year = {2014}, month = may, location = {Newcastle upon Tyne, UK}, abstract = {In domains like automotive, safety-critical features are increasingly realized by software. Some features might even require fail-operational behavior, so that they must be provided even in the presence of random hardware failures. A new fault-tolerant SW/HW architecture for electric vehicles provides inherent safety capabilities that enable fail-operational features. In this paper we introduce a formal model of this architecture and an approach to calculate valid deployments of mixed-critical software-components to the execution nodes, while ensuring fail-operational behavior of certain components. Calculated redeployments cover the cases in which faulty execution nodes have to be isolated. This allows to formally analyze which set of features can be provided under decreasing available execution resources.}, keywords = {Model-based Systems Engineering, MbSE}, url = {https://arxiv.org/abs/1404.7763}, } @inproceedings{, author = {Frtunikj, Jelena and Armbruster, Michael and Knoll, Alois}, title = {Data-Centric Middleware support for ASIL assessment and decomposition in open automotive systems}, booktitle = {Automotive meets Electronics}, year = {2014}, month = feb, organization = {VDE/VDI Gesellschaft Mikroelekonik Mikrosystem- und Feinwerktechnik (GMM) in Dortmund}, location = {Dortmund, Germany}, } @inproceedings{becker2014b, author = {Becker, Klaus and Sch{\"{a}}tz, Bernhard and Armbruster, Michael and Buckl, Christian}, title = {A Formal Model for Constraint-Based Deployment Calculation and Analysis for Fault-Tolerant Systems}, booktitle = {Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM)}, year = {2014}, location = {Grenoble, France}, abstract = {In many embedded systems like in the automotive domain, safety-critical features are increasingly realized by software. Some of these features are often required to behave fail-operational, meaning that they must stay alive even in the presence of random hardware failures. We propose a new fault-tolerant SW/HW architecture for electric vehicles with inherent safety capabilities that enable fail-operational features. In this paper, we introduce a constraint-based approach to calculate valid deployments of mixed-critical software components to the execution nodes. To avoid harm, faulty execution nodes have to be isolated from the remaining system. We treat the isolations of execution nodes and the required changes to the deployment to keep those software components alive that realize fail-operational features. The affected software components have to be resumed on intact execution nodes. However, the remaining system resources may become insufficient to execute the full set of software components after an isolation of an execution node. Hence, some components might have to be deactivated, meaning that features might get lost. Our approach allows to formally analyze which subset of features can still be provided after one or more isolations. We present an arithmetic system model with formal constraints of the deployment-problem that can be solved by a SMT-Solver. We evaluate our approach by showing an example problem and its solution.}, doi = {10.1007/978-3-319-10431-7_15}, keywords = {Fault-Tolerance, Fail-Operational, Mixed-Critical, Deployment, Dependability, SMT, Model-based Systems Engineering, MbSE}, } @article{SciCo2013, author = {Rupanov, Vladimir and Buckl, Christian and Fiege, Ludger and Armbruster, Michael and Knoll, Alois and Spiegelberg, Gernot}, title = {Employing early model-based safety evaluation to iteratively derive E/E architecture design}, journal = {Elsevier - Science of Computer Programming}, pages = {161-179}, year = {2014}, issn = {0167-6423}, doi = {10.1016/j.scico.2013.10.005}, keywords = {\{ISO\} 26262}, url = {http://www.sciencedirect.com/science/article/pii/S0167642313002554}, } @inproceedings{Sommer2013b, author = {Sommer, Stephan and Camek, Alexander and Buckl, Christian and Becker, Klaus and Zirkler, Andreas and Fiege, Ludger and Armbruster, Michael and Knoll, Alois}, title = {RACE: A Centralized Platform Computer Based Architecture for Automotive Applications}, booktitle = {Vehicular Electronics Conference (VEC) and the International Electric Vehicle Conference (IEVC) (VEC/IEVC 2013)}, publisher = {{IEEE}}, year = {2013}, month = oct, abstract = {In the last couple of years software functionality of modern cars increased dramatically. This growing functionality leads directly to a higher complexity of development and configuration. Current studies show that the amount of software will continue to grow. Additionally, advanced driver assistance systems (ADAS) and autonomous functionality, such as highly and fully automated driving or parking, will be introduced. Many of these new functions require access to different communication domains within the car, which increases system complexity. AUTOSAR, the software architecture established as a standard in the automotive domain, provides no methodologies to reduce this kind of complexity and to master new challenges. One solution for these evolving systems is developed in the RACE project. Here, a centralized platform computer (CPC) is introduced, which is inspired by the well-established approach used in other domains like avionics and automation. The CPC establishes a generic safety-critical execution environment for applications, providing interfaces for test and verification as well as a reliable communication infrastructure to smart sensors and actuators. A centralized platform also significantly reduces the complexity of integration and verification of new applications, and enables the support for Plug&Play.}, doi = {10.1109/IEVC.2013.6681152}, keywords = {embedded, RACE, Model-based Systems Engineering, MbSE}, } @inproceedings{rupanov2012a, author = {Rupanov, Vladimir and Buckl, Christian and Fiege, Ludger and Armbruster, Michael and Knoll, Alois and Spiegelberg, Gernot}, title = {Early Safety Evaluation of Design Decisions in E/E Architecture according to ISO 26262}, booktitle = {Proceedings of the 3rd International ACM SIGSOFT Symposium on Architecting Critical Systems}, year = {2012}, timestamp = 2012.10.04, owner = {buckl}, }