Filters








814 Hits in 8.0 sec

Applying Restricted English Grammar on Automotive Requirements—Does it Work? A Case Study [chapter]

Amalinda Post, Igor Menzel, Andreas Podelski
<span title="">2011</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;
[Contribution] The case study strongly indicates that the grammar, extended with 3 further patterns, is suited to specify automotive behavioral requirements of BOSCH.  ...  [Principal ideas/results] We did a case study over 289 informal behavioral requirements taken from the automotive context.  ...  Thus, it seems that in practice some few patterns suffice to express automotive behavioral requirements of BOSCH.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-19858-8_17">doi:10.1007/978-3-642-19858-8_17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/nl3eopomhjci3icejj7e4gsh2m">fatcat:nl3eopomhjci3icejj7e4gsh2m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120124170924/http://swt.informatik.uni-freiburg.de/staff/oertel/main.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/38/8e/388ef451eb115b21b69c16a2dc16ce9914876a05.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-19858-8_17"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Continuous experimentation and the cyber-physical systems challenge: An overview of the literature and the industrial perspective

Federico Giaimo, Hugo Andrade, Christian Berger
<span title="">2020</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kqzhqyka2ffqdlbon77fd6trwm" style="color: black;">Journal of Systems and Software</a> </i> &nbsp;
systems and the automotive industry.  ...  Method: A systematic literature review has been conducted to investigate the link between the practice and the field of application. Additionally, an industrial multiple case study is reported.  ...  Acknowledgments The authors wish to thank the colleague Yue Kang for his help during the current multiple case study, the colleague Hang Yin for his support during the previously reported multiple case  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2020.110781">doi:10.1016/j.jss.2020.110781</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/gwkjknsnsjfrbiymxeoxlqu5iu">fatcat:gwkjknsnsjfrbiymxeoxlqu5iu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210715044542/https://research.chalmers.se/publication/521327/file/521327_Fulltext.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/7a/0e/7a0ed7317b28ea4ed1f2672d0e44827014e23696.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2020.110781"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Continuous Experimentation and the Cyber-Physical Systems challenge: An overview of the literature and the industrial perspective [article]

Federico Giaimo, Hugo Andrade, Christian Berger
<span title="2020-07-20">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
systems and the automotive industry.  ...  Method: A systematic literature review has been conducted to investigate the link between the practice and the field of application. Additionally, an industrial multiple case study is reported.  ...  Acknowledgements The authors wish to thank the colleague Yue Kang for his help during the current multiple case study, the colleague Hang Yin for his support during the previously reported multiple case  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2003.03804v2">arXiv:2003.03804v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zknhk7hvfzcdvjpjy36s4vchpi">fatcat:zknhk7hvfzcdvjpjy36s4vchpi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200929113121/https://arxiv.org/pdf/2003.03804v2.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/44/8d/448d06a5ddc33d48e0e9215af028a31969c6094e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2003.03804v2" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Formalization and Analysis of Real-Time Requirements: A Feasibility Study at BOSCH [chapter]

Amalinda Post, Jochen Hoenicke
<span title="">2012</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 report on a feasibility study in the context of several automotive projects at Bosch.  ...  In this paper, we evaluate a tool chain to algorithmically analyze real-time requirements. According to this tool chain, one formalizes the requirements in a natural-language pattern system.  ...  This paper presents such a study, for a special case of behavioral requirements, namely real-time requirements, in the context of several automotive projects at Bosch.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-27705-4_18">doi:10.1007/978-3-642-27705-4_18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/udsxooqdcfcf5mn63uvnr23vui">fatcat:udsxooqdcfcf5mn63uvnr23vui</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160729021548/https://jochen-hoenicke.de/docs/ph12-vstte.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/5d/33/5d335e61ad5a4266805ae4bb871527a22e6e3246.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-27705-4_18"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Towards Automotive Embedded Systems with Self-X Properties [chapter]

