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

Detaylı Bibliyografya
Yazar:	Böhm, P
Materyal Türü:	Tez
Baskı/Yayın Bilgisi:	2007

Benzer Materyaller

Towards the Formal Verification of Lower System Layers in Automotive Systems
Yazar:: Beyer, S, ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Verification and reliability analysis of synchronizers in clock domain crossing
Yazar:: FAN Yuyang, ve diğerleri
Baskı/Yayın Bilgisi: (2022-04-01)

Formal Verification of Automotive Design in Compliance With ISO 26262 Design Verification Guidelines
Yazar:: Ghada Bahig, ve diğerleri
Baskı/Yayın Bilgisi: (2017-01-01)

Formal Multilevel Hierarchical Verification of Synchronous MOS Circuits
Yazar:: Weise, Daniel Wayne
Baskı/Yayın Bilgisi: (2004)

A consensus-based distributed method of clock synchronization for sensor networks
Yazar:: Yong Qiao, ve diğerleri
Baskı/Yayın Bilgisi: (2017-03-01)

Performal: Formal Verification of Latency Properties for Distributed Systems
Yazar:: Zhang, Tony Nuda, ve diğerleri
Baskı/Yayın Bilgisi: (2023)

A Mixed Approach for Clock Synchronization in Distributed Data Acquisition Systems
Yazar:: Gabriele Manduchi, ve diğerleri
Baskı/Yayın Bilgisi: (2024-09-01)

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm
Yazar:: Cinzia Bernardeschi, ve diğerleri
Baskı/Yayın Bilgisi: (2020-08-01)

Formal Methods and Validation Techniques for Ensuring Automotive Systems Security
Yazar:: Moez Krichen
Baskı/Yayın Bilgisi: (2023-12-01)

A theory of clock synchronization
Yazar:: Patt, Boaz
Baskı/Yayın Bilgisi: (2007)

A Theory of Clock Synchronization
Yazar:: Patt, Boaz
Baskı/Yayın Bilgisi: (2023)

The design of synchronization circuit for crossing the clock domain in multi clock system
Yazar:: Zhao Yang, ve diğerleri
Baskı/Yayın Bilgisi: (2018-02-01)

A clock synchronization method based on quantum entanglement
Yazar:: Jianxin Shi, ve diğerleri
Baskı/Yayın Bilgisi: (2022-06-01)

Massive object velocity method for clock synchronization
Yazar:: Douglas M. Baney
Baskı/Yayın Bilgisi: (2022-12-01)

Distributed Nodes-Based Collaborative Sustaining of Precision Clock Synchronization upon Master Clock Failure in IEEE 1588 System
Yazar:: Kyou Jung Son, ve diğerleri
Baskı/Yayın Bilgisi: (2020-10-01)

Digital system verification : a combined formal methods and simulation framework /
Yazar:: Li, Lun, 1970-, ve diğerleri
Baskı/Yayın Bilgisi: (c201)

On the Implementation of a Formal Method for Verification of Scalable Cache Coherent Systems
Yazar:: Vladimir Burenkov
Baskı/Yayın Bilgisi: (2018-10-01)

Formal verification of RFID system using model verification agent /
Yazar:: Muhammad Tarmizi Lockman, 1981-, ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Formal verification of RFID system using model verification agent
Yazar:: Lockman, Muhammad Tarmizi
Baskı/Yayın Bilgisi: (2012)

Quantum Clock in the Projection Evolution Formalism
Yazar:: Andrzej Góźdź, ve diğerleri
Baskı/Yayın Bilgisi: (2024-03-01)

Synchronous communication techniques for rationally clocked systems
Yazar:: Sarmenta, Luis Francisco G. (Luis Francisco Gumaru)
Baskı/Yayın Bilgisi: (2007)

Applied formal verification /
Yazar:: 225698 Perry, Douglas L., ve diğerleri
Baskı/Yayın Bilgisi: (2005)

Advanced formal verification /
Yazar:: Drechsler, Rolf
Baskı/Yayın Bilgisi: (2004)

Digital clocks for synchronization and communications /
Yazar:: 325007 Kihara , Masami, ve diğerleri
Baskı/Yayın Bilgisi: (2003)

Clock synchronization over bluetooth
Yazar:: Pham, Bao Trung
Baskı/Yayın Bilgisi: (2017)

Clock synchronization over bluetooth
Yazar:: Chang, Jun Wei
Baskı/Yayın Bilgisi: (2017)

A Synthesized Framework for Formal Verification of Computing Systems
Yazar:: Nikola Bogunovic, ve diğerleri
Baskı/Yayın Bilgisi: (2003-12-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
Yazar:: Dan LIU, ve diğerleri
Baskı/Yayın Bilgisi: (2012-11-01)

Method for reducing the complexity of clock domain crossing design and its verification in system-on-chips
Yazar:: Dan LIU, ve diğerleri
Baskı/Yayın Bilgisi: (2012-11-01)

A study of clock effects in Newton–Maxwell formalism
Yazar:: Sankar Hajra
Baskı/Yayın Bilgisi: (2020-01-01)

Formal verification of safety-critical hybrid systems
Yazar:: Livadas, Carolos
Baskı/Yayın Bilgisi: (2008)

Formal Verification of Safety-Critical Hybrid Systems
Yazar:: Livadas, Carolos
Baskı/Yayın Bilgisi: (2023)

Contextualizing formal verification for systems security engineering
Yazar:: Shaked, A, ve diğerleri
Baskı/Yayın Bilgisi: (2024)

Simulator Semantics for System Level Formal Verification
Yazar:: Toni Mancini, ve diğerleri
Baskı/Yayın Bilgisi: (2015-09-01)

Formal Verification of Real-Time System Requirements
Yazar:: Marcin Szpyrka
Baskı/Yayın Bilgisi: (2000-01-01)

A roadmap for formal property verification /
Yazar:: 460865 Dasgupta, Pallab
Baskı/Yayın Bilgisi: (2006)

Formal verification for a PMQTT protocol
Yazar:: Eman Elemam, ve diğerleri
Baskı/Yayın Bilgisi: (2020-09-01)

Clock Synchronization in Virtualized Distributed Real-Time Systems Using IEEE 802.1AS and ACRN
Yazar:: Jan Ruh, ve diğerleri
Baskı/Yayın Bilgisi: (2021-01-01)

Clocking and synchronization with a fault-tolerant multiprocessor,
Yazar:: Krauss, Howard Ronald
Baskı/Yayın Bilgisi: (2013)

A New Design of Clock Synchronization Algorithm
Yazar:: Jingmeng Liu, ve diğerleri
Baskı/Yayın Bilgisi: (2014-05-01)