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...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteur:	Böhm, P
Formaat:	Thesis
Gepubliceerd in:	2007

Gelijkaardige items

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

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

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

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits
door: Weise, Daniel Wayne
Gepubliceerd in: (2004)

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

Performal: Formal Verification of Latency Properties for Distributed Systems
door: Zhang, Tony Nuda, et al.
Gepubliceerd in: (2023)

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

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

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security
door: Moez Krichen
Gepubliceerd in: (2023-12-01)

A theory of clock synchronization
door: Patt, Boaz
Gepubliceerd in: (2007)

A Theory of Clock Synchronization
door: Patt, Boaz
Gepubliceerd in: (2023)

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

A clock synchronization method based on quantum entanglement
door: Jianxin Shi, et al.
Gepubliceerd in: (2022-06-01)

Massive object velocity method for clock synchronization
door: Douglas M. Baney
Gepubliceerd in: (2022-12-01)

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

Digital system verification : a combined formal methods and simulation framework /
door: Li, Lun, 1970-, et al.
Gepubliceerd in: (c201)

On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
door: Vladimir Burenkov
Gepubliceerd in: (2018-10-01)

Formal verification of RFID system using model verification agent /
door: Muhammad Tarmizi Lockman, 1981-, et al.
Gepubliceerd in: (2012)

Formal verification of RFID system using model verification agent
door: Lockman, Muhammad Tarmizi
Gepubliceerd in: (2012)

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

Synchronous communication techniques for rationally clocked systems
door: Sarmenta, Luis Francisco G. (Luis Francisco Gumaru)
Gepubliceerd in: (2007)

Applied formal verification /
door: 225698 Perry, Douglas L., et al.
Gepubliceerd in: (2005)

Advanced formal verification /
door: Drechsler, Rolf
Gepubliceerd in: (2004)

Digital clocks for synchronization and communications /
door: 325007 Kihara , Masami, et al.
Gepubliceerd in: (2003)

Clock synchronization over bluetooth
door: Pham, Bao Trung
Gepubliceerd in: (2017)

Clock synchronization over bluetooth
door: Chang, Jun Wei
Gepubliceerd in: (2017)

A Synthesized Framework for Formal Verification of Computing Systems
door: Nikola Bogunovic, et al.
Gepubliceerd in: (2003-12-01)

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

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

A study of clock effects in Newton–Maxwell formalism
door: Sankar Hajra
Gepubliceerd in: (2020-01-01)

Formal verification of safety-critical hybrid systems
door: Livadas, Carolos
Gepubliceerd in: (2008)

Formal Verification of Safety-Critical Hybrid Systems
door: Livadas, Carolos
Gepubliceerd in: (2023)

Contextualizing formal verification for systems security engineering
door: Shaked, A, et al.
Gepubliceerd in: (2024)

Simulator Semantics for System Level Formal Verification
door: Toni Mancini, et al.
Gepubliceerd in: (2015-09-01)

Formal Verification of Real-Time System Requirements
door: Marcin Szpyrka
Gepubliceerd in: (2000-01-01)

A roadmap for formal property verification /
door: 460865 Dasgupta, Pallab
Gepubliceerd in: (2006)

Formal verification for a PMQTT protocol
door: Eman Elemam, et al.
Gepubliceerd in: (2020-09-01)

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

Clocking and synchronization with a fault-tolerant multiprocessor,
door: Krauss, Howard Ronald
Gepubliceerd in: (2013)

A New Design of Clock Synchronization Algorithm
door: Jingmeng Liu, et al.
Gepubliceerd in: (2014-05-01)