Filters








298 Hits in 5.2 sec

Semantics-preserving implementation of synchronous specifications over dynamic TDMA distributed architectures

Dumitru Potop-Butucaru, Akramul Azim, Sebastian Fischmeister
<span title="">2010</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2n36vommjbafnkaccvl2qvetye" style="color: black;">Proceedings of the tenth ACM international conference on Embedded software - EMSOFT &#39;10</a> </i> &nbsp;
Our technique connects the SynDEx scheduling tool and the Network Code toolchain in a seamless flow of automatic model transformations that go all the way from specification to implementation.  ...  We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models.  ...  Thus, we allow the automatic synthesis of hard real-time distributed (embedded) systems with dynamic TDMA communication buses from SCADE-like synchronous data-flow formalisms.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1879021.1879048">doi:10.1145/1879021.1879048</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/emsoft/Potop-ButucaruAF10.html">dblp:conf/emsoft/Potop-ButucaruAF10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ibvjv4ebavgnfptqcfhngc6kga">fatcat:ibvjv4ebavgnfptqcfhngc6kga</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190414170707/https://core.ac.uk/download/pdf/52786077.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/b8/99/b89950fd67b12ec6be23b17be06c638458d1b27a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/1879021.1879048"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Programming and Timing Analysis of Parallel Programs on Multicores

Eugene Yip, Partha S. Roop, Morteza Biglari-Abhari, Alain Girault
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/plhin5uderc7zn3bmj35wh2oli" style="color: black;">2013 13th International Conference on Application of Concurrency to System Design</a> </i> &nbsp;
ForeC extends C with a minimal set of constructs adopted from synchronous languages.  ...  To the best of our knowledge, this is the first attempt at the efficient and deterministic parallel programming of multicores using a synchronous C-variant.  ...  To preserve the execution semantics of par, the forking/joining of child threads is synchronized among the participating cores.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsd.2013.19">doi:10.1109/acsd.2013.19</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/acsd/YipRBG13.html">dblp:conf/acsd/YipRBG13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/d6dc57b3nvfafm62bjarkgkkly">fatcat:d6dc57b3nvfafm62bjarkgkkly</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20150114105451/http://homepages.engineering.auckland.ac.nz/~pretzel/papers/acsd2013-forec.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/60/8a/608a43492bc1094793f4d2b243b61bb16477a6ea.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/acsd.2013.19"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

A Platform Programming Paradigm for Heterogeneous Systems Integration

Kai-Bjorn Gemlau, Leonie Kohler, Rolf Ernst
<span title="">2020</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;
This article will conclude with an evaluation of its properties, its overhead, and its application toward a robust design process.  ...  | To cope with growing computing performance requirements, cyber-physical systems architectures are moving toward heterogeneous high-performance computer architectures and networks.  ...  Another issue of the synchronous reactive programming is the synthesis of distributed architectures [19] , [20] , in particular, if synchronous components are communicating not over a synchronous but  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jproc.2020.3035874">doi:10.1109/jproc.2020.3035874</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/abtnvc77jfgq3ewpxquuumbv7m">fatcat:abtnvc77jfgq3ewpxquuumbv7m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210717191240/https://ieeexplore.ieee.org/ielx7/5/9383786/09268460.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/72/1f/721f825a2cac276d3e8174bd5a83ce5d8915e0c0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/jproc.2020.3035874"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Towards a verified compiler prototype for the synchronous language SIGNAL

Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Yongwang Zhao, Dianfu Ma
<span title="2015-11-11">2015</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/mea4bx5mifbxdbgjmmfhl6qbhq" style="color: black;">Frontiers of Computer Science</a> </i> &nbsp;
The front-end of the compiler, i.e. the translation from SIGNAL to S-CGA is presented. As well, the proof of semantics preservation is mechanized in the theorem prover Coq.  ...  SIGNAL belongs to the synchronous languages family which are widely used in the design of safety-critical real-time systems such as avionics, space systems, and nuclear power plants.  ...  of deterministic concurrent (multithreaded) executable code for simulation or (possibly distributed) implementation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11704-015-4364-y">doi:10.1007/s11704-015-4364-y</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/7x6wchqztrfmpassc3ip7eres4">fatcat:7x6wchqztrfmpassc3ip7eres4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923211719/https://hal.archives-ouvertes.fr/hal-01298793/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/6a/bb/6abbd72f18fdac9431ce9cfd981d518e7cf0f443.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11704-015-4364-y"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Realization of virtual networks in the DECOS integrated architecture

