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
Формат:	Диссертация
Опубликовано:	2007

Схожие документы

Towards the Formal Verification of Lower System Layers in Automotive Systems
по: Beyer, S, и др.
Опубликовано: (2005)

Verification and reliability analysis of synchronizers in clock domain crossing
по: FAN Yuyang, и др.
Опубликовано: (2022-04-01)

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
по: Ghada Bahig, и др.
Опубликовано: (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, и др.
Опубликовано: (2017-03-01)

Performal: Formal Verification of Latency Properties for Distributed Systems
по: Zhang, Tony Nuda, и др.
Опубликовано: (2023)

A Mixed Approach for Clock Synchronization in Distributed Data Acquisition Systems
по: Gabriele Manduchi, и др.
Опубликовано: (2024-09-01)

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
по: Cinzia Bernardeschi, и др.
Опубликовано: (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, и др.
Опубликовано: (2018-02-01)

A clock synchronization method based on quantum entanglement
по: Jianxin Shi, и др.
Опубликовано: (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, и др.
Опубликовано: (2020-10-01)

Digital system verification : a combined formal methods and simulation framework /
по: Li, Lun, 1970-, и др.
Опубликовано: (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-, и др.
Опубликовано: (2012)

Formal verification of RFID system using model verification agent
по: Lockman, Muhammad Tarmizi
Опубликовано: (2012)

Quantum Clock in the Projection Evolution Formalism
по: Andrzej Góźdź, и др.
Опубликовано: (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., и др.
Опубликовано: (2005)

Advanced formal verification /
по: Drechsler, Rolf
Опубликовано: (2004)

Digital clocks for synchronization and communications /
по: 325007 Kihara , Masami, и др.
Опубликовано: (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, и др.
Опубликовано: (2003-12-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
по: Dan LIU, и др.
Опубликовано: (2012-11-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
по: Dan LIU, и др.
Опубликовано: (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, и др.
Опубликовано: (2024)

Simulator Semantics for System Level Formal Verification
по: Toni Mancini, и др.
Опубликовано: (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, и др.
Опубликовано: (2020-09-01)

Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN
по: Jan Ruh, и др.
Опубликовано: (2021-01-01)

Clocking and synchronization with a fault-tolerant multiprocessor,
по: Krauss, Howard Ronald
Опубликовано: (2013)

A New Design of Clock Synchronization Algorithm
по: Jingmeng Liu, и др.
Опубликовано: (2014-05-01)