Formal Verification of a Clock Synchronization Method in a Distributed Automotive System

Formal Verification of a Clock Synchronization Method in a Distributed Automotive System

This thesis presents the formal verification of a clock synchronization algorithm in a distributed communication system. The communication system is inspired by the demands of the automotive industry and based on the FlexRay standard. The work is part of the Verisoft automotive subproject. The distr...

书目详细资料
主要作者:	Böhm, P
格式:	Thesis
出版:	2007

相似书籍

Towards the Formal Verification of Lower System Layers in Automotive Systems
由: Beyer, S, et al.
出版: (2005)

Verification and reliability analysis of synchronizers in clock domain crossing
由: FAN Yuyang, et al.
出版: (2022-04-01)

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
由: Ghada Bahig, et al.
出版: (2017-01-01)

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits
由: Weise, Daniel Wayne
出版: (2004)

A consensus-based distributed method of clock synchronization for sensor networks
由: Yong Qiao, et al.
出版: (2017-03-01)

Performal: Formal Verification of Latency Properties for Distributed Systems
由: Zhang, Tony Nuda, et al.
出版: (2023)

A Mixed Approach for Clock Synchronization in Distributed Data Acquisition Systems
由: Gabriele Manduchi, et al.
出版: (2024-09-01)

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
由: Cinzia Bernardeschi, et al.
出版: (2020-08-01)

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security
由: Moez Krichen
出版: (2023-12-01)

A theory of clock synchronization
由: Patt, Boaz
出版: (2007)

A Theory of Clock Synchronization
由: Patt, Boaz
出版: (2023)

The design of synchronization circuit for crossing the clock domain in multi clock system
由: Zhao Yang, et al.
出版: (2018-02-01)

A clock synchronization method based on quantum entanglement
由: Jianxin Shi, et al.
出版: (2022-06-01)

Massive object velocity method for clock synchronization
由: Douglas M. Baney
出版: (2022-12-01)

Distributed Nodes-Based Collaborative Sustaining of Precision Clock Synchronization upon Master Clock Failure in IEEE 1588 System
由: Kyou Jung Son, et al.
出版: (2020-10-01)

Digital system verification : a combined formal methods and simulation framework /
由: Li, Lun, 1970-, et al.
出版: (c201)

On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
由: Vladimir Burenkov
出版: (2018-10-01)

Formal verification of RFID system using model verification agent /
由: Muhammad Tarmizi Lockman, 1981-, et al.
出版: (2012)

Formal verification of RFID system using model verification agent
由: Lockman, Muhammad Tarmizi
出版: (2012)

Quantum Clock in the Projection Evolution Formalism
由: Andrzej Góźdź, et al.
出版: (2024-03-01)

Synchronous communication techniques for rationally clocked systems
由: Sarmenta, Luis Francisco G. (Luis Francisco Gumaru)
出版: (2007)

Applied formal verification /
由: 225698 Perry, Douglas L., et al.
出版: (2005)

Advanced formal verification /
由: Drechsler, Rolf
出版: (2004)

Digital clocks for synchronization and communications /
由: 325007 Kihara , Masami, et al.
出版: (2003)

Clock synchronization over bluetooth
由: Pham, Bao Trung
出版: (2017)

Clock synchronization over bluetooth
由: Chang, Jun Wei
出版: (2017)

A Synthesized Framework for Formal Verification of Computing Systems
由: Nikola Bogunovic, et al.
出版: (2003-12-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
由: Dan LIU, et al.
出版: (2012-11-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
由: Dan LIU, et al.
出版: (2012-11-01)

A study of clock effects in Newton–Maxwell formalism
由: Sankar Hajra
出版: (2020-01-01)

Formal verification of safety-critical hybrid systems
由: Livadas, Carolos
出版: (2008)

Formal Verification of Safety-Critical Hybrid Systems
由: Livadas, Carolos
出版: (2023)

Contextualizing formal verification for systems security engineering
由: Shaked, A, et al.
出版: (2024)

Simulator Semantics for System Level Formal Verification
由: Toni Mancini, et al.
出版: (2015-09-01)

Formal Verification of Real-Time System Requirements
由: Marcin Szpyrka
出版: (2000-01-01)

A roadmap for formal property verification /
由: 460865 Dasgupta, Pallab
出版: (2006)

Formal verification for a PMQTT protocol
由: Eman Elemam, et al.
出版: (2020-09-01)

Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN
由: Jan Ruh, et al.
出版: (2021-01-01)

Clocking and synchronization with a fault-tolerant multiprocessor,
由: Krauss, Howard Ronald
出版: (2013)

A New Design of Clock Synchronization Algorithm
由: Jingmeng Liu, et al.
出版: (2014-05-01)