R. Obermaisser, P. Peti
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/t3x4vqewrncrfgn2wu7cafsbsq" style="color: black;">Proceedings 20th IEEE International Parallel &amp; Distributed Processing Symposium</a> </i> &nbsp;
Due to the better utilization of computational and communication resources and the improved coordination of application subsystems, designers of large distributed embedded systems (e.g., in the automotive  ...  domain) are eager to replace existing federated architectures with integrated ones.  ...  DECOS Integrated Architecture The DECOS architecture [8] offers a framework for the development of distributed embedded real-time systems integrating multiple DASs with different levels of criticality  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2006.1639401">doi:10.1109/ipdps.2006.1639401</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/ipps/ObermaisserP06.html">dblp:conf/ipps/ObermaisserP06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yvhea2guq5fmbgllymfuilmg4m">fatcat:yvhea2guq5fmbgllymfuilmg4m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808194418/http://cecs.uci.edu/~papers/ipdps06/pdfs/114-WPDRTS-paper-1.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/0b/f3/0bf3f95716fedaff0b5617f6089297ef762215f4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/ipdps.2006.1639401"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Formal models for embedded system design

M. Sgroi, L. Lavagno, A. Sangiovanni-Vincentelli
<span title="">2000</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/hkpx3vsnhrfb7jh6hlwads7olq" style="color: black;">IEEE Design &amp; Test of Computers</a> </i> &nbsp;
The system design challenge of at least the next decade is the dramatic expansion of this spectrum of diversity and the shorter and shorter timeto-market window.  ...  An essential component of a new system Formal Models for Embedded System Design Embedded System Design 2 The authors give an overview of models of computation for embedded system design and propose a new  ...  Correct implementation of rendezvous on a distributed architecture can be very costly, unless special hardware support is provided (e.g., by the Transputer processor family).  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/54.844330">doi:10.1109/54.844330</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/shu576ixcbgijeqof2mzbmtstq">fatcat:shu576ixcbgijeqof2mzbmtstq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100615100013/http://embedded.eecs.berkeley.edu/asves/embedded/protocol_design/papers/design_and_test.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/52/7f520550cc074b5f46a4179c469ec003ecd703e7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/54.844330"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

ProSe: A Programming Tool for Rapid Prototyping of Sensor Networks [chapter]

Mahesh Arumugam, Sandeep S. Kulkarni
<span title="">2010</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/jajl7qtqc5cy7oavratsldrv2y" style="color: black;">Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering</a> </i> &nbsp;
, routing, leader election, synchronization, and tracking.  ...  Existing work on macroprogramming primitives require implementation of such primitives in a target platform (e.g., nesC/TinyOS).  ...  TDMA based transformation algorithms proposed in [25] preserve self-stabilization property of the original programs.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11528-8_12">doi:10.1007/978-3-642-11528-8_12</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/sahks3mwindfbjccvziev3llqm">fatcat:sahks3mwindfbjccvziev3llqm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200709180257/https://eudl.eu/pdf/10.1007/978-3-642-11528-8_12" 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/00/810064f0b63f386b67f4bafdeb020931ce780ced.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-11528-8_12"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Automated generation of time-predictable executables on multicore

