Title

Verification of Flexray Start-Up Mechanism by Timed Automata

Journal title

Metrology and Measurement Systems

Yearbook

2010

Issue

No 3

Authors

Malinský, Jan ; Novák, Jiří

Keywords

FlexRay ; timed automata ; modelling

Divisions of PAS

Nauki Techniczne

Coverage

461-480

Publisher

Polish Academy of Sciences Committee on Metrology and Scientific Instrumentation

Date

2010

Type

Artykuły / Articles

Identifier

DOI: 10.2478/v10178-010-0039-z ; ISSN 2080-9050, e-ISSN 2300-1941

Source

Metrology and Measurement Systems; 2010; No 3; 461-480

References

Hiaroka T. (2004), Fault Tolerant Design for X-by-wire Vehicle, null, 3, 1940. ; H. Kopetz: <i>A Comparison of TTP/C and FlexRay.</i> Technical report 10/2001 Vienna University of Technology, Real-Time System Group. ; FlexRay Consortium, "FlexRay Protocol Specification v.2.1 Rev. A", FlexRay Consortium, 2005. ; FlexRay Consortium, "FlexRay Electrical Physical Layer Specification v.2.1 Rev. A", Flex Ray Consortium, 2005. ; UPPSALA University, AALBORG University: UPPAAL - integrated tool environment for modelling, validation and verification of real-time systems modelled as networks of timed automata. Available at: <a target="_blank" href='http://www.uppaal.com'>www.uppaal.com</a> ; Behrmann G. (null), A tutorial on Uppaal. ; Alur R. (1994), A theory of timed automata, Theoretical Computer Science, 126, 2, 183. ; Alur R. (1990), Model-checking for realtime systems, null, 414. ; Krakora J. (2005), Timed Automata Approach to Distributed and Fault Tolerant System Verification, null, 45. ; Krakora J. (2003), Checking Real-Time Properties of CAN Bus by Timed automata, Advanced Control Theory and Applications, 130. ; Krakora J. (2006), Testing of Hybrid Real - time System Using FPGA Platform, null. ; Godary K. (2004), Comparison and Temporal Validation of Automotive Real-Time Architectures, null. ; Malinský J. (null), The application of the timed automata for FlexRay start-up testing, null, 425.