OCS-CAN — Orthogonal and Fault-Tolerant Clock Synchronization Subsystem for the Controller Area Network Protocol
Project Leader
Project Collaborators
Related Publications
-
Design and Formal Verification of a Fault-tolerant Clock Synchronization Subsystem for the Controller Area Network
-
Analytical Assessment of the Precision Degradation Caused by Faults in a Fault-Tolerant Master/Slave Clock Synchronization Service for CAN
IEEE Symposium on Reliable Distributed Systems (SRDS)
-
A CAN hub with Improved Error Detection and Isolation
International CAN Conference (iCC)
-
Pushing error containment and fault tolerance
CAN Newsletter. Special Edition on Automotive Networks
-
Dependable Automotive CAN Networks
Handbook on Automotive Embedded Systems
-
Combining Operational Flexibility and Dependability in FTT-CAN
IEEE Transactions on Industrial Informatics
-
An Active Star Topology for Improving Fault Confinement in CAN Networks
IEEE Transactions on Industrial Informatics
-
Orthogonal, Fault-tolerant and High-precision Clock Synchronization for the Controller Area Network
IEEE Transactions on Industrial Informatics
-
Modeling and Verification of Master/Slave Clock Synchronization Using Hybrid Automata and Model-Checking
International Conference on Formal Engineering Methods (ICFEM, LNCS 4789)
-
An UPPAAL Model for Formal Verification of Master/slave Clock Synchronization over the Controller Area Network
IEEE International Workshop on Factory Communication Systems (WFCS)
-
Towards analyzing the fault-tolerant operation of Server-CAN
IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
-
Using UPPAAL to Model and Verify a Clock Synchronization Protocol for the Controller Area Network
IEEE Conference on Emerging Technologies and Factory Automation (ETFA)
-
Comparing Real-time Communication under Electromagnetic Interference
Euromicro Conference on Real-Time Systems (ECRTS)
-
Design and Modeling of a Protocol to Enforce Consistency among Replicated Masters in FTT-CAN
IEEE International Workshop on Factory Communication Systems (WFCS)
-
CANcentrate: An Active Star Topology for CAN Networks
IEEE International Workshop on Factory Communication Systems (WFCS)
-
Clock Synchronization in CAN Distributed Embedded Systems
International Workshop on Real-Time Networks (RTN)
-
COTS-based Hardware Support to Timeliness in CAN Networks
IEEE International Conference on Emerging Technology and Factory Automation (ETFA)
-
Harmonizing Dependability and Real Time in CAN Networks
Second International Workshop on Real-Time LANs in the Internet Age (RTLIA)
-
An Architecture for Physical Injection of Complex Fault Scenarios in CAN Networks
IEEE International Conference on Emerging Technology and Factory Automation (ETFA)
-
Probabilistic Analysis of CAN with Faults
IEEE International Real-Time Systems Symposium (RTSS)
-
Enforcing Consistency of Communication Requirements Updates in FTT-CAN
International Workshop on Dependable Embedded Systems (DES)
-
Design and Implementation of a Redundancy Manager for Triple Redundant CAN Controllers
Annual Conference of the IEEE Industrial Electronics Society (IECON)
-
Hardware Support for Fault Tolerance in Triple Redundant CAN Controllers
IEEE International Conference on Electronics, Circuits and Systems (ICECS)
-
An UPPAAL Model for Formal Verification of Clock Synchronization over CAN
-
On the Design of a Clock Service for CAN Networks
-
Una descripción de los fundamentos del protocolo TTCAN diseñado por Bosch
-
Design and implementation of CANcentrate: an active star topology for improving fault confinement in CAN networks
-
Chapter VII: Using Timed Automata for Modeling the Clocks of Distributed Embedded Systems
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation
-
Hardware Design of a High-Precision and Fault-Tolerant Clock Subsystem for CAN Networks
IFAC International Conference on Fieldbus Systems and their Applications (FET)
-
Analyzing Atomic Broadcast in TTCAN Networks
IFAC International Conference on Fieldbus Systems and their Applications (FET)
-
An Orthogonal and Fault-Tolerant Subsystem for High-Precision Clock Synchronization in CAN Networks
WSEAS International Conference on Signal Processing, Robotics and Automation (ISPRA)