SDRN : réseau maillé temps réel dynamique défini par logiciel. (SDRN : Software-Defined Real-Time Mesh Networking)

Dans le cadre d'une these CIFRE conjointe entre le Loria et Thales Research & Technology, nous etudions un nouveau type de reseau maille embarque temps reel. La mise en reseau maille des composants des systemes embarques concilie les contraintes temps reel des applications avec leurs besoins croissants en termes de bande passante et collaboration. La pluralite des chemins de communication resulte en de meilleures proprietes de flexibilite, resilience, passage a l'echelle et repartition de charge. Cependant, ceci necessite d'etre capable d'allouer dynamiquement les ressources reseau en fonction des besoins des applications. Notre approche consiste a permettre aux applications de faire des requetes de flux temps reel a l'execution, puis allouer dynamiquement les ressources correspondant aux besoins en communication. A cette fin, nous avons concu l'architecture Software-Defined Real-time Networking (SDRN). Elle aborde en meme temps les problematiques d'isolation des flux, analyse temporelle, routage, tolerance aux fautes, ainsi que les interfaces avec les couches applicatives et les couches basses du systeme. Elle est egalement modulaire, c'est-a-dire que certaines parties de l'architecture peuvent etre remplacees sans remettre en cause les autres modules. Enfin, elle a ete validee par une implementation sur plateforme materielle RapidIO. Ce document restitue les travaux de recherche sur SDRN. Il s'interesse egalement a la problematique de l'experimentation sur les reseaux embarques et propose une approche originale d'experimentation, ERICA. Cette approche facilite la mise en place d'experimentations melant aspects reels et simules. ERICA genere les fichiers necessaires a la mise en place du scenario defini dans une interface graphique haut niveau. Elle permet ainsi au chercheur d'appliquer une reflexion haut niveau sur ses experimentations et de reutiliser les couches communes a plusieurs scenarios d'experimentation

