Search Results

We propose a security-testing framework to analyze attack feasibilities for automotive control software by integrating model-based development with model checking techniques. Many studies have pointed out the vulnerabilities in the Controller Area Network (CAN) protocol, which is widely used in in-vehicle network systems. However, many security attacks on automobiles did not explicitly consider the transmission timing of CAN packets to realize vulnerabilities. Additionally, in terms of security testing for automobiles, most existing studies have only focused on the generation of the testing packets to realize vulnerabilities, but they did not consider the timing of invoking a security testing. Therefore, we focus on the transmit timing of CAN packets to realize vulnerabilities. In our experiments, we have demonstrated the classification of feasible attacks at the early development phase by integrating the model checking techniques into a virtualized environment.

Software development tools can be used in conjunction with test automation tools to validate controller software. Test automation tools must have an open architecture to interface with all the different software and hardware components, within a control validation project. Therefore software development tools like Matlab/Simulink will be able to exchange data via real time interface software with test automation tools. The test automation tool must be flexible to pass data back and forth from/to Microsoft standard software programs like Excel.

The design of a complex real-time embedded system requires the specification of its functionality, the design of the hardware and software architectures, the implementation of hardware and software components and finally the system validation. The designer, starting from the specification, refines the solution trying to minimize the system cost while satisfying functional and non functional requirements. The automatic code generation from models and the introduction of the platform-based design methodology can drastically improve the design efficiency of the software partition, while maintaining acceptable the cost overhead of the final system. In this approach, both top-down and bottom-up aspects are considered and solutions are found by a meet-in-the-middle approach that couples model refinement and platform modeling.

This paper describes how one further step towards integrating the complete software development process of embedded real-time systems in Simulink and Stateflow is achieved. Automatic code generation in production quality is already possible with dSPACE's TargetLink. The next step is true integration of real-time operating systems into the code generation process. The OSEK standard is applied for this purpose and briefly described at the beginning. The article then focuses on concepts and techniques used by TargetLink to achieve OSEK-compliant code generation. It is shown, how operating system functions and properties are specified on a block diagram level, how code of different sample rates is bundled into different tasks, how tasks can communicate among each other and how all this can be simulated on a target system.

The demands of the automotive market are decreasing the time-to-market required from the initial concept of new control systems to their implementation. The goal of automotive companies is to constantly reduce the development time to reap the full economic and strategic benefits of being quicker to market. The target is to reach a development time of less than 12 months for some applications. At the same time, the complexity of these new systems is growing almost exponentially. While new techniques like model-based control design with executable specifications, rapid control prototyping and hardware-in-the-loop simulation have helped significantly streamline the development process, the new strategies are still being transferred to the production target by hand. During an early project phase, automotive customers also need to explore different silicon architectures provided by semiconductor manufacturers to select the vendors who can offer the best solution at the lowest price.