Filters








29 Hits in 6.6 sec

Startup error detection and containment to improve the robustness of hybrid FlexRay networks

Alexander Kordes, Bart Vermeulen, Abhijit Deb, Michael G. Wahl
<span title="">2014</span> <i title="IEEE Conference Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qjrrvry5ubgdlarkymvlxuip6m" style="color: black;">Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), 2014</a> </i> &nbsp;
We focus on FlexRay IVNs that are used for safety-critical applications. We analyze and discuss faults that may affect the startup and operation of a FlexRay network.  ...  The research and development on in-vehicle networks (IVNs) is driven by two main requirements: bandwidth and robustness. In this paper we address the robustness requirement.  ...  Both BGs have to detect and handle the three startup failures described previously. We first summarize the options to detect and contain these failures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7873/date.2014.018">doi:10.7873/date.2014.018</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/date/KordesVDW14.html">dblp:conf/date/KordesVDW14</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mkjyrlsj4vdy7hcdde7pekxp6e">fatcat:mkjyrlsj4vdy7hcdde7pekxp6e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829144729/https://www.date-conference.com/files/proceedings/2014/pdffiles/02.3_2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/50/c2/50c29f97f72f8ed7f19cee18409dfde739da2a73.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7873/date.2014.018"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Startup error detection and containment to improve the robustness of hybrid FlexRay networks

Alexander Kordes, Bart Vermeulen, Abhijit Deb, Michael G. Wahl
<span title="">2014</span> <i title="IEEE Conference Publications"> Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE), 2014 </i> &nbsp; <span class="release-stage">unpublished</span>
We focus on FlexRay IVNs that are used for safety-critical applications. We analyze and discuss faults that may affect the startup and operation of a FlexRay network.  ...  The research and development on in-vehicle networks (IVNs) is driven by two main requirements: bandwidth and robustness. In this paper we address the robustness requirement.  ...  Both BGs have to detect and handle the three startup failures described previously. We first summarize the options to detect and contain these failures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7873/date2014.018">doi:10.7873/date2014.018</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3nkvnmz7wrgdrmz2jjctp2d64i">fatcat:3nkvnmz7wrgdrmz2jjctp2d64i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829144729/https://www.date-conference.com/files/proceedings/2014/pdffiles/02.3_2.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/50/c2/50c29f97f72f8ed7f19cee18409dfde739da2a73.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7873/date2014.018"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

An FSM-based monitoring technique to differentiate between follow-up and original errors in safety-critical distributed embedded systems