Gereon Weiss, Marc Zeller, Dirk Eilers
<span title="2011-01-08">2011</span> <i title="InTech"> New Trends and Developments in Automotive System Engineering </i> &nbsp;
We have briefly introduced our approach for the validation of self-x properties in adaptive automotive systems at different design stages on the basis of a case study.  ...  This is due to the use of error patterns to identify specific errors in most monitoring mechanisms. Errors which do not match the predefined patterns are not detected.  ...  New Trends and Developments in Automotive System Engineering In the last few years the automobile design process is required to become more responsible and responsibly related to environmental needs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/13559">doi:10.5772/13559</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/phv57zhv4zbvhpxklavgiqatfy">fatcat:phv57zhv4zbvhpxklavgiqatfy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190502055556/https://cdn.intechopen.com/pdfs/13364.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/90/a1/90a108ff65b1363543e322fb4e7e2a3e18d5a212.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5772/13559"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Special Issue on Industrial Communication Systems

R. Zurawski
<span title="">2005</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yfvtieuumfamvmjlc255uckdlm" style="color: black;">Proceedings of the IEEE</a> </i> &nbsp;
The guest editor wishes to express his gratitude to the reviewers who volunteered a great deal of their time to provide feedback to the authors.  ...  This material is illustrated by using a PROFIBUS-based case study.  ...  The last major part of the paper has a focus on the software middleware layer for automotive applications. It presents a rationale for this layer and discusses specific requirements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jproc.2005.849727">doi:10.1109/jproc.2005.849727</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/k7fy6qijfndc3mjxsbyuywpp3e">fatcat:k7fy6qijfndc3mjxsbyuywpp3e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724090912/https://ieeexplore.ieee.org/ielx5/5/30937/01435739.pdf?tp=&amp;arnumber=1435739&amp;isnumber=30937" 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/86/2a/862a0a3e826fdf168c6aa9cc7cbe3b4ce75c3318.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jproc.2005.849727"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Specification Formalisms for Modern Cyber-Physical Systems (Dagstuhl Seminar 19071)

Jyotirmoy V. Deshmukh, Oded Maler, Dejan Nickovic, Michael Wagner
<span title="2019-07-16">2019</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
Specifications play a major role in evaluating behaviors of modern cyber-physical systems (CPS).  ...  This report documents the program and the outcomes of Dagstuhl Seminar 19071 "Specification Formalisms for Modern Cyber-Physical Systems."  ...  Can spatio-temporal behavioral patterns be considered as requirements?  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.9.2.48">doi:10.4230/dagrep.9.2.48</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/DeshmukhMN19.html">dblp:journals/dagstuhl-reports/DeshmukhMN19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qs52xpqxbzh6vajciydqb3ujgi">fatcat:qs52xpqxbzh6vajciydqb3ujgi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220123034413/https://drops.dagstuhl.de/opus/volltexte/2019/10858/pdf/dagrep_v009_i002_p048_19071.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/43/d0/43d0a7066ec09f950ad216379b4a38733304770b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.9.2.48"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Introduction to the REFSQ 2011 special issue

