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)