Yasser Sedaghat, Seyed Ghassem Miremadi
<span title="">2011</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/j4boqfodxvd6baghfcgla24jdy" style="color: black;">Microelectronics Journal</a> </i> &nbsp;
To evaluate the monitoring technique, a FlexRay-based network including 4 nodes was designed and implemented.  ...  Studies show that a transient fault in the communication controller of a network node can lead to errors in the fault site node (called original errors) and/or in the neighbor nodes (called follow-up errors  ...  Monireh Houshmand from Electrical Engineering Department of Ferdowsi University of Mashhad for her helpful comments and suggestions which have improved the paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.mejo.2011.04.003">doi:10.1016/j.mejo.2011.04.003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qt7ti4fdyvdezhcx54wiviptte">fatcat:qt7ti4fdyvdezhcx54wiviptte</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170705160907/https://profdoc.um.ac.ir/articles/a/1026816.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/a2/a5/a2a5c1bbc11a32e682c2590f3ed66118235a987f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.mejo.2011.04.003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Accelerating validation of time-triggered automotive systems on FPGAs

Shanker Shreejith, Suhaib A. Fahmy, Martin Lukaseiwycz
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xieukjvqkjdklkdacnla5pbyx4" style="color: black;">2013 International Conference on Field-Programmable Technology (FPT)</a> </i> &nbsp;
We present an implementation of this framework on the Xilinx ML605 evaluation board that integrates six FlexRay automotive functions to demonstrate the potential of the framework.  ...  By using the same communication infrastructure as in a real deployed system, this validation is closer to the requirements of standards compliance.  ...  ACKNOWLEDGMENT This work was supported by the Singapore National Research Foundation under its Campus for Research Excellence And Technological Enterprise (CREATE) programme.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fpt.2013.6718322">doi:10.1109/fpt.2013.6718322</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fpt/ShreejithFL13.html">dblp:conf/fpt/ShreejithFL13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kh6garfl5rbwzfwdyj7odyejz4">fatcat:kh6garfl5rbwzfwdyj7odyejz4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200322160051/https://warwick.ac.uk/fac/sci/eng/staff/saf/papers/fpt2013-shreejith.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/e4/63/e4632232e85f944888e5f554257a365270a79ac0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fpt.2013.6718322"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

In-Vehicle Communication Networks [chapter]

Nicolas Navet, Françoise Simonot-Lion
<span title="2014-08-19">2014</span> <i title="CRC Press"> Industrial Communication Technology Handbook, Second Edition </i> &nbsp;
The FlexRay frame consists of 3 parts : the header, the payload segment containing up to 254 bytes of data and the CRC of 24 bits.  ...  But the use of CAN in vehicles is evolving, in particular because of more complex and heterogeneous architectures with FlexRay or Ethernet networks, and because of recent needs like hybrid, electric propulsion  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/b17365-60">doi:10.1201/b17365-60</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/xzgermanardxzkvbvjzwla5neu">fatcat:xzgermanardxzkvbvjzwla5neu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200319072340/https://hal.inria.fr/hal-00876524/document" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/4b/804b40ccbfbf3859699047915202c1c9d6103338.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/b17365-60"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Time-Triggered Fieldbus Networks State of the Art and Future Applications

Wilfried Elmenreich
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/icax7kbgefdxhgco4lvborrsqe" style="color: black;">2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC)</a> </i> &nbsp;
The time-triggered paradigm encompasses a set of concepts and principles that support the design of dependable real-time systems.  ...  By using the properties of physical time and the mechanism of clock synchronization, coordinated interaction between distributed nodes can be facilitated.  ...  Acknowledgments I would like to thank my colleagues Michael Gyarmati and Michael Paulitsch for proofreading and comments on an earlier version of this paper.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isorc.2008.50">doi:10.1109/isorc.2008.50</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/isorc/Elmenreich08.html">dblp:conf/isorc/Elmenreich08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4q335tacyrbrhlf2i72yzp25q4">fatcat:4q335tacyrbrhlf2i72yzp25q4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808162944/http://wwwu.uni-klu.ac.at/welmenre/papers/elmenreich-2008-isorc-time-triggered_fieldbus_networks.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/80/2b/802bd4fd8ba54bf8a1afa89b95e75ca415b7aa5d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/isorc.2008.50"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Survey on the Current Security Landscape of Intelligent Transportation Systems

Ayyoub Lamssaggad, Nabil Benamar, Abdelhakim Senhaji Hafid, Mounira Msahli
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
They become part of a hyper-connected system -Intelligent Transportation Systems (ITS)-that has the potential to support multiple levels of autonomy and intelligence improving considerably the safety,  ...  Finally, this survey presents key challenges in the field, and discusses recent trends that must be factored in by researchers, implementers, and car manufactures to improve the security of ITS.  ...  ACKNOWLEDGMENT The authors would like to thank the editors and the anonymous reviewers for their valuable and enriching comments and suggestions to improve the content of this article.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3050038">doi:10.1109/access.2021.3050038</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wagonasxpbetxdlrhxzadnpkw4">fatcat:wagonasxpbetxdlrhxzadnpkw4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210429085003/https://ieeexplore.ieee.org/ielx7/6287639/9312710/09316663.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/ad/b7/adb758d58958172c3aedc3601f440e915d5935e0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3050038"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>

2020 Index IEEE Transactions on Vehicular Technology Vol. 69

<span title="">2020</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fmebo7gm4vhg7ljs3x2bbrazk4" style="color: black;">IEEE Transactions on Vehicular Technology</a> </i> &nbsp;
Revocable Data-Sharing Scheme in VANETs; TVT Dec. 2020 15933-15946 Hoseini, S.A., Ding, M., Hassan, M., and Chen, Y., Analyzing the Impact of Molecular Re-Radiation on the MIMO Capacity in High-Frequency  ...  + Check author entry for coauthors ami-mFading Channels With Integer and Non-Integerm; TVT March 2020 2785-2801 Hoang, T.M., Tran, X.N., Nguyen, B.C., and Dung, L.T., On the Performance of MIMO Full-Duplex  ...  Enhancing Misbehavior Detection in 5G Vehicle-to-Vehicle Communications. Nguyen, V., +, TVT Sept. 2020 9417-9430 Error Probability Analysis of NOMA-Based Diamond Relaying Network.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tvt.2021.3055470">doi:10.1109/tvt.2021.3055470</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/536l4pgnufhixneoa3a3dibdma">fatcat:536l4pgnufhixneoa3a3dibdma</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210430231933/https://ieeexplore.ieee.org/ielx7/25/9334471/09356494.pdf?tp=&amp;arnumber=9356494&amp;isnumber=9334471&amp;ref=" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tvt.2021.3055470"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Comprehensive Technological Survey on the Dependable Self-Management CPS: From Self-Adaptive Architecture to Self-Management Strategies

Peng Zhou, Decheng Zuo, Kun Hou, Zhan Zhang, Jian Dong, Jianjin Li, Haiying Zhou
<span title="2019-02-28">2019</span> <i title="MDPI AG"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/taedaf6aozg7vitz5dpgkojane" style="color: black;">Sensors</a> </i> &nbsp;
To avoid human errors and to simplify management, self-management CPS (SCPS) is a wise choice.  ...  This survey first recalls the concepts of dependability, and proposes a generic environment-in-loop processing flow of self-management CPS, and then analyzes the error sources and challenges of self-management  ...  of sensor (network) and (network) with subsystem redundancy and reconstruction (for RQ1); (3) integrating fault detection/diagnosis methods (i.e., FDIR) on sensor nodes and actuator nodes to block error  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s19051033">doi:10.3390/s19051033</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/v7z7lq2manbchd2nhfl7fs2bwy">fatcat:v7z7lq2manbchd2nhfl7fs2bwy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190503051832/https://res.mdpi.com/sensors/sensors-19-01033/article_deploy/sensors-19-01033.pdf?filename=&amp;attachment=1" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fd/1c/fd1cf8f6c71223de7854c91d68be6b150f2a242a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.3390/s19051033"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> mdpi.com </button> </a>

Time-Driven Access and Forwarding for Industrial Wireless Multihop Networks

M. Baldi, R. Giacomelli, G. Marchetto
<span title="">2009</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/lxfdtuyn4nhhtevm3datmysrpa" style="color: black;">IEEE Transactions on Industrial Informatics</a> </i> &nbsp;
The deployment of wireless technologies in industrial networks is very promising mainly due to their inherent flexibility.  ...  However, in multi-hop solutions the medium access time at each of the nodes traversed additively contributes to the end-to-end delay and the forwarding delay (i.e., the time required for packets to be  ...  In particular, Forward Error Correction (FEC) coding [20] can be added to packets so that the receiver can detect and correct errors due to interferences (if not too many), thus avoiding packet retransmission  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tii.2009.2017523">doi:10.1109/tii.2009.2017523</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yg6xtvxf6febfewnufnfsw4yui">fatcat:yg6xtvxf6febfewnufnfsw4yui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724050333/https://iris.polito.it/retrieve/handle/11583/2297859/52144/2009_ToII_TAF__draft.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/fb/24/fb24f3f2adf46a8e6575f221bcb488934c07c694.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/tii.2009.2017523"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

An Overview of the mCRL2 Toolset and Its Recent Advances [chapter]

Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink, Tim A. C. Willemse
<span title="">2013</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We highlight changes and improvements made to the toolset in recent years.  ...  On the other hand, considerable progress has been made regarding the performance of our tools for state space generation and model checking, due to improvements in symbolic reduction techniques and due  ...  The rich data language, and the modularity of the process language of mCRL2 allowed to specify the FlexRay protocol closely.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-36742-7_15">doi:10.1007/978-3-642-36742-7_15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2w5x77uqpnbsvefa4zs6wzraqq">fatcat:2w5x77uqpnbsvefa4zs6wzraqq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20131124095901/http://www.jeroenkeiren.nl:80/wp-content/uploads/2013/10/TACAS-2013-An-overview-of-the-mCRL2-toolset-and-its-recent-advances.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/98/09/9809718dc3b2e7b31f6d97dcb2876357b74ca510.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-36742-7_15"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata [article]

Michael Gerke, Universität Des Saarlandes
<span title="2021-03-11">2021</span>
Verifying such a complex model with model-checking led me to the development of data-structures and algorithms able to handle the associated complexity using only reasonable resources.  ...  In this thesis, I report on the verification of the resilience of the FlexRay automotive bus protocol's physical layer protocol against glitches during message transmission and drifting clocks.  ...  This work was partially supported by the German Research Foundation (DFG) as part of the Transregional Collaborative Research Center "Automatic Verification and Analysis of Complex Systems" (SFB/TR 14  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22028/d291-33312">doi:10.22028/d291-33312</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/of5lcfrlz5hhdirguw4ga4hgja">fatcat:of5lcfrlz5hhdirguw4ga4hgja</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210313235851/https://publikationen.sulb.uni-saarland.de/bitstream/20.500.11880/30860/1/GerkePhDThesis.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/11/e9/11e972fecf9cd923c784e45b52dfc5fdfe17df1d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.22028/d291-33312"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Requirements and concepts for future automotive electronic architectures from the view of integrated safety

Xi Chen
<span title="">2008</span>
The substitute of CAN-interfaces with FlexRay and to maintain a hybrid communication system of CAN and FlexRay will require additional effort, but it can be foreseen in the near future this effort will  ...  And TSIU should compare the number of the detected errors to the threshold and derivate error indication states of the tasks and send them to FMF.  ...  In order to keep an overview of the work in the scope the chapter, more details as to software implementation, simulation modes can be found the appropriate references and EASIS deliverables.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ksp/1000007763">doi:10.5445/ksp/1000007763</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nxxw3ydknzcnnf4cl2wmcq5pjm">fatcat:nxxw3ydknzcnnf4cl2wmcq5pjm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200222194830/https://publikationen.bibliothek.kit.edu/1000007763/227333" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/8f/15/8f157bbe1e2e8b51fe06b74daede4dab9c3570b1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5445/ksp/1000007763"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Alternative Power Systems and Devices [chapter]

<span title="2017-12-19">2017</span> <i title="CRC Press"> Systems, Controls, Embedded Systems, Energy, and Machines </i> &nbsp;
Reasonable efforts have been made to publish reliable data and information, but the author and the publisher cannot assume responsibility for the validity of all materials or for the consequences of their  ...  International Standard Book Number-10: 0-8493-7347-6 (Hardcover) International Standard Book Number-13: 978-0-8493-7347-3 (Hardcover) Library of Congress Card Number 2005054347 This book contains information  ...  This improvement appears as reduced errors at low frequencies, improved rejection of low-frequency disturbances, and reduced sensitivity to plant 2.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781420037043-7">doi:10.1201/9781420037043-7</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/px3rpk2xgvhtbjwr7s3h3k6ute">fatcat:px3rpk2xgvhtbjwr7s3h3k6ute</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201228204107/https://s3-euw1-ap-pe-ws4-capi2-distribution-p.s3-eu-west-1.amazonaws.com/books/9781315220666/HUBPMP/9781315220666_googleScholarPDF.pdf?response-content-disposition=attachment%3B%20filename%3D%229781315220666_googlepreview.pdf%22&amp;response-content-type=application%2Fpdf&amp;x-amz-security-token=IQoJb3JpZ2luX2VjEJT%2F%2F%2F%2F%2F%2F%2F%2F%2F%2FwEaCWV1LXdlc3QtMSJHMEUCIDv3SlvmGlPNngqCMG5WIVpOu8b62KaMrmY%2FMHBfdzK%2BAiEAkDCismG3xqH6QKNak5c%2BW9FzwVECNUeyZxe36VJXtQIqtAMITRACGgwwMTIxNzcyNjQ1MTEiDJFb0tXBGsLapmemCSqRAyUSo9tphBzUdxACZQ1kJspJGaiyxYVB3VK1Pvw1VGmHtYjgAEEjQM%2B568OIWOq%2BI80%2BzWRjZ8mYR0rgJYFbtb8C4Kj%2B0VvVDFQwmYsr80auqAKu51PntAwoJAms1nBx0UA%2FoAIJPXfrF75sCcpqVyUUFug1xgVvJnzw%2FDtS1gz3etn1nqlgxbeJGqj5zYBZn2aSiSOBR3f%2FNBNUTzXB2GqNgDbgkAM%2FXkkVMO9ZBqhp4t%2BkuHiltr988P4ow3iKpqaViWGyf3wwD%2Bo8NMwBpcJSfCoTDAFwZ29p4NCCILKYwDB%2FRQRHYPdIvyKJLZ62ukvAVDdCZHNLXCj1%2FG%2FGaNJTbRUdsULE06ne6eIqFeE6Zx9WDer%2BozQ%2FMT6c9uDHXX6wqyPsBRPk0d1tUqdpxzGHfbttLpDaDSv91AvhbTNbx2f9ZM3Jd5t0XcOyeRwGNm4hWdh5tBLiVRKoRh0TFAUxHAg1I2Hc6thnQLVr2VDI1UHxDVdpvg%2BOFqg6CxiqKAsYY8OnrYU1V97YeNgTFlIUMJHhqP8FOusB5%2BD8OvHfQUKNo2cgsd43ABBRgWWM%2BomaHTsf2ioRZB0O3oUttGnYYXZSCB%2FiK3yqtNtnxMAd6I8TzinElNX0uKrLLok823Ahc0fK0PfxwLfeNPKp9Qhq3%2FxsN8JNivyR5ThQruU5UVWMA9L%2FRwAPhVwJ4nKhyXR69ZFrDZZY90CKEBrpwX0KDaSkCCh1WQWtrtQbc%2BI%2Fyp3GshDEArH4dh7hklmVXSGDQByUtyQTujvuyr8QshpVxbfmG%2BSTHort10WS0MeVVrQfVarW8Hg61AQ7AHHY9PQ9KtDhjY18lVVCs9GGiuSk8GE0Hw%3D%3D&amp;AWSAccessKeyId=ASIAQFVOSJ57YXAPGR4X&amp;Expires=1609792866&amp;Signature=aLKYaO%2FVaUjJ3segl64ceg8knVA%3D" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/eb/be/ebbe82111274bd14ee3abd21ba8c076177268069.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781420037043-7"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Fault injection framework for time-triggered systems

Daniel Onwuchekwa, Universitätsbibliothek Siegen
<span title="">2020</span>
This work also describes a technique that can be used for failure detection in time-triggered networks during the synchronisation startup before the establishment of global time.  ...  Due to the complexity of time-triggered network protocols, design engineers mostly employ formal methods and simulations as the verification and validation techniques.  ...  Fault injection thereby provides the platform for assessing fault containment, testing error handling and tolerance of a system and assessing solutions to improve dependability.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25819/ubsi/5828">doi:10.25819/ubsi/5828</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bcy43xmfjrdchbafuybdyvyscu">fatcat:bcy43xmfjrdchbafuybdyvyscu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201024233836/https://dspace.ub.uni-siegen.de/bitstream/ubsi/1727/3/Dissertation_Daniel_Lucky_Onwuchekwa.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/7f/95/7f951cda1955dcc3ca4ca8a6c6696140d88ad51e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.25819/ubsi/5828"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 29 results