Search Results

We introduce a framework that aims at automating significant parts of the design flow in a typical scenario for embedded application development in the automotive domain. Given a specification model of a new automotive feature captured in Matlab-Simulink, the framework allocates new functions onto the devices of the hardware architecture such as ECUs and buses considering already deployed functions and the distributed nature of embedded systems used in the automotive industry. The framework is motivated by the iterative design process in industrial practice and subdivided into several steps. In the task creation process a balanced task structure is derived automatically from the specification model. Automatic code generation and execution time analysis for each task demands a semantics- preserving restructuring process of the Matlab-Simulink model.

The application of digital control in the automotive domain clearly follows an evolution with increasing complexity of both covered functions and their interaction. Advanced Driver Assistance Systems (ADAS) and Automated Driving Functions (AD) comprise modular interacting software components that typically build upon a layered architecture. As these components are generally developed by different teams, using different tools for different functional purposes and building upon different models of computation, an integration of all components guaranteeing the satisfaction of all requirements calls for coherent handling of timing properties. We propose an approach addressing this major challenge, which consists of four design paradigms. A compositional semantic framework - based on a notion of components, their interfaces and their interaction - provides the common ground.