A novel scheme for modeling and analyzing of FlexRay communication systems
暂无分享,去创建一个
[1] Manfred Broy,et al. Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .
[2] Harald Heinecke. Automotive System Design - Challenges and Potential , 2005, DATE.
[3] Petru Eles,et al. Timing Analysis of the FlexRay Communication Protocol , 2006, ECRTS.
[4] Yeqiong Song,et al. Trends in Automotive Communication Systems , 2005, Proc. IEEE.
[5] Ming-Li Wang,et al. On the Software-Based Development and Verification of Automotive Control Systems , 2007, IECON 2007 - 33rd Annual Conference of the IEEE Industrial Electronics Society.
[6] Itu-T. Specification and Description Language (SDL) , 1999 .
[7] Dieter Hogrefe,et al. SDL : formal object-oriented language for communicating systems , 1997 .