Filters








24,489 Hits in 5.8 sec

Model-Based Debugging of Embedded Software Systems [chapter]

Padma Iyenghar, Elke Pulvermueller, Clemens Westerkamp, Juergen Wuebbelmann, Michael Uelschen
<span title="">2017</span> <i title="Springer New York"> Embedded Software Verification and Debugging </i> &nbsp;
In line with the MDD, debugging Real-Time Embedded Software Systems (RTESS) and visualizing their behavior using models such as UML diagrams is becoming a reality.  ...  Using our approach, the target behavior can be visualized in real-time using UML sequence and timing diagrams. We illustrate our approach with a prototype and examples.  ...  ACKNOWLEDGMENT This work was supported by a grant from BMWi-ZIM, DAAD and industrial partner Willert Software Tools GmbH.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4614-2266-2_5">doi:10.1007/978-1-4614-2266-2_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/jfxzmckx3zfrlc6f7g55kf75em">fatcat:jfxzmckx3zfrlc6f7g55kf75em</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706040229/http://pi.informatik.uni-siegen.de/stt/31_3/01_Fachgruppenberichte/ada/3-Iyenghar-MB-Debugging.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/88/69/88697e1dea96178e89e0694cae6928ea3cbbfc80.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-1-4614-2266-2_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Programming MPSoC platforms: Road works ahead!

R. Leupers, A. Vajda, M. Bekooij, Soonhoi Ha, R. Domer, A. Nohl
<span title="">2009</span> <i title="IEEE"> 2009 Design, Automation &amp; Test in Europe Conference &amp; Exhibition </i> &nbsp;
Even more important from a SW developer´s viewpoint, at the same time the classical sequential von Neumann programming model needs to be overcome.  ...  This paper summarizes a special session on multicore/multi-processor system-on-chip (MPSoC) programming challenges.  ...  In addition, especially for the purpose of real-time systems, a predictable approach shall be designed, that can meet application dead-line requirements.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2009.5090917">doi:10.1109/date.2009.5090917</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dz4ubgggofc3dnfqlnyknucgsa">fatcat:dz4ubgggofc3dnfqlnyknucgsa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180719075114/https://ris.utwente.nl/ws/files/5461271/getPDF.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/f5/9d/f59d053e3f52c4f0a7f8c844ca13d5c67bc6e272.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2009.5090917"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces [chapter]

Fernando Pereira, Luis Gomes, Filipe Moutinho
<span title="">2011</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/kss7mrolvja63k4rmix3iynkzi" style="color: black;">IFIP Advances in Information and Communication Technology</a> </i> &nbsp;
This paper presents an innovative tool to automatically generate debug, diagnostic and monitoring graphical interfaces to be integrated in embedded systems designed using Petri net based controllers.  ...  To demonstrate the validity of the tools proposed, the paper presents an application example for a Car Parking controller, including results on a working prototype.  ...  On the opposite, the new debug and diagnostic interfaces provide an intuitive animated graphical user interface, displaying the state of the system in real time as a Petri net model, which is the underlying  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-19170-1_27">doi:10.1007/978-3-642-19170-1_27</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ghkvfrrfhzd45p2e6mjkkpw424">fatcat:ghkvfrrfhzd45p2e6mjkkpw424</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180726184052/https://link.springer.com/content/pdf/10.1007%2F978-3-642-19170-1_27.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/13/3a/133a42b063a6ef7cda0c529fa38302ead6a11cf2.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-19170-1_27"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Trace Management, Debug, Analysis and Testing Tool for Embedded Systems
english

Bhagyalakshmi C, Pushpa S Tembad
<span title="2015-05-30">2015</span> <i title="Ess &amp; Ess Research Publications"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vzhjis6iijfe5gwwloxj4ecjr4" style="color: black;">International Journal of Innovative Research in Computer and Communication Engineering</a> </i> &nbsp;
In this we present solution for trace management, debug, analysis and testing of embedded systems during development and testing phase.  ...  This approach tends to associate a format with a specific debugging framework. This prevents analysts from using external tools and does not help the diffusion of the techniques they implement.  ...  In addition, stepping through the program is time consuming or programmers and is simply not an option for debugging real-time embedded systems, where setting a break point may be impossible or harmful  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15680/ijircce.2015.0305050">doi:10.15680/ijircce.2015.0305050</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/24mmfpdkvzd5veggq5fryf5g2m">fatcat:24mmfpdkvzd5veggq5fryf5g2m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160819135731/http://www.rroij.com/open-access/trace-management-debug-analysis-andtesting-tool-for-embedded-systems.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/bb/08/bb0830011ccce6a435c30aab3b854f2e09fdb149.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.15680/ijircce.2015.0305050"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Graphical Model Debugger Framework for embedded systems