[1]  Tsuyoshi Murata,et al.  {m , 1934, ACML.

[2]  J. Leung,et al.  A Note on Preemptive Scheduling of Periodic, Real-Time Tasks , 1980, Inf. Process. Lett..

[3]  Fernando Gehm Moraes,et al.  QoS in Networks-on-Chip - Beyond Priority and Circuit Switching Techniques , 2007, VLSI-SoC.

[4]  Masaru Fukushi,et al.  Fault-Tolerant Routing Algorithm for Network on Chip without Virtual Channels , 2009, 2009 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems.

[5]  Robert I. Davis,et al.  Mixed Criticality Systems - A Review , 2015 .

[6]  Hoi-Jun Yoo,et al.  An arbitration look-ahead scheme for reducing end-to-end latency in networks on chip , 2005, 2005 IEEE International Symposium on Circuits and Systems.

[7]  Tobias Bjerregaard,et al.  A survey of research and practices of Network-on-chip , 2006, CSUR.

[8]  John A. Clark,et al.  Holistic schedulability analysis for distributed hard real-time systems , 1994, Microprocess. Microprogramming.

[9]  Stephen Dawson-Haggerty,et al.  Hydro: A Hybrid Routing Protocol for Low-Power and Lossy Networks , 2010, 2010 First IEEE International Conference on Smart Grid Communications.

[10]  Marc Boyer,et al.  Combining static priority and weighted round-robin like packet scheduling in AFDX for incremental certification and mixed-criticality support , 2013 .

[11]  Don Towsley,et al.  Theories and models for Internet quality of service , 2002, Proc. IEEE.

[12]  Stephen John Turner,et al.  Integrating heterogeneous distributed COTS discrete-event simulation packages: an emerging standards-based approach , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[13]  Sang-Eun Oh,et al.  RT-SDN: Adaptive Routing and Priority Ordering for Software-Defined Real-Time Networking , 2022, IEEE Systems Journal.

[14]  Christian Fraboul,et al.  Worst-case end-to-end delay analysis of an avionics AFDX network , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[15]  Sergei Gorlatch,et al.  Using Software-Defined Networking for Real-Time Internet Applications , 2014 .

[16]  Luca P. Carloni,et al.  A dynamic and distributed TDM slot-scheduling protocol for QoS-oriented Networks-on-Chip , 2011, 2011 IEEE 29th International Conference on Computer Design (ICCD).

[17]  George Varghese,et al.  Efficient fair queueing using deficit round robin , 1995, SIGCOMM '95.

[18]  Rolf Ernst,et al.  Reliability Analysis of Single Bus Communication with Real-Time Requirements , 2009, 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing.

[19]  Ramin Yahyapour,et al.  An analytical model for software defined networking: A network calculus-based approach , 2013, 2013 IEEE Global Communications Conference (GLOBECOM).

[20]  Bing Chen,et al.  Quality of Service Guaranteed Resource Management Dynamically in Software Defined Network , 2015, J. Commun..

[21]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[22]  Yong Liu,et al.  Stochastic Network Calculus , 2008 .

[23]  David Wright,et al.  Probabilistic scheduling guarantees for fault-tolerant real-time systems , 1999, Dependable Computing for Critical Applications 7.

[24]  Florian Greff,et al.  A Symbiotic Approach to Designing Cross-Layer QoS in Embedded Real-Time Systems , 2016 .

[25]  Paul Pop,et al.  Fault-tolerant topology and routing synthesis for IEEE time-sensitive networking , 2017, RTNS.

[26]  Walid Dabbous,et al.  NEPI: An integration framework for Network Experimentation , 2011, SoftCOM 2011, 19th International Conference on Software, Telecommunications and Computer Networks.

[27]  Joël Goossens,et al.  FTT-openFlow, on the way towards real-time SDN , 2016, SIGBED.

[28]  Diana Göhringer,et al.  Survey on Real-Time Networks-on-Chip , 2017, IEEE Transactions on Parallel and Distributed Systems.

[29]  Alan Burns,et al.  Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching , 2008, Second ACM/IEEE International Symposium on Networks-on-Chip (nocs 2008).

[30]  Maximilian Ott,et al.  OMF: a control and management framework for networking testbeds , 2010, OPSR.

[31]  Jean-Yves Le Boudec,et al.  Delay Bounds in a Network with Aggregate Scheduling , 2000, QofIS.

[32]  Fernando M. V. Ramos,et al.  Software-Defined Networking: A Comprehensive Survey , 2014, Proceedings of the IEEE.

[33]  H. T. Mouftah,et al.  Distributed Discrete Event Simulation for Communication Networks , 1990, IEEE J. Sel. Areas Commun..

[34]  Hyung-Taek Lim,et al.  Performance comparison of IEEE 802.1Q and IEEE 802.1 AVB in an Ethernet-based in-vehicle network , 2012, 2012 8th International Conference on Computing Technology and Information Management (NCM and ICNIT).

[35]  Rakesh Kumar,et al.  End-to-End Network Delay Guarantees for Real-Time Systems Using SDN , 2017, 2017 IEEE Real-Time Systems Symposium (RTSS).

[36]  Laurent George,et al.  End‐to‐end response time with fixed priority scheduling: trajectory approach versus holistic approach , 2005, Int. J. Commun. Syst..

[37]  William J. Dally,et al.  Flattened Butterfly Topology for On-Chip Networks , 2007, 40th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO 2007).

[38]  William J. Dally,et al.  Principles and Practices of Interconnection Networks , 2004 .

[39]  Mike Hibler,et al.  An integrated experimental environment for distributed systems and networks , 2002, OPSR.

[40]  Ralf Steinmetz,et al.  Per-flow guarantees under class-based priority queueing , 2003, GLOBECOM '03. IEEE Global Telecommunications Conference (IEEE Cat. No.03CH37489).

[42]  Alan Burns,et al.  Weakly Hard Real-Time Systems , 2001, IEEE Trans. Computers.

[43]  Sanjoy K. Baruah,et al.  Algorithms for Determining the Demand-Based Load of a Sporadic Task System , 2006, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06).

