Tytuł artykułu

Verification of Flexray Start-Up Mechanism by Timed Automata

Tytuł czasopisma

Metrology and Measurement Systems

Rocznik

2010

Numer

No 3

Autorzy

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

Słowa kluczowe

FlexRay ; timed automata ; modelling

Wydział PAN

Nauki Techniczne

Zakres

461-480

Wydawca

Polish Academy of Sciences Committee on Metrology and Scientific Instrumentation

Data

2010

Typ

Artykuły / Articles

Identyfikator

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

Źródło

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

Referencje

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.