Daniel M. Berry, Xavier Franch
<span title="2012-02-05">2012</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ksueo6d4evgydaetaqy5yhvtfq" style="color: black;">Requirements Engineering</a> </i> &nbsp;
''Automotive Behavioral Requirements expressed in a Specification Pattern System-A Case Study at Bosch'' by Amalinda Post, Igor Menzel, Jochen Hoenicke, and Andreas Podelski describes a study to examine  ...  over 289 requirements for automotive systems at Bosch Corporation for the purpose of determining if the requirements are adequately expressible in Konrad and Cheng's SPS (Specification Pattern System)  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00766-012-0147-2">doi:10.1007/s00766-012-0147-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u7kyvw64szbirhrvsyb6jme3ii">fatcat:u7kyvw64szbirhrvsyb6jme3ii</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180728175358/https://link.springer.com/content/pdf/10.1007%2Fs00766-012-0147-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/d4/15/d4150214f71d3e99f0c168141a133620be2c8766.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00766-012-0147-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons, Michael Wagner
<span title="2018-07-23">2018</span> <i title="Schloss Dagstuhl Leibniz-Zentrum für Informatik GmbH"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/u2phfyhrhje7xnnubtp3vfklcu" style="color: black;">Dagstuhl Reports</a> </i> &nbsp;
The main purpose was to promote a closer interaction between the subcommunities involved in the application of LET to multicore systems, with a particular emphasis on the automotive domain.  ...  realtime programming paradigm, has gained traction recently in the automotive industry with the shift to multicore architectures.  ...  In a classic LET-based specification, the LET interval of an individual task (or function) was mainly driven by physical requirements (expressed in the period) and inevitably by properties of the hardware  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.2.122">doi:10.4230/dagrep.8.2.122</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/journals/dagstuhl-reports/ErnstKQS18.html">dblp:journals/dagstuhl-reports/ErnstKQS18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/6k7z4uyijrhuxceulih3jeiqoa">fatcat:6k7z4uyijrhuxceulih3jeiqoa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200321225658/https://hal.inria.fr/hal-01956964/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/2b/ea/2bead58df0289fa2ac292f8c4bc4f640326a5e4c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/dagrep.8.2.122"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Trends in Automotive Communication Systems

N. Navet, Y. Song, F. Simonot-Lion, C. Wilwert
<span title="">2005</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yfvtieuumfamvmjlc255uckdlm" style="color: black;">Proceedings of the IEEE</a> </i> &nbsp;
OPEN ISSUES FOR AUTOMOTIVE COMMUNICATION SYSTEMS A.  ...  As the frame scheduling is statically defined, the temporal behavior is fully predictable; thus, it is easy to check whether the timing constraints expressed on data exchanges are met.  ...  Cédric Wilwert received the Ph.D. degree in Computer Science at the LORIA Laboratory (Nancy, France) in 2005 for work on the dependability of x-by-wire automotive applications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jproc.2005.849725">doi:10.1109/jproc.2005.849725</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/pj36kc3vabgt5pdpc4byx5slye">fatcat:pj36kc3vabgt5pdpc4byx5slye</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20091216152444/http://isa.uniovi.es/~sirgo/doctorado/comunicaciones_en_automoviles.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/6a/a1/6aa12ca2bdfa18a8eac0c882b10d5c676efa05f7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jproc.2005.849725"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Trends in Automotive Communication Systems [chapter]

Nicolas Navet, Françoise Simonot-Lion
<span title="2009-06-25">2009</span> <i title="CRC Press"> Industrial Information Technology </i> &nbsp;
OPEN ISSUES FOR AUTOMOTIVE COMMUNICATION SYSTEMS A.  ...  As the frame scheduling is statically defined, the temporal behavior is fully predictable; thus, it is easy to check whether the timing constraints expressed on data exchanges are met.  ...  Cédric Wilwert received the Ph.D. degree in Computer Science at the LORIA Laboratory (Nancy, France) in 2005 for work on the dependability of x-by-wire automotive applications.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781439807620.ch13">doi:10.1201/9781439807620.ch13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mqynmemz7nfp3fcj5t4lqiew7u">fatcat:mqynmemz7nfp3fcj5t4lqiew7u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20091216152444/http://isa.uniovi.es/~sirgo/doctorado/comunicaciones_en_automoviles.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/6a/a1/6aa12ca2bdfa18a8eac0c882b10d5c676efa05f7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781439807620.ch13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Multi-Level Message Sequence Charts to Validate the Collaborative Automotive Cyber-Physical Systems