[44]  Julian Proenza,et al.  Towards dynamic fault tolerance on FTT-based distributed embedded systems , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[45]  Rolf Ernst,et al.  IDAMC: A NoC for mixed criticality systems , 2013, 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications.

[46]  Jianguo Yao,et al.  Optimal bandwidth allocation with dynamic multi-path routing for non-critical traffic in AFDX networks , 2014, 2014 20th IEEE International Conference on Parallel and Distributed Systems (ICPADS).

[47]  Steven Martin,et al.  Schedulability analysis of flows scheduled with FIFO: application to the expedited forwarding class , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[48]  Balázs Sonkoly,et al.  On QoS Support to Ofelia and OpenFlow , 2012, 2012 European Workshop on Software Defined Networking.

[49]  Judith S. Dahmann,et al.  High Level Architecture for simulation: an update , 1998, Proceedings. 2nd International Workshop on Distributed Interactive Simulation and Real-Time Applications (Cat. No.98EX191).

[50]  Venkata Krishnan,et al.  PCI express and advanced switching: evolutionary path to building next generation interconnects , 2003, 11th Symposium on High Performance Interconnects, 2003. Proceedings..

[51]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[52]  Laurent George,et al.  A Norm Approach for the Partitioned EDF Scheduling of Sporadic Task Systems , 2009, 2009 21st Euromicro Conference on Real-Time Systems.

[53]  Hermann Kopetz,et al.  The time-triggered architecture , 1998, Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).

[54]  Jürgen Becker,et al.  Heterogeneous and runtime parameterizable Star-Wheels Network-on-Chip , 2011, 2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation.

[55]  Yeqiong Song,et al.  Evaluating quality of service and behavioral reliability of steer-by-wire systems , 2003, EFTA 2003. 2003 IEEE Conference on Emerging Technologies and Factory Automation. Proceedings (Cat. No.03TH8696).

[56]  Robert I. Davis,et al.  Quantifying the Exact Sub-optimality of Non-preemptive Scheduling , 2015, 2015 IEEE Real-Time Systems Symposium.

[57]  Sunil Kr. Maakar,et al.  A Survey on Different Hybrid Routing Protocols of MANET , 2014 .

[58]  Qiang Zhou,et al.  Admission Control of VL in AFDX Under HRT Constraints , 2011 .

[59]  Yeqiong Song,et al.  Worst-case deadline failure probability in real-time applications distributed over controller area network , 2000, J. Syst. Archit..

[60]  Bechir Zalila,et al.  Designing dynamic reconfiguration for distributed real time embedded systems , 2010, 2010 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE).

[61]  D. Parnas,et al.  On satisfying timing constraints in hard-real-time systems , 1991, SIGSOFT '91.

[62]  Radu Marculescu,et al.  DyAD - smart routing for networks-on-chip , 2004, Proceedings. 41st Design Automation Conference, 2004..

[63]  Yeqiong Song,et al.  A dynamic flow allocation method for the design of a software-defined real-time mesh network , 2017, 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS).

[64]  Philippe Schnoebelen,et al.  Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .

[65]  Kang G. Shin,et al.  QoS negotiation in real-time systems and its application to automated flight control , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[66]  Rolf Ernst,et al.  Modelling and designing reliable on-chip-communication devices in MPSoCs with real-time requirements , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[67]  Holger Zeltwanger,et al.  Time-Triggered Communication on CAN , 2002 .

[68]  Stephen John Turner,et al.  Research issues in symbiotic simulation , 2009, Proceedings of the 2009 Winter Simulation Conference (WSC).

[69]  Rolf Ernst,et al.  Contract-based dynamic task management for mixed-criticality systems , 2011, 2011 6th IEEE International Symposium on Industrial and Embedded Systems.

[70]  Jon Crowcroft,et al.  Bandwidth-delay based routing algorithms , 1995, Proceedings of GLOBECOM '95.

