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

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Böhm, P
Formáid:	Tráchtas
Foilsithe / Cruthaithe:	2007

Míreanna comhchosúla

Towards the Formal Verification of Lower System Layers in Automotive Systems
de réir: Beyer, S, et al.
Foilsithe / Cruthaithe: (2005)

Verification and reliability analysis of synchronizers in clock domain crossing
de réir: FAN Yuyang, et al.
Foilsithe / Cruthaithe: (2022-04-01)

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
de réir: Ghada Bahig, et al.
Foilsithe / Cruthaithe: (2017-01-01)

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits
de réir: Weise, Daniel Wayne
Foilsithe / Cruthaithe: (2004)

A consensus-based distributed method of clock synchronization for sensor networks
de réir: Yong Qiao, et al.
Foilsithe / Cruthaithe: (2017-03-01)

Performal: Formal Verification of Latency Properties for Distributed Systems
de réir: Zhang, Tony Nuda, et al.
Foilsithe / Cruthaithe: (2023)

A Mixed Approach for Clock Synchronization in Distributed Data Acquisition Systems
de réir: Gabriele Manduchi, et al.
Foilsithe / Cruthaithe: (2024-09-01)

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
de réir: Cinzia Bernardeschi, et al.
Foilsithe / Cruthaithe: (2020-08-01)

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security
de réir: Moez Krichen
Foilsithe / Cruthaithe: (2023-12-01)

A theory of clock synchronization
de réir: Patt, Boaz
Foilsithe / Cruthaithe: (2007)

A Theory of Clock Synchronization
de réir: Patt, Boaz
Foilsithe / Cruthaithe: (2023)

The design of synchronization circuit for crossing the clock domain in multi clock system
de réir: Zhao Yang, et al.
Foilsithe / Cruthaithe: (2018-02-01)

A clock synchronization method based on quantum entanglement
de réir: Jianxin Shi, et al.
Foilsithe / Cruthaithe: (2022-06-01)

Massive object velocity method for clock synchronization
de réir: Douglas M. Baney
Foilsithe / Cruthaithe: (2022-12-01)

Distributed Nodes-Based Collaborative Sustaining of Precision Clock Synchronization upon Master Clock Failure in IEEE 1588 System
de réir: Kyou Jung Son, et al.
Foilsithe / Cruthaithe: (2020-10-01)

Digital system verification : a combined formal methods and simulation framework /
de réir: Li, Lun, 1970-, et al.
Foilsithe / Cruthaithe: (c201)

On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
de réir: Vladimir Burenkov
Foilsithe / Cruthaithe: (2018-10-01)

Formal verification of RFID system using model verification agent /
de réir: Muhammad Tarmizi Lockman, 1981-, et al.
Foilsithe / Cruthaithe: (2012)

Formal verification of RFID system using model verification agent
de réir: Lockman, Muhammad Tarmizi
Foilsithe / Cruthaithe: (2012)

Quantum Clock in the Projection Evolution Formalism
de réir: Andrzej Góźdź, et al.
Foilsithe / Cruthaithe: (2024-03-01)

Synchronous communication techniques for rationally clocked systems
de réir: Sarmenta, Luis Francisco G. (Luis Francisco Gumaru)
Foilsithe / Cruthaithe: (2007)

Applied formal verification /
de réir: 225698 Perry, Douglas L., et al.
Foilsithe / Cruthaithe: (2005)

Advanced formal verification /
de réir: Drechsler, Rolf
Foilsithe / Cruthaithe: (2004)

Digital clocks for synchronization and communications /
de réir: 325007 Kihara , Masami, et al.
Foilsithe / Cruthaithe: (2003)

Clock synchronization over bluetooth
de réir: Pham, Bao Trung
Foilsithe / Cruthaithe: (2017)

Clock synchronization over bluetooth
de réir: Chang, Jun Wei
Foilsithe / Cruthaithe: (2017)

A Synthesized Framework for Formal Verification of Computing Systems
de réir: Nikola Bogunovic, et al.
Foilsithe / Cruthaithe: (2003-12-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
de réir: Dan LIU, et al.
Foilsithe / Cruthaithe: (2012-11-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
de réir: Dan LIU, et al.
Foilsithe / Cruthaithe: (2012-11-01)

A study of clock effects in Newton–Maxwell formalism
de réir: Sankar Hajra
Foilsithe / Cruthaithe: (2020-01-01)

Formal verification of safety-critical hybrid systems
de réir: Livadas, Carolos
Foilsithe / Cruthaithe: (2008)

Formal Verification of Safety-Critical Hybrid Systems
de réir: Livadas, Carolos
Foilsithe / Cruthaithe: (2023)

Contextualizing formal verification for systems security engineering
de réir: Shaked, A, et al.
Foilsithe / Cruthaithe: (2024)

Simulator Semantics for System Level Formal Verification
de réir: Toni Mancini, et al.
Foilsithe / Cruthaithe: (2015-09-01)

Formal Verification of Real-Time System Requirements
de réir: Marcin Szpyrka
Foilsithe / Cruthaithe: (2000-01-01)

A roadmap for formal property verification /
de réir: 460865 Dasgupta, Pallab
Foilsithe / Cruthaithe: (2006)

Formal verification for a PMQTT protocol
de réir: Eman Elemam, et al.
Foilsithe / Cruthaithe: (2020-09-01)

Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN
de réir: Jan Ruh, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Clocking and synchronization with a fault-tolerant multiprocessor,
de réir: Krauss, Howard Ronald
Foilsithe / Cruthaithe: (2013)

A New Design of Clock Synchronization Algorithm
de réir: Jingmeng Liu, et al.
Foilsithe / Cruthaithe: (2014-05-01)