Filters








7,149 Hits in 6.2 sec

The PEGASE Project: Precise and Scalable Temporal Analysis for Aerospace Communication Systems with Network Calculus [chapter]

Marc Boyer, Nicolas Navet, Xavier Olive, Eric Thierry
2010 Lecture Notes in Computer Science  
With the increase of critical data exchanges in embedded real-time systems, the computation of tight upper bounds on network traversal times is becoming a crucial industrial need especially in safety critical  ...  To address this need, the French project PEGASE grouping academics and industrial partners from the aerospace field has been undertaken to improve some key aspects of the Network Calculus and its implementation  ...  Real-Time calculus is mainly based on Network Calculus, but also uses concepts of real-time scheduling theory [18] .  ... 
doi:10.1007/978-3-642-16558-0_13 fatcat:jur324yo4nbpddmjilrsdyyzyq

Worst-case delay analysis of master-slave switched ethernet networks

M. Ashjaei, M. Liu, M. Behnam, A. Mifdaoui, L. Almeida, T. Nolte
2012 Proceeings of the 2nd International Workshop on Worst-Case Traversal Time - WCTT '12  
is increasingly used in real-time communication due to its intrinsic features such as micro segmentation and high throughput.  ...  Reconciling the use of ordinary switches with the needs of real-time communication requires an adequate overlay protocol.  ...  The work in [3] presents a method to compute end-to-end bounds using the "pay burst only once" principle in Network Calculus along with a model that takes the shaping introduced by the medium into account  ... 
doi:10.1145/2428592.2428595 fatcat:26xmx52qgjb3pcgba5w5zncrfy

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-time Calculus

Peng Zhang, Yu Liu, Jianqi Shi, Jianqi Shi, Yanhong Huang, Yanhong Huang, Yongxin Zhao
2019 IEEE Access  
In CBA, we use a data model, a resource model, and a component model to construct an abstract model of the TSNs with the system architecture and analyze the feasibility of this abstract model with real-time  ...  To solve this problem, there is an urgent need for a high-speed and real-time system for intelligent networked automotive applications.  ...  In [14] , Wandeler et al. used the framework to model an embedded system and then evaluated the embedded system performance using the obtained model with real-time calculus.  ... 
doi:10.1109/access.2019.2927516 fatcat:yhhsgqxnmfbjdjfp6hoycdjrj4

System architecture evaluation using modular performance analysis: a case study

Ernesto Wandeler, Lothar Thiele, Marcel Verhoef, Paul Lieverse
2006 International Journal on Software Tools for Technology Transfer (STTT)  
Performance analysis plays an increasingly important role in the design of embedded real-time systems.  ...  We present an alternative, analytical, approach based on Real-Time Calculus.  ...  Part of the presented work is funded by the Swiss National Science Foundation (SNF) under the Analytic Performance Estimation of Embedded Computer Systems project 200021-103580/1, and by ARTIST2.  ... 
doi:10.1007/s10009-006-0019-5 fatcat:nbjbfpixafefdcgrq5llbuvwgu

Performance analysis of master-slave multi-hop switched ethernet networks

Mohammad Ashjaei, Moris Behnam, Thomas Nolte, Luis Almeida
2013 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES)  
There is an increasing trend towards using switched Ethernet in real-time distributed systems due to features like absence of collisions and high throughput.  ...  We present an improved response time analysis for such a network and we compare, analytically and with simulations, the results achieved with Network Calculus on a worst-case scenario.  ...  ACKNOWLEDGMENT This work is supported by the Swedish Foundation for Strategic Research, via Mälardalen Real-time Research Center (MRTC) at Mälardalen University.  ... 
doi:10.1109/sies.2013.6601501 dblp:conf/sies/AshjaeiBNA13 fatcat:moz2oos3ubcepcymyfcl7mzdva

Real-Time Control of I/O COTS Peripherals for Embedded Systems

Stanley Bak, Emiliano Betti, Rodolfo Pellizzoni, Marco Caccamo, Lui Sha
2009 2009 30th IEEE Real-Time Systems Symposium  
Unfortunately, COTS interconnect systems do not usually guarantee timeliness, and might experience severe timing degradation in the presence of high-bandwidth I/O peripherals.  ...  The proposed framework is used to transparently put the I/O subsystem of a COTS-based embedded system under the discipline of real-time scheduling.  ...  Any opinions, findings, and conclusions or recommendations expressed in this publication are those of the authors and do not necessarily reflect the views of the NSF or the supporting companies.  ... 
doi:10.1109/rtss.2009.41 dblp:conf/rtss/BakBPCS09 fatcat:jxcphgr4bvfx7of6mxfuwo4iu4

A Survey on Network Calculus Tools for Network Infrastructure in Real-time Systems

Boyang Zhou, Isaac Howenstine, Siraphob Limprapaipong, Liang Cheng
2020 IEEE Access  
CONCLUSION Network Calculus is a theory used to estimate the network performance of real-time systems.  ...  CATS CATS is a tool designed for real-time systems. It can analyze the performance of the systems using both time automata and real-time calculus.  ...  His research focuses on CPS/IoT (Cyber-Physical Systems/Internet of Things) and is geared toward enabling intelligent infrastructure based on the convergence of real-time sensing, model-driven data analytics  ... 
doi:10.1109/access.2020.3043600 fatcat:gycfe7xfynbzlku4unrnsuvisu

Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers

Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
2021 Logical Methods in Computer Science  
We formalise the proposed scheduling framework for field-based coordination in the context of the field calculus, discuss an implementation in the aggregate computing framework, and finally evaluate the  ...  In this work, we challenge this assumption, and propose an alternative approach where scheduling is programmed in a natural way (along with usual field-based coordination) in terms of causality fields,  ...  low values of v .Interestingly, when the tolerance to error is high, the system acquires a certain robustness to the network performance as well: when = 1, the performance between a fast network and a  ... 
doi:10.46298/lmcs-17(4:13)2021 fatcat:kstvpsmwzbfmniadyenvu7vubi

