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

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Böhm, P
Định dạng:	Luận văn
Được phát hành:	2007

Những quyển sách tương tự

Towards the Formal Verification of Lower System Layers in Automotive Systems
Bằng: Beyer, S, et al.
Được phát hành: (2005)

Verification and reliability analysis of synchronizers in clock domain crossing
Bằng: FAN Yuyang, et al.
Được phát hành: (2022-04-01)

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
Bằng: Ghada Bahig, et al.
Được phát hành: (2017-01-01)

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits
Bằng: Weise, Daniel Wayne
Được phát hành: (2004)

A consensus-based distributed method of clock synchronization for sensor networks
Bằng: Yong Qiao, et al.
Được phát hành: (2017-03-01)

Performal: Formal Verification of Latency Properties for Distributed Systems
Bằng: Zhang, Tony Nuda, et al.
Được phát hành: (2023)

A Mixed Approach for Clock Synchronization in Distributed Data Acquisition Systems
Bằng: Gabriele Manduchi, et al.
Được phát hành: (2024-09-01)

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
Bằng: Cinzia Bernardeschi, et al.
Được phát hành: (2020-08-01)

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security
Bằng: Moez Krichen
Được phát hành: (2023-12-01)

A theory of clock synchronization
Bằng: Patt, Boaz
Được phát hành: (2007)

A Theory of Clock Synchronization
Bằng: Patt, Boaz
Được phát hành: (2023)

The design of synchronization circuit for crossing the clock domain in multi clock system
Bằng: Zhao Yang, et al.
Được phát hành: (2018-02-01)

A clock synchronization method based on quantum entanglement
Bằng: Jianxin Shi, et al.
Được phát hành: (2022-06-01)

Massive object velocity method for clock synchronization
Bằng: Douglas M. Baney
Được phát hành: (2022-12-01)

Distributed Nodes-Based Collaborative Sustaining of Precision Clock Synchronization upon Master Clock Failure in IEEE 1588 System
Bằng: Kyou Jung Son, et al.
Được phát hành: (2020-10-01)

Digital system verification : a combined formal methods and simulation framework /
Bằng: Li, Lun, 1970-, et al.
Được phát hành: (c201)

On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
Bằng: Vladimir Burenkov
Được phát hành: (2018-10-01)

Formal verification of RFID system using model verification agent /
Bằng: Muhammad Tarmizi Lockman, 1981-, et al.
Được phát hành: (2012)

Formal verification of RFID system using model verification agent
Bằng: Lockman, Muhammad Tarmizi
Được phát hành: (2012)

Quantum Clock in the Projection Evolution Formalism
Bằng: Andrzej Góźdź, et al.
Được phát hành: (2024-03-01)

Synchronous communication techniques for rationally clocked systems
Bằng: Sarmenta, Luis Francisco G. (Luis Francisco Gumaru)
Được phát hành: (2007)

Applied formal verification /
Bằng: 225698 Perry, Douglas L., et al.
Được phát hành: (2005)

Advanced formal verification /
Bằng: Drechsler, Rolf
Được phát hành: (2004)

Digital clocks for synchronization and communications /
Bằng: 325007 Kihara , Masami, et al.
Được phát hành: (2003)

Clock synchronization over bluetooth
Bằng: Pham, Bao Trung
Được phát hành: (2017)

Clock synchronization over bluetooth
Bằng: Chang, Jun Wei
Được phát hành: (2017)

A Synthesized Framework for Formal Verification of Computing Systems
Bằng: Nikola Bogunovic, et al.
Được phát hành: (2003-12-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
Bằng: Dan LIU, et al.
Được phát hành: (2012-11-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
Bằng: Dan LIU, et al.
Được phát hành: (2012-11-01)

A study of clock effects in Newton–Maxwell formalism
Bằng: Sankar Hajra
Được phát hành: (2020-01-01)

Formal verification of safety-critical hybrid systems
Bằng: Livadas, Carolos
Được phát hành: (2008)

Formal Verification of Safety-Critical Hybrid Systems
Bằng: Livadas, Carolos
Được phát hành: (2023)

Contextualizing formal verification for systems security engineering
Bằng: Shaked, A, et al.
Được phát hành: (2024)

Simulator Semantics for System Level Formal Verification
Bằng: Toni Mancini, et al.
Được phát hành: (2015-09-01)

Formal Verification of Real-Time System Requirements
Bằng: Marcin Szpyrka
Được phát hành: (2000-01-01)

A roadmap for formal property verification /
Bằng: 460865 Dasgupta, Pallab
Được phát hành: (2006)

Formal verification for a PMQTT protocol
Bằng: Eman Elemam, et al.
Được phát hành: (2020-09-01)

Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN
Bằng: Jan Ruh, et al.
Được phát hành: (2021-01-01)

Clocking and synchronization with a fault-tolerant multiprocessor,
Bằng: Krauss, Howard Ronald
Được phát hành: (2013)

A New Design of Clock Synchronization Algorithm
Bằng: Jingmeng Liu, et al.
Được phát hành: (2014-05-01)