A SysML Method with Network Dimensioning

Acceptance of the Systems Modeling Language (SysML) among system engineers heavily depends on the method and tool associated with the language. This particularly applies to a family of systems where increasing data exchanges between equipments create high requirements for the networks. The paper therefore revisits the method associated with the free SysML tool TTool in order to take network dimensioning into account in the early steps of the life cycle of distributed systems. TTool is interfaced with WoPANets, a tool based on network calculus theory. An AFDX network serves as case study.

[1]  Ludovic Apvrille,et al.  Early Checking of SysML Models Applied to Protocols , 2018 .

[2]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[3]  Ahlem Mifdaoui,et al.  WOPANets: A tool for WOrst case Performance Analysis of embedded Networks , 2010, 2010 15th IEEE International Workshop on Computer Aided Modeling, Analysis and Design of Communication Links and Networks (CAMAD).

[4]  Emmanuel Lochin,et al.  Network Calculus-based Timing Analysis of AFDX networks with Strict Priority and TSN/BLS Shapers , 2018, 2018 IEEE 13th International Symposium on Industrial Embedded Systems (SIES).

[5]  Ludovic Apvrille,et al.  Real-Time Distributed Systems Dimensioning and Validation: The TURTLE Method , 2010, Stud. Inform. Univ..

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

[7]  Marc Boyer,et al.  Performance impact of the interactions between time -triggered and rate-constrained transmissions in TTEthernet , 2016 .

[8]  Lothar Thiele,et al.  Influence of different abstractions on the performance analysis of distributed hard real-time systems , 2009, Des. Autom. Embed. Syst..

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

[10]  Cheng-Shang Chang,et al.  Performance guarantees in communication networks , 2000, Eur. Trans. Telecommun..

[11]  Henrik Schiøler,et al.  CyNC: a MATLAB/SimuLink toolbox for network calculus , 2007, VALUETOOLS.

[12]  Jérôme Hugues,et al.  Refinement of AADL models using early-stage analysis methods : An avionics example , 2013 .

[13]  J. Javier Gutiérrez,et al.  MAST: Modeling and Analysis Suite for Real Time Applications , 2001, ECRTS.