Search results for "FlexRay"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Bogdan Tanasa, Unmesh D. Bordoloi, Petru Eles, Zebo Peng	Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay.	RTSS	2010	DBLP DOI BibTeX RDF
20	Kay Klobedanz, Gilles B. Defo, Henning Zabel, Wolfgang Müller 0003, Yuan Zhi	Task Migration for Fault-Tolerant FlexRay Networks.	DIPES/BICC	2010	DBLP DOI BibTeX RDF
20	Reinhard Schneider 0001, Unmesh D. Bordoloi, Dip Goswami, Samarjit Chakraborty	Optimized Schedule Synthesis under Real-Time Constraints for the Dynamic Segment of FlexRay.	EUC	2010	DBLP DOI BibTeX RDF
20	Candice Müller, Maurizio Valle	System verification of flexray communication networks through behavioral simulations.	BMAS	2010	DBLP DOI BibTeX RDF
20	Zheng Sun, Hong Li, Min Yao, Nan Li	Scheduling Optimization Techniques for FlexRay Using Constraint-Programming.	GreenCom/CPSCom	2010	DBLP DOI BibTeX RDF
20	Klaus Schmidt 0002, Ece Guran Schmidt	Message Scheduling for the FlexRay Protocol: The Static Segment.	IEEE Trans. Veh. Technol.	2009	DBLP DOI BibTeX RDF
20	Ece Guran Schmidt, Klaus Schmidt 0002	Message Scheduling for the FlexRay Protocol: The Dynamic Segment.	IEEE Trans. Veh. Technol.	2009	DBLP DOI BibTeX RDF
20	Bongjun Kim, Kiejin Park	Probabilistic delay model of dynamic message frame in flexray protocol.	IEEE Trans. Consumer Electron.	2009	DBLP DOI BibTeX RDF
20	Roman Nossal-Tüyeni, Dietmar Millinger	FlexRay Communication Technology.	Networked Embedded Systems	2009	DBLP DOI BibTeX RDF
20	Eric Armengaud, Andreas Steininger	Remote measurement of local oscillator drifts in FlexRay networks.	DATE	2009	DBLP DOI BibTeX RDF
20	Wenchao Li 0001, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia	Optimizations of an application-level protocol for enhanced dependability in FlexRay.	DATE	2009	DBLP DOI BibTeX RDF
20	Stephan Reichelt, Oliver Scheickl, Gökhan Tabanoglu	The influence of real-time constraints on the design of FlexRay-based systems.	DATE	2009	DBLP DOI BibTeX RDF
20	Candice Müller, Maurizio Valle, Roman Buzas, Augustin Skoupy	Mixed-mode behavioral model of flexray physical layer transceiver.	ECCTD	2009	DBLP DOI BibTeX RDF
20	Dip Goswami, Pradeep Seshadri, Unmesh D. Bordoloi, Samarjit Chakraborty	A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications.	CASE	2009	DBLP DOI BibTeX RDF
20	Soheil Samii, Yanfei Yin, Zebo Peng, Petru Eles, Yuanping Zhang	Immune Genetic Algorithms for Optimization of Task Priorities and FlexRay Frame Identifiers.	RTCSA	2009	DBLP DOI BibTeX RDF
20	M. Cheikhwafa, Sébastien Le Nours, Olivier Pasquier, Jean Paul Calvez	Transaction level modeling of a FlexRay communication network.	FDL	2009	DBLP BibTeX RDF
20	Matthias Heinz, Verena Hoss, Klaus D. Müller-Glaser	Physical Layer Extraction of FlexRay Configuration Parameters.	IEEE International Workshop on Rapid System Prototyping	2009	DBLP DOI BibTeX RDF
20	Yasser Sedaghat, Seyed Ghassem Miremadi	A Low-Cost On-Line Monitoring Mechanism for the FlexRay Communication Protocol.	LADC	2009	DBLP DOI BibTeX RDF
20	Shan Ding, Hiroyuki Tomiyama, Hiroaki Takada	An Effective GA-Based Scheduling Algorithm for FlexRay Systems.	IEICE Trans. Inf. Syst.	2008	DBLP DOI BibTeX RDF
20	Yinan Xu, Hyunsoo Kang, Yongeun Kim, Kyungju Cho, Jingyun Chung	Implementation of FlexRay CC and BG Protocols with Application to a Robot System.	MSV	2008	DBLP BibTeX RDF
20	Sven Bünte, Paul Milbredt	Fehlertoleranzanalyse des FlexRay Startup-Prozesses.	Echtzeit	2008	DBLP DOI BibTeX RDF
20	Yi-Nan Xu, Yong-Eun Kim, Kyung-Ju Cho, Jin-Gyun Chung, Myoung-Seob Lim	Implementation of FlexRay communication controller protocol with application to a robot system.	ICECS	2008	DBLP DOI BibTeX RDF
20	Woo Sik Kim, Hyun Ah Kim, Jin-Ho Ahn, Byung In Moon	System-Level Development and Verification of the FlexRay Communication Controller Model Based on SystemC.	FGCN (2)	2008	DBLP DOI BibTeX RDF
20	Awani Gaidhane, M. M. Khanapurkar, Preeti R. Bajaj	Design Approach for FPGA Implementation of Flexray Controller Using VHDL for Intra Vehicular Communication Application.	ICETET	2008	DBLP DOI BibTeX RDF
20	Johannes Klöckner, Sven Köhler 0003, Wolfgang Fengler 0001	Model based Design of Networked Embedded Systems - A Modeling Approach using FlexRay as an Example.	ICINCO-SPSMC	2008	DBLP BibTeX RDF
20	Chuanyan Xu, Yong Zhang	Simulation of FlexRay Communication Using C Language.	ISCSCT (2)	2008	DBLP DOI BibTeX RDF
20	Dennis K. Nilsson, Ulf Larson, Francesco Picasso, Erland Jonsson	A First Simulation of Attacks in the Automotive Network Communications Protocol FlexRay.	CISIS	2008	DBLP DOI BibTeX RDF
20	Stephan Reichelt, Karsten Schmidt 0003, Frank Gesele, Nils Seidler, Wolfram Hardt	Nutzung von FlexRay als zeitgesteuertes automobiles Bussystem im AUTOSAR-Umfeld.	PEARL	2007	DBLP DOI BibTeX RDF
16	Haklin Kimm, Sung Y. Shin, Ho-sang Ham, Chang Oan Sung	Failure management development for integrated automotive safety-critical software systems.	SAC	2009	DBLP DOI BibTeX RDF
16	Michael Glaß, Martin Lukasiewycz, Jürgen Teich, Unmesh D. Bordoloi, Samarjit Chakraborty	Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis.	DAC	2009	DBLP DOI BibTeX RDF	design space exploration, timing analysis, automotive
16	Eric Armengaud, Andreas Steininger, Martin Horauer	Towards a Systematic Test for Embedded Automotive Communication Systems.	IEEE Trans. Ind. Informatics	2008	DBLP DOI BibTeX RDF
16	Eyad Alkassar, Peter Böhm, Steffen Knapp	Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation.	MEMOCODE	2008	DBLP DOI BibTeX RDF
16	Soheil Samii, Sergiu Rafiliu, Petru Eles, Zebo Peng	A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems.	DATE	2008	DBLP DOI BibTeX RDF
16	T. Forest, Alberto Ferrari, G. Audisio, Marco Sabatini, Alberto L. Sangiovanni-Vincentelli, Marco Di Natale	Physical Architectures of Automotive Systems.	DATE	2008	DBLP DOI BibTeX RDF
16	Werner Damm	Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach.	FMICS	2008	DBLP DOI BibTeX RDF
16	Bo Zhang	Specifying and Verifying Timing Properties of a Time-triggered Protocol for In-vehicle Communication.	SNPD	2008	DBLP DOI BibTeX RDF
16	Lei Ju 0001, Abhik Roychoudhury, Samarjit Chakraborty	Schedulability Analysis of MSC-based System Models.	IEEE Real-Time and Embedded Technology and Applications Symposium	2008	DBLP DOI BibTeX RDF	Message Sequence Charts / Graphs, Schedulability analysis
16	Steffen Knapp	Pervasive Layered Verification of a Distributed Real-Time System.	ICONS	2008	DBLP DOI BibTeX RDF	verification, real-time, distributed, pervasive, time-triggered
16	Bo Zhang	Modeling and Analyzing of a Time-Triggered Protocol for Automotive Systems.	ICONS	2008	DBLP DOI BibTeX RDF
16	Ulrich Freund	Mulit-level system integration based on AUTOSAR.	ICSE	2008	DBLP DOI BibTeX RDF	rapid prototyping, embedded software, automotive, automatic code-generation
16	Carl Bergenhem, Johan Karlsson	A Process Health Status Service for Safety Related Systems Using TT/ET Communication Scheduling.	PRDC	2008	DBLP DOI BibTeX RDF
16	Bo Zhang	Formal Analysis of a Distributed Fault Tolerant Clock Synchronization Algorithm for Automotive Communication Systems.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
16	Sergio Saponara, Esa Petri, Marco Tonarelli, Iacopo Del Corona, Luca Fanucci	FPGA-based networking systems for high data-rate and reliable in-vehicle communications.	DATE	2007	DBLP DOI BibTeX RDF
16	Valério Rosset, Pedro F. Souto, Paulo Portugal, Francisco Vasques	A Reliability Evaluation of a Group Membership Protocol.	SAFECOMP	2007	DBLP DOI BibTeX RDF
16	Rolf Ernst, Gernot Spiegelberg, Thomas Weber 0002, Hermann Kopetz, Alberto L. Sangiovanni-Vincentelli, Marek Jersak	Automotive networks: are new busses and gateways the answer or just another challenge?	CODES+ISSS	2007	DBLP DOI BibTeX RDF	automotive networks
16	Julien Schmaltz	A Formal Model of Clock Domain Crossing and Automated Verification of Time-Triggered Hardware.	FMCAD	2007	DBLP DOI BibTeX RDF
16	Gianluca Cena, Adriano Valenzano	On the properties of the flexible time division multiple access technique.	IEEE Trans. Ind. Informatics	2006	DBLP DOI BibTeX RDF
16	Patrick Leteinturier	Automotive semi-conductor trend & challenges.	DATE	2006	DBLP DOI BibTeX RDF
16	G. Zarri, Federico Colucci, F. Dupuis, Riccardo Mariani, Mario Pasquariello, G. Risaliti, C. Tibaldi	On the verification of automotive protocols.	DATE Designers' Forum	2006	DBLP DOI BibTeX RDF
16	Steffen Knapp, Wolfgang J. Paul	Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification.	Program Analysis and Compilation	2006	DBLP DOI BibTeX RDF
16	Thomas M. Galla, Karin Anna Hummel, Burkhard Peer	Exploiting Mobile Agents for Structured Distributed Software-Implemented Fault Injection.	HICSS	2006	DBLP DOI BibTeX RDF
16	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
16	Susanna Byhlin, Andreas Ermedahl, Jan Gustafsson, Björn Lisper	Applying Static WCET Analysis to Automotive Communication Software.	ECRTS	2005	DBLP DOI BibTeX RDF
16	Harald Heinecke	Automotive System Design - Challenges and Potential.	DATE	2005	DBLP DOI BibTeX RDF
16	Sven Beyer, Peter Böhm, Michael Gerke 0002, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul	Towards the Formal Verification of Lower System Layers in Automotive Systems.	ICCD	2005	DBLP DOI BibTeX RDF
16	Nagarajan Kandasamy, John P. Hayes, Brian T. Murray	Dependable Communication Synthesis for Distributed Embedded Systems.	SAFECOMP	2003	DBLP DOI BibTeX RDF
16	Hermann Kopetz	Fault Containment and Error Detection in the Time-Triggered Architecture.	ISADS	2003	DBLP DOI BibTeX RDF
16	John M. Rushby	Bus Architectures for Safety-Critical Embedded Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF