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