A SysML Method with Network Dimensioning

Daigmorte, Hugo; Saqui-Sannes, Pierre de; Vingerhoeds, Rob A.

doi:10.1109/isse46696.2019.8984437

Cited by 5 publications

(3 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…UCcheck was first interfaced with TTool, the free software from Telecom Paris that we used to draw the use case diagrams in Figure 1 and Figure 3. TTool has further been applied for teaching, enhancing the expression power of SysML [31], and for tooling the first steps of the life cycle of systems [32] [10] The use of UCcheck is not restricted to TTool. Indeed, UCcheck stores use case diagrams using an intermediate form that is not specific to one particular UML or SysML tool.…”

Section: Discussionmentioning

confidence: 99%

A Methodological Assistant for UML and SysML Use Case Diagrams

Aquino

Saqui-Sannes

Vingerhoeds

2021

Communications in Computer and Information Science

View full text Add to dashboard Cite

Use case driven analysis is the corner stone of software and systems modeling in UML and SysML, respectively. A use case diagram identifies the main functions to be offered by the system and showcases the interactions between in-system use cases and out-system users. Identifying and organizing use cases requires good abstraction skills. Therefore, many students and industry practitioners face methodological problems in writing good use cases. Many books and tutorials have addressed the subject. Nevertheless, integration of use case elaboration principles into a UML or SysML tool still remains an open issue. This paper proposes solutions and discusses implementation in a methodological assistant named UCCheck. The latter helps use case diagrams designers to rely on formalized rules and reuse of previous diagrams to create and review their use case diagrams. Implemented in Python, UCCheck is interfaced with the free SysML software TTool and with Cameo Systems Modeler, leaving doors open for other UML or SysML tools.

show abstract

Section: Discussionmentioning

confidence: 99%

A Methodological Assistant for UML and SysML Use Case Diagrams

Aquino

Saqui-Sannes

Vingerhoeds

2021

Communications in Computer and Information Science

View full text Add to dashboard Cite

show abstract

“…UCcheck was first interfaced with TTool, the free software from Telecom Paris that we used to draw the use case diagrams in Figure 1 and Figure 2. TTool has further been applied for teaching, enhancing the expression power of SysML (de Saqui-Sannes and Apvrille, 2016), and for tooling the first steps of the life cycle of systems (de Saqui-Sannes et al, 2018) (Mattei et al, 2017) (Daigmorte et al, 2019).…”

Section: Discussionmentioning

confidence: 99%

A Methodological Assistant for Use Case Diagrams

Aquino

Saqui-Sannes

Vingerhoeds

2020

Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development

Self Cite

View full text Add to dashboard Cite

Use case driven analysis is the corner stone of software and systems modeling in UML and SysML, respectively. Although many books and tutorials have discussed the use of use case diagrams, students and industry practitioners regularly face methodological problems in writing good use cases. This paper defines a methodological assistant that helps designing use case diagrams relying on formalized rules and reuse of previous diagrams. The methodological assistant is implemented in Python. It is interfaced with the free SysML software TTool, and with Cameo Systems Modeler.

show abstract

“…In general, most works are based on Network Calculus algorithms [26], thus results are based on a worst-case mathematical modelling. In [46] and in [47] two implementations based on Network Calculus are presented.…”

Section: Related Workmentioning

confidence: 99%

Verification and Validation Framework for AFDX Avionics Networks

Villegas

Fortes

Escano³

et al. 2022

IEEE Access

View full text Add to dashboard Cite

Aircrafts fully rely in a wide variety of electronic systems: sensors, navigation equipment, representation screens and communication elements. The interconnection of these avionics implies a huge challenge for the aircraft communication networks. Extremely stringent requirements in terms of reliability and predictability have to be provided for a safe operation. There are also important limitations to recreate those networks in a prototype form, due to the costs of the related equipment and the interest of testing different architectures and possible configurations dynamically. Moreover, performance estimation approaches based solely on network calculus provide limits for worst-case scenarios, without generating a detailed feedback under different circumstances and configurations of the network and different data sources. In this context, the present work proposes and develops an evaluation framework for avionics networks in order to support the verification and validation (V&V) procedures of the communication system before applying for certification. The proposed framework implements an event-based simulator in Simulink for Avionics Full-Duplex Switched Ethernet (AFDX), one of the most extended data protocols for avionics. This is evaluated in comparison with network calculus and bibliography performance estimation approaches, demonstrating its accuracy and capabilities.

show abstract

A SysML Method with Network Dimensioning

Cited by 5 publications

References 13 publications

A Methodological Assistant for UML and SysML Use Case Diagrams

A Methodological Assistant for UML and SysML Use Case Diagrams

A Methodological Assistant for Use Case Diagrams

Verification and Validation Framework for AFDX Avionics Networks

Contact Info

Product

Resources

About