Performance analysis of greedy shapers in real-time systems

E. Wandeler, A. Maxiaguine, L. Thiele
2006 Proceedings of the Design Automation & Test in Europe Conference  
Traffic shaping is a well-known technique in the area of networking and is proven to reduce global buffer requirements and end-to-end delays in networked systems.  ...  The presented approach enables system-level performance analysis of complete systems with greedy shapers, and we prove its applicability by analyzing two case study systems.  ...  Acknowledgements This research has been funded by the Swiss National Science Foundation (SNF) under the Analytic Performance Estimation of Embedded Computer Systems project 200021-103580/1, and by ARTIST2  ... 
doi:10.1109/date.2006.243801 dblp:conf/date/WandelerMT06 fatcat:axz6jwqjpjfhhnql4zigyaivqq

Performance evaluation of DPS coordination strategies modelled in pi-calculus

Elham S. Khorasani, Norman Carver, Shahram Rahimi
2009 International Journal of Intelligent Information and Database Systems  
In particular, we investigated the use of pi-calculus as a formal framework for defining multi-agent coordination strategies for DPS, as well as techniques for evaluating the time performance of such strategies  ...  Some example applications for DPS include data interpretation in sensor networks, network fault diagnosis, and traffic routing in wired or wireless networks.  ...  Previous work on performance evaluation associates each action in pi-calculus with a value, which is the rate of the action as modeled with an exponential distribution.  ... 
doi:10.1504/ijiids.2009.030438 fatcat:l47vjhaqjzh2bmyf553n3egcda

Time-Fluid Field-Based Coordination through Programmable Distributed Schedulers [article]

Danilo Pianini, Roberto Casadei, Mirko Viroli, Stefano Mariani, Franco Zambonelli
2021 arXiv   pre-print
We formalise the proposed scheduling framework for field-based coordination in the context of the field calculus, discuss an implementation in the aggregate computing framework, and finally evaluate the  ...  In this work, we challenge this assumption, and propose an alternative approach where scheduling is programmed in a natural way (along with usual field-based coordination) in terms of causality fields,  ...  We then update Ψ 0 with the previous global status field Ψ. Example 4.2 (Network semantics and scheduling). Consider the event structure in Figure 4 .  ... 
arXiv:2012.13806v5 fatcat:yo7fr33qrfafjnuyrx7erd2fi4

Network latency and packet delay variation in cyber-physical systems

Janette Cardoso, Patricia Derler, John C. Eidson, Edward A. Lee
2011 2011 IEEE Network Science Workshop  
The problem addressed in this paper is the limitation imposed by network elements, especially Ethernet elements, on the real-time performance of timecritical systems.  ...  Most current network elements are concerned only with data integrity, connection, and throughput with no mechanism for enforcing temporal semantics.  ...  However it is difficult to combine network calculus with real-time calculus within one homogeneous mathematical framework [21] .  ... 
doi:10.1109/nsw.2011.6004658 fatcat:uzr4wb2y4fbo7bybi7naq6opla

Response time analysis of multi-hop HaRTES Ethernet Switch networks

M. Ashjaei, P. Pedreiras, M. Behnam, R. J. Bril, L. Almeida, T. Nolte
2014 2014 10th IEEE Workshop on Factory Communication Systems (WFCS 2014)  
In this paper we focus on micro-segmented switched-Ethernet networks with HaRTES switches.  ...  HaRTES switches provide synchronous and asynchronous real-time traffic scheduling, dynamic Quality-of-Service adaptation and transparent integration of real-time and non-real-time nodes.  ...  System Model In this paper, we use the real-time periodic model to represent synchronous messages.  ... 
doi:10.1109/wfcs.2014.6837579 dblp:conf/wfcs/AshjaeiPBBAN14 fatcat:4dtg7fntorc7hpgztz377kznk4

An interval algebra for multiprocessor resource allocation

Leandro Soares Indrusiak, Piotr Dziurzanski
2015 2015 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS)  
response times or schedulability.  ...  A particular design flow is highlighted, where the interval algebra is used as a fitness function in a genetic algorithm tailored to optimise resource allocation in hard real-time multiprocessors.  ...  ACKNOWLEDGEMENT The authors would like to thank Björn Saballus from Robert Bosch GmbH for providing DemoCar and the real-life engine control.  ... 
doi:10.1109/samos.2015.7363672 dblp:conf/samos/IndrusiakD15 fatcat:wfnmkrsg5zed3es4hck5bffuii

Controlling multi-switch networks for prompt reconfiguration

R. Marau, M. Behnam, Z. Iqbal, P. Silva, L. Almeida, P. Portugal
2012 2012 9th IEEE International Workshop on Factory Communication Systems  
We use the FTT-SE protocol with the needed adaptations to support dynamic heterogeneous real-time transactions in multi-hop networks.  ...  In this paper we focus on Ethernet technologies with real-time reconfiguration support and we address the case of middle-size networking infrastructures with a few switches.  ...  Network calculus was also used in [9] to compute the upper delay bound of hard real-time traffic communication.  ... 
doi:10.1109/wfcs.2012.6242571 dblp:conf/wfcs/MarauBISAP12 fatcat:o7jccm6h2jc53mqpa4xabcrjge
« Previous Showing results 1 — 15 out of 7,149 results