[71]  Jia Lei Du,et al.  Software-defined Networking for Real-time Ethernet , 2016, ICINCO.

[72]  Liliana Cucu-Grosjean,et al.  Response Time Analysis for Fixed-Priority Tasks with Multiple Probabilistic Parameters , 2013, 2013 IEEE 34th Real-Time Systems Symposium.

[73]  Chao Lu,et al.  A survey of routing algorithm for mesh Network-on-Chip , 2016, Frontiers of Computer Science.

[74]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[75]  B. P. Ziegler,et al.  Theory of Modeling and Simulation , 1976 .

[76]  Bin Gao,et al.  A Simple and Fast Algorithm for Restricted Shortest Path Problem , 2011, 2011 Fourth International Joint Conference on Computational Sciences and Optimization.

[77]  Laurent Ciarletta,et al.  Multi-agent Multi-Model Simulation of Smart Grids in the MS4SG Project , 2015, PAAMS.

[78]  H. T. Mouftah,et al.  Computer-aided modeling, analysis, and design of communication networks , 1988, IEEE J. Sel. Areas Commun..

[79]  Eric Thierry,et al.  Tight performance bounds in the worst-case analysis of feed-forward networks , 2010, 2010 Proceedings IEEE INFOCOM.

[80]  Steffen Straßburger,et al.  Future trends in distributed simulation and distributed virtual environments: Results of a peer study , 2008, 2008 Winter Simulation Conference.

[81]  Christian Fraboul,et al.  Improving the Worst-Case Delay Analysis of an AFDX Network Using an Optimized Trajectory Approach , 2010, IEEE Transactions on Industrial Informatics.

[82]  Ye-Qiong Song,et al.  Operator Calculus Algorithms for Multi-Constrained Paths , 2015 .

[83]  Christian Fraboul,et al.  Real-time characteristics of Switched Ethernet for "1553B"-Embedded Applications: Simulation and Analysis , 2007, 2007 International Symposium on Industrial Embedded Systems.

[84]  Joël Goossens,et al.  Schedulability and sensitivity analysis of multiple criticality tasks with fixed-priorities , 2009, Real-Time Systems.

