Abstract:Electronic Control Units (ECUs) are widely used to improve the comfort and reliability of vehicles. Due to the increasing degree of distribution and interaction of ECUs, many approaches are adopted to design the in-vehicle networks to ensure the stability and reliability of the holistic network, but none of them support the synchronous development of in-vehicle networks and software in ECUs. This paper put forward a model-based approach to design the in-vehicle networks and the software in ECUs with presenting a dependable platform compliant with OSEK/VDX specifications. The paper presents a tool-chain that covers the entire system development life-cycle including system modeling, model transformation, model analysis, network simulation, code generation, document generation and runtime instrumentation. In addition, a case study is presented to demonstrate the application of the approach. The contribution of the approach is threefold. First, the approach applies the theory of model-based design with OSEK/VDX standard in automotive electronics domain, and implements the transformation between SysML models and OSEK/VDX models through an efficient method. Second, the approach presents a method of software co-design among distributed ECUs. Third, the approach bring forward a simulation model for the system models with in-vehicle networks and provides the designeriAth the simulation results to, optimize the design at the early time of the development.

The Signal-Oriented Test System Model of Automated Test Systems and Its Identification Technology

LTE/SAE Model and Its Implementation in NS 2

Instrument Driver for Signal-Oreinted ATS

Signal-oriented Modeling Method for Instrument as UUT in ATS

An Automatic Test System for a Spaceborne Chip of a Temperature-Sensing Controller

Test Signal Design and Analysis for Multi-Channel Identification

Design And Implementation Of The Universal Servo Control Algorithm Verification System Based On High-Speed Communication Fieldbus

A Novel Automatic Testing System Close-loop Model Based on Event Feedback

Simulation combined model-based testing method for train control systems

A General Automatic Test System for Instruments in IC Equipment

A LabVIEW Based Automatic Test System for Sieving Chips

A Function Verification Method Based on the Models at Test Case Level

Mixed-Signal System Verification By Systemc/Systemc-Ams And Hsim-Vcs In Near Field Communication Tag Design

Smartosek Based Design And Verification For In-Vehicle Network System: A Model-Based Approach

Design of Automatic Test System for Product of AMT Control Unit

A Novel Intelligent Verification Platform Based on a Structured Analysis Model.

Safety Computer Simulation System Based on Sensor Models

Verification And Validation In Railway Signalling Engineering - An Application Of Enterprise Systems Techniques

Study On The Control System Of A Hardware-In-Loop Micro-Satellite Simulator

Near-Field Communication Transceiver System Modeling and Analysis Using Systemc/Systemc-Ams with the Consideration of Noise Issues

360138 MODELING RAILWAY SIGNALLING CONTROL SOFTWARE WITH OBJECT-BASED ARCHITECTUR(Signal,Technical Session)