Abstract | ||
---|---|---|
The activities of triggering by the arrival of time are one of features for the time-triggered automotive control systems. To motivate this property, this paper presents an efficient approach for modeling and analyzing of the automotive control system using FOCUS schemes. In case of modeling, the FOCUS is used to develop a formal framework and model the individual component within the FlexRay communication protocol. Based on FOCUS, a complete established testing flow of FlexRay communication protocol is simple to be verified. In addition, the deterministic response time of messages is also analyzed via calculating the time instant of control signals using this modeling language. |
Year | DOI | Venue |
---|---|---|
2016 | 10.1109/ICIT.2016.7474922 | PROCEEDINGS 2016 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT) |
Keywords | Field | DocType |
FlexRay, Computer Simulation, Control network, Performance Analysis | FlexRay,Synchronization,Computer science,Modeling language,Communications system,Response time,Real-time computing,Control system,Automotive industry,Communications protocol,Distributed computing | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Wan-Jung Chang | 1 | 13 | 12.53 |
Wei-Wen Hu | 2 | 2 | 4.14 |
Yu-Xian Qiu | 3 | 0 | 0.34 |
Xin-Xi Lin | 4 | 0 | 0.34 |