Kebin Zeng, Yu Guo, Christo K Angelov
<span title="">2010</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qjrrvry5ubgdlarkymvlxuip6m" style="color: black;">2010 Design, Automation &amp; Test in Europe Conference &amp; Exhibition (DATE 2010)</a> </i> &nbsp;
In real-time embedded applications, model-level animation (e.g. a state transition in a state machine model) might occur in milliseconds.  ...  COMDES is a component-based framework for distributed control systems, featuring open architecture and predictable operation under hard real-time constraints [3] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2010.5457232">doi:10.1109/date.2010.5457232</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/date/ZengGA10.html">dblp:conf/date/ZengGA10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3qtzkir6n5h4xldarls3l4chhi">fatcat:3qtzkir6n5h4xldarls3l4chhi</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200507211010/https://findresearcher.sdu.dk:8443/ws/files/6237/02.6_3_0526_Graphical_Model_Debugger_Framework_for_Embedded.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/ed/5a/ed5a0295977d33a4cbc5c42b3d9a78c1ecd7dcb3.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2010.5457232"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Microprocessor and FPGA interfaces for in-system co-debugging in field programmable hybrid systems

M.A. Aguirre, J.N. Tombs, V. Baena-Lecuyer, J.L. Mora, J.M. Carrasco, A. Torralba, L.G. Franquelo
<span title="">2005</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/brvj2ugukfgvhevdy5lwzvdy6m" style="color: black;">Microprocessors and microsystems</a> </i> &nbsp;
This article discusses different architectural strategies that have been adopted for a hybrid hardware-software platform, built ready for debug, and that uses components that can be easily found with a  ...  New trends in technology require efficient control and processing platforms based on connected software-hardware subsystems.  ...  It is important to realise that UNSHADES-2 platform allowed the debugging of SLESS in real-time, and in a environment very close to its real application.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.micpro.2004.06.009">doi:10.1016/j.micpro.2004.06.009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/t76jrjf2vjh2zn2s365oqkysti">fatcat:t76jrjf2vjh2zn2s365oqkysti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170812160209/https://idus.us.es/xmlui/bitstream/handle/11441/24766/Microprocessor%20and%20FPGA%20interfaces%20for%20in-system%20co-debugging.pdf?sequence=4" 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/a0/27/a0270f798d7ae98e8e269a2a4bfa960d2aa0edec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.micpro.2004.06.009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Model-level, platform-independent debugging in the context of the model-driven development of real-time systems

Mojtaba Bagherzadeh, Nicolas Hili, Juergen Dingel
<span title="">2017</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dj7g645z6zfl5lut4iwy5walyu" style="color: black;">Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017</a> </i> &nbsp;
In this paper, we focus on the use of MDD for the development of real-time embedded systems (RTE). We introduce a new platform-independent approach to implement model-level debuggers.  ...  Model-Level, Platform-Independent Debugging in the Context of the Model-Driven Development of Real-Time Systems.  ...  UML for Real-Time UML for Real-Time (UML-RT) [34, 40] is a language specifically designed for RTE systems with soft real-time constraints.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3106237.3106278">doi:10.1145/3106237.3106278</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/sigsoft/BagherzadehHD17.html">dblp:conf/sigsoft/BagherzadehHD17</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dnjgphnsg5gq5hwporxlniwepa">fatcat:dnjgphnsg5gq5hwporxlniwepa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190218135649/https://static.aminer.org/pdf/20170130/pdfs/sigsoft/ab7bxokdrfztpcvhs6inmjgqn1yse3df.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/b9/64/b9648b62cd17bf56da6de54133e38cccc4ebc8cc.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3106237.3106278"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Data mining approach to temporal debugging of embedded streaming applications

