1 |
Determination of Real-Time Network Configuration for Self-Adaptive Automotive SystemsZhang, Ziming 19 May 2015 (has links) (PDF)
The Electric/Electronic architecture of vehicle becomes more complex and costly, self-adaption can reduce the system, enhance the adaptive meanwhile reduce energy consumption and costs. The self-adaption needs the cooperation of both hardware and software reconfigurations, such that after the software is reconfigured the automotive network continues to fulfill the time constraints for time-critical applications. The thesis focuses on the real-time network reconfiguration. It uses EAST-ADL to model a real-time automotive system with timing events and constraints, which conforms to AUTOSAR timing extensions. The network media access is analyzed based on the model and a scheduling algorithm is developed. Then the concept is implemented by a use case, which is transformed from an EAST-ADL model to an executable simulation.
|
2 |
Determination of Real-Time Network Configuration for Self-Adaptive Automotive SystemsZhang, Ziming 17 April 2015 (has links)
The Electric/Electronic architecture of vehicle becomes more complex and costly, self-adaption can reduce the system, enhance the adaptive meanwhile reduce energy consumption and costs. The self-adaption needs the cooperation of both hardware and software reconfigurations, such that after the software is reconfigured the automotive network continues to fulfill the time constraints for time-critical applications. The thesis focuses on the real-time network reconfiguration. It uses EAST-ADL to model a real-time automotive system with timing events and constraints, which conforms to AUTOSAR timing extensions. The network media access is analyzed based on the model and a scheduling algorithm is developed. Then the concept is implemented by a use case, which is transformed from an EAST-ADL model to an executable simulation.:1. Introduction
2. Research Fundamentals
2.1. AUTOSAR Specifications for Modeling Function Communication
2.2. Media Access Control in Real-time Network
3. Function Communication Model and Determination of Network Configuration
3.1. Function Communication Model
3.2. Scheduling Algorithm for Media Access
4. Implementation of Communication Model and Plugin for Model Transformation
4.1. EAST-ADL Modeling Language
4.2. Implementation of Function Communication Model in EAST-ADL
4.3. Model Transformation Plugin and Simulation Tool Integration
5. Evaluation of the Function Communication Model
5.1. Use-Case Model for Evaluation
5.2. Time Values of Use-Case Model
5.3. Analysis and Evaluation of Simulation Result
6. Conclusion and Outlook
6.1. Conclusion of the Work
6.2. Outlook of the Future Work
A. OMNeT++ Simulation Log
B. EAST-ADL Model to Artop Model Mapping
Bibliography
Nomenclature
|
3 |
A Formal Analysis Framework For EAST-ADL Architectural Models Extended With Behavioral Specifications In SimulinkÇollaku, Vasja, Shestani, Paolo January 2019 (has links)
Model-Driven Development is a development approach which is being used frequently in the automotive context in order to design models. EAST-ADL is an architectural language which models systems according to their architectural features, whereas Simulink is a tool environment which models systems according to their behavior. In this thesis work, we propose a set of transformation rules that take into consideration the EAST-ADL architectural model details and the behavioral specifications in Simulink, and generate a formal model, which can be verified UPPAAL model checker. Moreover, we implement these proposed transformation rules in a tool that automates them. The transformation rules proposed in this thesis work would be implemented for every EAST-ADL file with Simulink behavior specifications, generated by the MetaEdit+ tool. Properties like timing constraints, triggering and hierarchy in both EAST-ADL and Simulink have been considered by the transformation rules. Finally, the Brake-by-Wire case study is used to validate the tool and assess the mapping of the elements.
|
Page generated in 0.0147 seconds