Search results for "TTCAN"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
102	Ian Broster, Alan Burns 0001, Guillermo Rodríguez-Navas	Timing Analysis of Real-Time Communication Under Electromagnetic Interference.	Real Time Syst.	2005	DBLP DOI BibTeX RDF	TTCAN, probabilistic timing analysis, electromagnetic interference, bus guardian, babbling idiot, dependability, faults, Controller Area Network, CAN
98	Indranil Saha, Suman Roy 0001	A Finite State Analysis of Time-Triggered CAN (TTCAN) Protocol Using Spin.	ICCTA	2007	DBLP DOI BibTeX RDF
98	Indranil Saha, Suman Roy 0001, Kuntal Chakraborty	Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.	SEFM	2007	DBLP DOI BibTeX RDF
87	Gabriel Leen, Donal Heffernan	Modeling and Verification of a Time-triggered Networking Protocol.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
54	Steve C. Talbot, Shangping Ren	Comparision of FieldBus Systems CAN, TTCAN, FlexRay and LIN in Passenger Vehicles.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
54	José Antonio de Frutos, Esther Cadiñanos, Juan Ignacio Pérez, Sara García	Tool for Analysis and Simulation of TTCAN Communication in Distributed Systems.	COMPSAC (2)	2006	DBLP DOI BibTeX RDF
44	Carl Bergenhem, Johan Karlsson, Christian Archer, Andreas Sjoblom	Implementation Results of a Configurable Membership Protocol for Active Safety Systems.	PRDC	2006	DBLP DOI BibTeX RDF
32	Xin Li 0109, Jian Guo 0005, Yongxin Zhao, Xiaoran Zhu	Formal Modeling and Verifying the TTCAN Protocol from a Probabilistic Perspective.	J. Circuits Syst. Comput.	2019	DBLP DOI BibTeX RDF
32	Shuxin Liu, Noriaki Yoshiura	Model Checking of TTCAN Protocol Using UPPAAL.	ICCSA (4)	2018	DBLP DOI BibTeX RDF
32	Çagatay Özdemir	CAN/TTCAN Sistemlerin UPPAAL Aracı ile Modellenmesi ve Zamanlama Doğrulaması.	UYMS	2014	DBLP BibTeX RDF
32	Qinwen Ran, Xi Wu 0005, Xin Li 0010, Jianqi Shi, Jian Guo 0005, Huibiao Zhu	Modeling and Verifying the TTCAN Protocol Using Timed CSP.	TASE	2014	DBLP DOI BibTeX RDF
32	Daniel Keating, Allan McInnes, Michael P. Hayes	Model Checking a TTCAN Implementation.	ICST	2011	DBLP DOI BibTeX RDF
32	Xiao Wu, Heng Ling, Yunwei Dong	On Modeling and Verifying of Application Protocols of TTCAN in Flight-Control System with UPPAAL.	ICESS	2009	DBLP DOI BibTeX RDF
32	Jean-Luc Scharbarg, Marc Boyer, Jérôme Ermont, Christian Fraboul	TTCAN over mixed CAN/switched Ethernet architecture.	ETFA	2005	DBLP DOI BibTeX RDF
32	Colin Ryan, Donal Heffernan, Gabriel Leen	Clock synchronisation on multiple TTCAN network channels.	Microprocess. Microsystems	2004	DBLP DOI BibTeX RDF
32	Amos Albert, Roger Strasser	Realisierung einer zeitgesteuerten, verteilten Regelung mit einem CAN-TTCAN Gateway.	PEARL	2003	DBLP DOI BibTeX RDF
32	Gabriel Leen, Donal Heffernan	TTCAN: a new time-triggered controller area network.	Microprocess. Microsystems	2002	DBLP DOI BibTeX RDF
22	Shan Ding, Zhiqiang Xie, Xiaona Yin	A GA-based Systematic Message Scheduling Method for Time-Triggered CAN.	EUC (2)	2008	DBLP DOI BibTeX RDF
22	Carl Bergenhem, Johan Karlsson	A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling.	PRDC	2008	DBLP DOI BibTeX RDF
22	Dawid Trawczynski, Janusz Sosnowski, Janusz Zalewski	A Tool for Databus Safety Analysis Using Fault Injection.	SAFECOMP	2006	DBLP DOI BibTeX RDF
22	Guido Menkhaus, Michael Holzmann, Sebastian Fischmeister, Claudiu Farcas	Towards Efficient Use of Shared Communication Media in the Timed Model.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
22	Ian Broster, Alan Burns 0001, Guillermo Rodríguez-Navas	Comparing Real-Time Communication Under Electromagnetic Interference.	ECRTS	2004	DBLP DOI BibTeX RDF