Oleg Iegorov, Vincent Leroy, Alexandre Termier, Jean-Francois Mehaut, Miguel Santana
<span title="">2015</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2n36vommjbafnkaccvl2qvetye" style="color: black;">2015 International Conference on Embedded Software (EMSOFT)</a> </i> &nbsp;
It has been shown that in order to meet real-time constraints the actors should be scheduled in a periodic manner.  ...  One of the greatest challenges in the embedded systems area is to empower software developers with tools that speed up the debugging of QoS properties in applications.  ...  In contrast to simulator-based debugging, we benefit from the low-intrusive trace recording solutions available in modern embedded systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/emsoft.2015.7318272">doi:10.1109/emsoft.2015.7318272</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/emsoft/IegorovLTMS15.html">dblp:conf/emsoft/IegorovLTMS15</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/zslg7i4yy5h43fjx3vibxg57xy">fatcat:zslg7i4yy5h43fjx3vibxg57xy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170927111734/https://hal.archives-ouvertes.fr/hal-01178782/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/53/a2/53a2ba2b944704678da1faa08eded356ab0cf44d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/emsoft.2015.7318272"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

S2B2: Blackboard for Transparent Data and Control Access in Heterogeneous Sensing Systems

Michael Beigl, Monty Beuster, Daniel Rohr, Till Riedel, Christian Decker, Albert Krohn
<span title="">2007</span> <i title="IEEE"> 2007 Fourth International Conference on Networked Sensing Systems </i> &nbsp;
This allows rapid prototyping of functionality and simplifies real-time testing and debugging. The S2B2 provides the basis for integration of PC based and sensor node based applications.  ...  First results show that the system shortens programming time by at least 30%. Keywords: ubiquitous and pervasive computing, networked embedded sensor systems, middleware I.  ...  The drawback of such approaches is that real-world problems may not be appropriately transferable to a simulation model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/inss.2007.4297405">doi:10.1109/inss.2007.4297405</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ndhpztyalre23ggje3desbedfa">fatcat:ndhpztyalre23ggje3desbedfa</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809004611/https://www.ibr.cs.tu-bs.de/users/beigl/publication/INSS-07_S2B2.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/d3/bd/d3bd56cadfec7baf36ed3b65a53b2469cc8b260b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/inss.2007.4297405"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Trace and debug port based watchdog processor

Balazs Scherer, Gabor Horvath
<span title="">2012</span> <i title="IEEE"> 2012 IEEE International Instrumentation and Measurement Technology Conference Proceedings </i> &nbsp;
The approach presented is using the debug and trace hardware blocks (present in nearly every 32-bit microcontrollers introduced into the market in the last 5 years) to see inside the guarded system and  ...  This paper presents our novel idea of trace and debug port based watchdog processor that increase the safety for systems designed with traditional microcontrollers or with modern dual core safe ones.  ...  The failure model of embedded real-time software can be divided into sequential and multitasking real-time behaviour based failures.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/i2mtc.2012.6229331">doi:10.1109/i2mtc.2012.6229331</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/qiygejskg5elra6xk5iszn4eiu">fatcat:qiygejskg5elra6xk5iszn4eiu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809134224/http://home.mit.bme.hu/~kollar/papers/Scherer-Graz.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/79/75/7975df180e7f9bba2843b32528873c1791890782.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/i2mtc.2012.6229331"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

FPGA based CPU instrumentation for hard real-time embedded system testing

Richard Fryer
<span title="2005-04-01">2005</span> <i title="Association for Computing Machinery (ACM)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/e3qxnejsjzgfrhya3hp4trywmm" style="color: black;">ACM SIGBED Review</a> </i> &nbsp;
Particular emphasis areas of high performance, embedded and real-time computing are reviewed in terms of software and hardware measurements and approaches representing active research directions.  ...  A novel approach is described that may be readily used with recent advances in Field Programmable Gate Array technology using embedded processors.  ...  Finally, the approach described can become a resource for use in the SIMPLEX approach [12] to graceful evolution of systems, a technique being integrated into Real-Time systems due to the extensive test  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1121788.1121800">doi:10.1145/1121788.1121800</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/vlggkvzan5ghdjjsld7k54sfd4">fatcat:vlggkvzan5ghdjjsld7k54sfd4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20051124090203/http://www.cs.virginia.edu:80/sigbed/archives/2005-04/wip10.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/df/a5/dfa5617a658e10db8c860fa9b83c8178276844d1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1121788.1121800"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Simulation-based HW/SW co-debugging for field-programmable systems-on-chip