Marian Daun, Bastian Tenbergen, Jennifer Brings, Patricia Aluko Obe
<span title="">2021</span> <i title="Atlantis Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/x4hf4wpxmfeapelam3ebqykihq" style="color: black;">Journal of Automotive Software Engineering</a> </i> &nbsp;
A key focus of manufacturers and suppliers in the automotive domain is of course to specify systems that implement this reality.  ...  automotive Cyber-Physical System.  ...  ., selecting the speed at which to move the vehicle), but require the specification of behavior in collaboration with external systems (e.g., to navigate at a common velocity given other cars in the vicinity  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2991/jase.d.210710.001">doi:10.2991/jase.d.210710.001</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/g2g74g7irbh5pbbmwp6opn3vvq">fatcat:g2g74g7irbh5pbbmwp6opn3vvq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210721194010/https://www.atlantis-press.com/article/125958586.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/e0/8e/e08e6cca6908d7c955e4870bda5927fbaeb94ce4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2991/jase.d.210710.001"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Evolving Critical Systems

Mike Hinchey, Lorcan Coyle
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/okxd7mlvqvf7nhme7j7uxozfqm" style="color: black;">2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems</a> </i> &nbsp;
Acknowledgments This special issue resulted from a workshop held in Schloss Dagstuhl, Germany, in December 2009.  ...  This work was supported in part by Science Foundation Ireland grant 03/CE2/I303_1 to Lero-the Irish Software Engineering Research Centre (www.lero.ie).  ...  requirements or specifications, or in the system itself.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ecbs.2010.62">doi:10.1109/ecbs.2010.62</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ecbs/HincheyC10.html">dblp:conf/ecbs/HincheyC10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/66zficpxqrbgldqt2igog67ade">fatcat:66zficpxqrbgldqt2igog67ade</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160810065123/http://lorcancoyle.org/pdf/2011/Hinchey2011ECS.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/f3/61/f3619dff507ad08f78c8d1601f07b96cadf0cf5d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ecbs.2010.62"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Brake Maneuver Prediction – An Inference Leveraging RNN Focus on Sensor Confidence

Shu Liu, Kevin Koch, Bernhard Gahr, Felix Wortmann
<span title="">2019</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/cfmch5qrm5ckxpkho4uhbkgznm" style="color: black;">2019 IEEE Intelligent Transportation Systems Conference (ITSC)</a> </i> &nbsp;
In recent years, driver behavior analysis has led to countless driver assistance systems.  ...  In these systems, earlier detection of a driver's maneuver intentions offers opportunities to improve driving experience and safety.  ...  ACKNOWLEDGMENT This work was supported by the Bosch IoT Lab, a collaboration of Bosch, ETH Zurich and the University of St. Gallen, Switzerland.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/itsc.2019.8917405">doi:10.1109/itsc.2019.8917405</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/itsc/LiuKGW19.html">dblp:conf/itsc/LiuKGW19</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/npb6yb3odnhczhzwoabhtbixv4">fatcat:npb6yb3odnhczhzwoabhtbixv4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200506194226/https://www.alexandria.unisg.ch/259256/2/Brake%20Maneuver%20Prediction%E2%80%93An%20Inference%20Leveraging%20RNN%20Focus%20on%20Sensor%20Confidence.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/81/07/81071677416b194f8bf97e6481b4786d128aa33a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/itsc.2019.8917405"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Taxonomy to Unify Fault Tolerance Regimes for Automotive Systems: Defining Fail-Operational, Fail-Degraded, and Fail-Safe [article]

Torben Stolte, Stefan Ackermann, Robert Graubohm, Inga Jatzkowski, Björn Klamann, Hermann Winner, Markus Maurer
<span title="2021-09-24">2021</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
This paper presents a taxonomy that allows defining the fault tolerance regimes fail-operational, fail-degraded, and fail-safe in the context of automotive systems.  ...  For verification, we show by means of two examples from the automotive domain that the taxonomy can be applied to hierarchical systems of different complexity.  ...  the system’s state, i.e., what is perceivable at the system’s interfaces to the behavior in the presence of a specific fault combination. environment.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.11042v3">arXiv:2106.11042v3</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kbsmdyjdbzcbrhqpqg74tcyhaq">fatcat:kbsmdyjdbzcbrhqpqg74tcyhaq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20211127061244/https://arxiv.org/pdf/2106.11042v3.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/d9/54/d9549184d4704b3682469d3b53d6254e9303785b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2106.11042v3" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 814 results