[85]  Jérôme Ermont,et al.  Methods for bounding end-to-end delays on an AFDX network , 2006, 18th Euromicro Conference on Real-Time Systems (ECRTS'06).

[86]  Marco Spuri,et al.  Preemptive and Non-Preemptive Real-Time UniProcessor Scheduling , 1996 .

[87]  Chenyang Lu,et al.  Implementation and evaluation of mixed-criticality scheduling approaches for sporadic tasks , 2014, ACM Trans. Embed. Comput. Syst..

[88]  Yeqiong Song,et al.  Combining source and destination-tag routing to handle fault tolerance in software-defined real-time mesh networks , 2017, RTNS.

[89]  Axel Jantsch,et al.  Slot allocation using logical networks for TDM virtual-circuit configuration for network-on-chip , 2007, 2007 IEEE/ACM International Conference on Computer-Aided Design.

[90]  Janette Cardoso,et al.  Distributed Simulation of Heterogeneous and Real-Time Systems , 2013, 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications.

[91]  Adam Dunkels,et al.  Cross-Level Sensor Network Simulation with COOJA , 2006, Proceedings. 2006 31st IEEE Conference on Local Computer Networks.

[92]  Patrick Meumeu Yomsi,et al.  Extending Rate Monotonic Analysis with Exact Cost of Preemptions for Hard Real-Time Systems , 2007, 19th Euromicro Conference on Real-Time Systems (ECRTS'07).

[93]  Christian Fraboul,et al.  Simulation for end-to-end delays distribution on a switched Ethernet , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[94]  Jean-Yves Le Boudec,et al.  Network Calculus: A Theory of Deterministic Queuing Systems for the Internet , 2001 .

[95]  Pascal Richard,et al.  Optimistic problems in the trajectory approach in FIFO context , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

[96]  M. Boyer,et al.  Tightening end to end delay upper bound for AFDX network calculus with rate latency FIFO servers using network calculus , 2008, 2008 IEEE International Workshop on Factory Communication Systems.

[97]  Yong-Bin Kim,et al.  Fault Tolerant Source Routing for Network-on-chip , 2007, 22nd IEEE International Symposium on Defect and Fault-Tolerance in VLSI Systems (DFT 2007).

[98]  Sartaj Sahni,et al.  Two techniques for fast computation of constrained shortest paths , 2004, IEEE Global Telecommunications Conference, 2004. GLOBECOM '04..

[99]  Pedro Gonçalves,et al.  Extending OpenFlow with industrial grade communication services , 2017, 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS).

[100]  T.R. Henderson,et al.  CORE: A real-time network emulator , 2008, MILCOM 2008 - 2008 IEEE Military Communications Conference.

[101]  Laurent George,et al.  The Trajectory Approach for the End-to-End Response Times with Non-preemptive FP/EDF , 2004, SERA.

[102]  Françoise Simonot-Lion,et al.  DEPENDABILITY EVALUATION OF REAL-TIME APPLICATIONS DISTRIBUTED ON TDMA-BASED NETWORKS , 2005 .

[103]  D. Verma,et al.  Networking concepts comparison for avionics architecture , 2008, 2008 IEEE/AIAA 27th Digital Avionics Systems Conference.

[104]  Luís Almeida,et al.  A Time-Triggered Middleware Architecture for Ubiquitous Cyber Physical System Applications , 2012, UCAmI.

[105]  Christopher D. Carothers,et al.  Design and implementation of HLA time management in the RTI version F.0 , 1997, WSC '97.

[106]  Rolf Ernst,et al.  Challenges and new trends in probabilistic timing analysis , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[107]  Christian Fraboul,et al.  A Probabilistic Analysis of End-To-End Delays on an AFDX Avionic Network , 2009, IEEE Transactions on Industrial Informatics.

[108]  Walid Dabbous,et al.  NEPI: using independent simulators, emulators, and testbeds for easy experimentation , 2010, OPSR.

[109]  Suresh Chalasani,et al.  Fault-Tolerant Wormhole Routing Algorithms for Mesh Networks , 1995, IEEE Trans. Computers.

[110]  Sanjoy K. Baruah,et al.  Schedulability Analysis of Sporadic Tasks with Multiple Criticality Specifications , 2008, 2008 Euromicro Conference on Real-Time Systems.

[111]  Wolfgang Kellerer,et al.  Achieving end-to-end real-time Quality of Service with Software Defined Networking , 2014, 2014 IEEE 3rd International Conference on Cloud Networking (CloudNet).

[112]  Lionel M. Ni,et al.  Fault-tolerant wormhole routing in meshes without virtual channels , 1996, IEEE Transactions on Parallel and Distributed Systems.

[113]  Laurent George,et al.  The Trajectory approach for AFDX FIFO networks revisited and corrected , 2014, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.

[114]  Roman Obermaisser,et al.  Deterministic OpenFlow: Performance evaluation of SDN hardware for avionic networks , 2015, 2015 11th International Conference on Network and Service Management (CNSM).

[115]  Jari Nurmi,et al.  Fault tolerant XGFT network on chip for multi processor system on chip circuits , 2005, International Conference on Field Programmable Logic and Applications, 2005..

[116]  Sanjoy K. Baruah,et al.  Mixed-criticality scheduling on multiprocessors , 2013, Real-Time Systems.

[117]  Rolf Ernst,et al.  Formal worst-case performance analysis of time-sensitive Ethernet with frame preemption , 2016, 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA).

[118]  Liliana Cucu-Grosjean,et al.  Measurement-Based Probabilistic Timing Analysis for Multi-path Programs , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[119]  Piet Van Mieghem,et al.  On the complexity of QoS routing , 2003, Comput. Commun..

[120]  Rolf Ernst,et al.  A software update service with self-protection capabilities , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[121]  James W. Layland,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.