Claire Pagetti, Julien Forget, Heiko Falk, Dominic Oehlert, Arno Luppold
<span title="">2018</span> <i title="ACM Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/6epehfaufvbj5fqj63m6whikpi" style="color: black;">Proceedings of the 26th International Conference on Real-Time Networks and Systems - RTNS &#39;18</a> </i> &nbsp;
We present a complete framework, from high-level system specification in synchronous languages, to implementation on a multi-core hardware platform, which enforces time-predictability at every step of  ...  In this paper, we are interested in the implementation of control-command applications, such as the flight control system of an aircraft for instance, on multi-core hardware.  ...  Acknowledgments This work has been funded by the DGA in the context of a Stage ERE N • 2016.60.0004.00.470.75.01. The authors would like to thank Eric Noulard for his precious advice.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3273905.3273907">doi:10.1145/3273905.3273907</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/rtns/PagettiFFOL18.html">dblp:conf/rtns/PagettiFFOL18</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/47rxjm76gfgvrao5fufpigrbxe">fatcat:47rxjm76gfgvrao5fufpigrbxe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200509102704/https://hal.archives-ouvertes.fr/hal-01888728/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/64/07/64079c1fce1ecb7259f4cb47dad4b3c79706beb9.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1145/3273905.3273907"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> acm.org </button> </a>

Platform-Based Design of Wireless Sensor Networks for Industrial Applications

A. Bonivento, L.P. Carloni, A. Sangiovanni-Vincentelli
<span title="">2006</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qjrrvry5ubgdlarkymvlxuip6m" style="color: black;">Proceedings of the Design Automation &amp; Test in Europe Conference</a> </i> &nbsp;
We present a case study of a control application for manufacturing plants that shows how the methodology covers all the aspects of the design process, from conceptual description to implementation.  ...  Our design flow starts from a high level description of the control algorithm and a set of candidate hardware platforms and automatically derives an implementation that satisfies system requirements while  ...  The Sensor Network Ad-hoc Protocol Platform To choose the architecture of the SNIP and to map the functional specification of the system onto it are critical steps in sensor network design.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2006.243975">doi:10.1109/date.2006.243975</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/date/BoniventoCS06.html">dblp:conf/date/BoniventoCS06</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/44bkrx2mondorb5tisj67bk7x4">fatcat:44bkrx2mondorb5tisj67bk7x4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20121222025420/http://www.cs.columbia.edu/%7Eluca/research/wsnDATE06.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/ba/77/ba770d4a5dad97b6bf97b7aa2711dd27c65315ab.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/date.2006.243975"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

The Evolution of Real-Time Programming [chapter]

Raja Sengupta, Christoph Kirsch
<span title="2007-07-23">2007</span> <i title="Chapman and Hall/CRC"> Chapman &amp; Hall/CRC Computer &amp; Information Science Series </i> &nbsp;
ZET programming is based on the so-called synchronous semantics in the sense that the semantics of ZET programs are in terms of a zero computing time abstraction.  ...  Both the ZET and LET models close the semantical gap between digital control design and implementation, and have been shown to integrate well with simulation environments such as Simulink [7, 21] .  ...  Thus the objective of communication scheduling when distributing over TTA is specification of the MEDL. The approach in [7] compiles both Simulink and Lustre over TTA.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781420011746.ch11">doi:10.1201/9781420011746.ch11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/dwl5tf5jabet7eezmykfixfugy">fatcat:dwl5tf5jabet7eezmykfixfugy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100724194608/http://www.cis.upenn.edu/~lee/10cis541/papers/kirsch.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/de/03/de034c1517f5904380d88162e3e3d4a4a31544ff.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1201/9781420011746.ch11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Generation of fault-tolerant state-based communication schedules for real-time systems

Akramul Azim
<span title="2017-10-26">2017</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/qdjkc7427rgarmzaexozmec3eq" style="color: black;">EURASIP Journal on Embedded Systems</a> </i> &nbsp;
State-based schedules use a time division multiple access (TDMA) mechanism that supports executing conditional semantics and making on-the-fly decisions at runtime in each communication cycle.  ...  a sampling rate synchronization mechanism.  ...  E cp is a special form of E. We can implement E cp using E by assuming a specific fault tolerance guard for E.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s13639-017-0082-x">doi:10.1186/s13639-017-0082-x</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iqopstyx6jegfpmjoeugcaoura">fatcat:iqopstyx6jegfpmjoeugcaoura</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721160657/https://jes-eurasipjournals.springeropen.com/track/pdf/10.1186/s13639-017-0082-x?site=jes-eurasipjournals.springeropen.com" 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/49/9c/499cded0095139bf54a849acdc56c596244450ec.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1186/s13639-017-0082-x"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Platform based design for wireless sensor networks

