Browse Publications Technical Papers 2019-01-1039

Validation Method of Interface Specification for Cooperative Control of Individual Systems 2019-01-1039

As automotive electronic systems aiming for a safe and secure automobile society continue to develop, the control specifications of the ECU are becoming increasingly complex. When attempting to validate control specifications that cooperatively control different control specifications, control specification developers must consider various validation viewpoints. They narrow down the validation viewpoints based on rules from past experience, describe timing charts, and validate the specifications. However, due to complicated specifications, empirical rules do not pass, and specification mismatches are often found after actual systems completion. On the other hand, a block diagram simulator is a tool to verify control specifications. Since these tools are aimed at modeling and verifying the system design, it is efficient to describe how to implement the system. However, first it is necessary to verify the consistency between the model and the specifications. It is inefficient to verify the specification itself. In order to respond to complicated control specifications, we are working to build the simulation environment necessary to efficiently validate specifications in the specification design phase. In this paper, we describe a method to validate communication mismatches caused by different reception enable/disable timing specified in specifications when ECUs with different control specifications communicate with each other. By modeling using a constraint real-time specification language, we show that we can simulate the timing chart quickly and can quickly validate the specifications even if different control specifications are mixed together. In addition, we show that it is possible to validate the specification in the specification design phase by creating simulation models with state transition diagrams and block diagrams that have the same abstraction level as the specifications.


Subscribers can view annotate, and download all of SAE's content. Learn More »


Members save up to 17% off list price.
Login to see discount.
Special Offer: Download multiple Technical Papers each year? TechSelect is a cost-effective subscription option to select and download 12-100 full-text Technical Papers per year. Find more information here.
We also recommend:

How to Meet Compliance to Software Architecture Design Principles


View Details


Optimization and Evaluation of 12V/48V Architectures Based on EDS Simulation and Real Drive Cycles


View Details


Virtual Development for In-Vehicle Network Topology – A Case Study of CAN FD Physical Layer


View Details