Ruediger Willenberg, Paul Chow
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/plojvu5mhreuxnue5ey7fivkbi" style="color: black;">2013 23rd International Conference on Field programmable Logic and Applications</a> </i> &nbsp;
SimXMD connects a GNU debugger instance to a full-system simulation of an embedded FPGA system.  ...  We are presenting SimXMD (Simulation-based eXperimental Microprocessor Debugger), a tool that allows developers to debug microcontroller code and custom hardware simultaneously.  ...  Acknowledgment We thank Xilinx, CMC Microsystems, Embedded Systems Canada (emSYSCAN) and NSERC for supporting our research.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fpl.2013.6645542">doi:10.1109/fpl.2013.6645542</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fpl/WillenbergC13.html">dblp:conf/fpl/WillenbergC13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uwptubuia5bafneowghochz5hq">fatcat:uwptubuia5bafneowghochz5hq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829221109/http://www.eecg.toronto.edu/~willenbe/publications/FPL2013_fullpaper_RWillenberg.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/08/d9082daa461cf50e8e805ac5506f21481823dd0d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/fpl.2013.6645542"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Understanding and Fixing Complex Faults in Embedded Cyberphysical Systems

Alexander Weiss, Smitha Gautham, Athira Varma Jayakumar, Carl R. Elks, D. Richard Kuhn, Raghu N. Kacker, Thomas B. Preusser
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dsrvu6bllzai7oj3hktnc5yf4q" style="color: black;">Computer</a> </i> &nbsp;
Dealing with complex faults, particularly in the challenging area of embedded systems, craves for more powerful tools, which are now becoming available to engineers.  ...  Understanding fault types can lead to novel approaches to debugging and runtime verification.  ...  Real-time embedded systems need to be verified both in the temporal domain and value domain.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mc.2020.3029975">doi:10.1109/mc.2020.3029975</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/j7owatsuejgjndc4ketg3ohkk4">fatcat:j7owatsuejgjndc4ketg3ohkk4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210210205621/https://arxiv.org/ftp/arxiv/papers/2102/2102.03420.pdf" title="fulltext PDF download [not primary version]" 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] <span style="color: #f43e3e;">&#10033;</span> <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/77/ce/77ce8645daf72bf5cc563c7a874d275f7a5d12bf.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/mc.2020.3029975"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Special Issue on Dynamic Analysis and Testing of Embedded Software

W. Eric Wong, W.K. Chan, T.H. Tse, Fei-Ching Kuo
<span title="">2012</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;
A case study on the software embedded in a real-time space X-ray telescope is presented to evaluate the feasibility of the approach in practice.  ...  The first paper, "InRob: An Approach for Testing Interoperability and Robustness of Real-Time Embedded Software" by F. Mattiello-Francisco, E. Martins, A.R. Cavalli, and E.T.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.jss.2011.09.044">doi:10.1016/j.jss.2011.09.044</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ugk5jprurnawrgnt3xmy3lysbm">fatcat:ugk5jprurnawrgnt3xmy3lysbm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171129153254/https://core.ac.uk/download/pdf/37964987.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/62/5e/625e930dfc20a8b8117dc9fb5734e24e8cb21799.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.2011.09.044"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Model-based robustness testing for avionics-embedded software

Shunkun Yang, Bin Liu, Shihai Wang, Minyan Lu
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7j7rymwfdvdgha64ol5ajggjqa" style="color: black;">Chinese Journal of Aeronautics</a> </i> &nbsp;
In this paper, we propose a practical methodology and implement an environment by employing model-based robustness testing for embedded software systems.  ...  It is a system-level black-box testing approach in which the fault behaviors of embedded software is triggered with the aid of modelbased fault injection by the support of an executable model-driven hardware-in-loop  ...  A context diagram for modeling the relationship between a real-time embedded system (RTES) and its external entities is discussed in Ref. 25 .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cja.2013.05.004">doi:10.1016/j.cja.2013.05.004</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ifmjjh3hxbd7fcfyzjsvlamllm">fatcat:ifmjjh3hxbd7fcfyzjsvlamllm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171005071603/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/ef0/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS9zMTAwMDkzNjExMzAwMTE3OQ%3D%3D.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/1f/75/1f750de6de99dcb7401ead32cc934a5003e17873.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cja.2013.05.004"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 24,489 results