Alvise Bonivento, Luca P. Carloni, Alberto Sangiovanni-Vincentelli
<span title="2006-05-04">2006</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/s3esrazljvacznpncbsypxcxwy" style="color: black;">Journal on spesial topics in mobile networks and applications</a> </i> &nbsp;
PBD is a meet-in-the-middle approach where the top-down refinement of a design specification meets with bottom-up characterizations of possible alternative implementations.  ...  We present a case study that show how the methodology covers all the aspects of the design process, from conceptual description to implementation.  ...  The repository is dynamically updated during the network operations.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11036-006-7194-1">doi:10.1007/s11036-006-7194-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4q3vm5dd45bp7mli2brtu4wm4e">fatcat:4q3vm5dd45bp7mli2brtu4wm4e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170813050154/http://www1.cs.columbia.edu/~luca/research/wsnMONET06.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/1e/57/1e574ccb4f8cf2502ac95ead3433b9562345245e.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s11036-006-7194-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Network latency and packet delay variation in cyber-physical systems

Janette Cardoso, Patricia Derler, John C. Eidson, Edward A. Lee
<span title="">2011</span> <i title="IEEE"> 2011 IEEE Network Science Workshop </i> &nbsp;
Existing safety-critical applications and other applications in industry require varying degrees of control over system-wide temporal semantics.  ...  In addition, there are emerging commercial applications that require or will benefit from tighter enforcement of temporal semantics in network elements than is currently possible.  ...  For distributed CPS, time synchronization is required to form a coordinated view of the state of the physical world and to effect coordinated control over that state.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/nsw.2011.6004658">doi:10.1109/nsw.2011.6004658</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/uzr4wb2y4fbo7bybi7naq6opla">fatcat:uzr4wb2y4fbo7bybi7naq6opla</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130701125903/http://chess.eecs.berkeley.edu/pubs/844/networkLatencyInCPS.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/ea/09/ea096ad4bef4ebf986a9c4e7f9fdd5a4e00b7232.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/nsw.2011.6004658"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Integrating Automotive Applications Using Overlay Networks on Top of a Time-Triggered Protocol [chapter]

Roman Obermaisser
<span title="">2008</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;
The integration of multiple automotive subsystems (e.g., powertrain, safety, comfort) on a single distributed computer system can significantly reduce the number of Electronic Control Units (ECUs) and  ...  However, a major challenge in such an integrated automotive architecture is the management of access to the shared communication resources (i.e., the common network).  ...  For the implementation of overlay networks, we have employed a software-based implementation of a TDMA-controlled Ethernet network.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-77419-8_11">doi:10.1007/978-3-540-77419-8_11</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3c4aldv2erbgdbsoncmwoeps3i">fatcat:3c4aldv2erbgdbsoncmwoeps3i</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808103223/https://ti.tuwien.ac.at/cps/people/obermaisser/papers/rr-129-2006.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/de/4e/de4e34f1d7081be5993638df8c0a6b6fa6a848d3.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-540-77419-8_11"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Optimizing the implementation of real-time Simulink models onto distributed automotive architectures

Gang Han, Marco Di Natale, Haibo Zeng, Xue Liu, Wenhua Dou
<span title="">2013</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/abrqcwwp5bajjj4an3guihtf7u" style="color: black;">Journal of systems architecture</a> </i> &nbsp;
To ensure that the properties still hold for the final deployed system, the implementation into software tasks and communication messages should preserve the semantics properties of the model.  ...  the preservation of communication flows.  ...  a distributed implementation of a synchronous model.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.sysarc.2013.08.009">doi:10.1016/j.sysarc.2013.08.009</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/cnsznfvg4nclthqb2rvfurasne">fatcat:cnsznfvg4nclthqb2rvfurasne</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170829082823/http://retis.sssup.it/~marco/papers/2013/JSA.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/2b/be/2bbeaf141d30329517b75d49f9eb498cff0e86e4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.sysarc.2013.08.009"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 298 results