UPCOMING AUTOMOTIVE STANDARDS FOR FAULT-TOLERANT COMMUNICATION: FLEXRAY AND OSEKTIME FTCOM.
暂无分享,去创建一个
[1] Lawrence Charles Paulson,et al. Isabelle/HOL: A Proof Assistant for Higher-Order Logic , 2002 .
[2] Maria Spichkova. FlexRay: Verifikation of the FOCUS Specification in Isabelle/HOL. A Case Study , 2006 .
[3] Manfred Broy,et al. Specification and development of interactive systems: focus on streams, interfaces, and refinement , 2001 .
[4] Philip Koopman,et al. Coverage and the use of cyclic redundancy codes in ultra-dependable systems , 2005, 2005 International Conference on Dependable Systems and Networks (DSN'05).
[5] John M. Rushby,et al. An Overview of Formal Verification for the Time-Triggered Architecture , 2002, FTRTFT.
[6] H. Kopetz,et al. A Comparison of TTP/C and FlexRay , 2001 .
[7] Maria Spichkova,et al. FlexRay und FTCom: Formale Spezifikation in Focus , 2006 .
[8] Damián Barsotti,et al. Verification of clock synchronization algorithms: experiments on a combination of deductive tools , 2007, Formal Aspects of Computing.
[9] Hermann Kopetz,et al. The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).
[10] M. Spichkova,et al. Towards verified automotive software , 2005 .
[11] Mark A. Hillebrand,et al. Towards the formal verification of lower system layers in automotive systems , 2005, 2005 International Conference on Computer Design.