Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey

Dssouli, Rachida; Khoumsi, Ahmed; Elqortobi, Mounia

doi:10.1016/bs.adcom.2017.06.002

Cited by 17 publications

(4 citation statements)

References 66 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Nevertheless, testing remains an important activity in system development. Test sequence generation has extensively been discussed in the literature [78], sometimes associated with model checking [79], [80].…”

Section: Test Sequence Generationmentioning

confidence: 99%

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

et al. 2022

View full text Add to dashboard Cite

Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE). Several papers have discussed the benefits and potential, but also the limitations, of using MBSE, based on literature surveys and analyze feedback from academia and industry. The current paper explores a complementary avenue and aims at giving students and industry practitioners a set of keys and decision criteria to select MBSE languages, tools and methods. Languages, tools and methods are categorised and selection criteria are proposed for a panorama of languages that goes beyond SysML and other techniques commonly associated with MBSE. In addition, research avenues for the future of MBSE are identified. The discussion relies on the authors' experience in teaching and using system engineering and MBSE in both academia and industry, as well as on the experience shared within the framework of Concorde, a French project dedicated to drone systems design methodologies.

show abstract

Section: Test Sequence Generationmentioning

confidence: 99%

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

et al. 2022

View full text Add to dashboard Cite

show abstract

“…In [26] Reilly, Edwars, Peak and Mavris state that 'modelbased methods must provide more than just descriptive information'. Models become references for early debugging of design errors in the first steps of the system's life cycle [27], for automated code generation [28], and for automated generation of test sequences [29].…”

Section: Mbse Toolsmentioning

confidence: 99%

MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey

Chaudemar

Saqui-Sannes

2021

2021 IEEE International Systems Conference (SysCon)

View full text Add to dashboard Cite

Switching from document-centric engineering to Model Based Systems Engineering (MBSE), Systems Engineering (SE) has significantly evolved in terms of standard practices for the design of complex, interdisciplinary systems. MBSE consists in a top-down, model based approach to describe the entire system focusing on different points of view that cover at least structural and behavioral descriptions. Over the past decade, the need to perform an engineering analysis in the early steps of the system's life cycle has opened avenues for joint use of MBSE and Multidisciplinary Design Analysis and Optimization (MDAO). MDAO is fully dedicated to Analysis and Optimization: the model is restricted to a single aspect of the system that is described in details in a formal language that will be the input of the associated computing tool. This paper surveys and categorizes MBSE and MDAO approaches for better understanding of how MBSE and MDAO can be associated in a systems engineering project. Lessons learned from this literature survey will be used in the framework of French project Concorde. One major expected achievement of the project is to design and implement a methodology to populate parts of the MDAO modeling approach directly from the MBSE one, applied to a UAV case study.

show abstract

“…FSMs have been extended to express time constraints, which has resulted in a variety of timed FSMs [16,4,9,27,10]. Timed FSMs are not compared to the well-known timed automata [1] for which testing approaches have been developed [14,8,6] . Testing approaches [9,27,10,24] for timed FSMs integrate the reasoning on time constraints in well-known FSM-based testing approaches [25,5].…”

Section: Introductionmentioning

confidence: 99%

Fault Detection for Timed FSM with Timeouts by Constraint Solving

Timo,

Prestat,

Avellaneda

2018

Preprint

View full text Add to dashboard Cite

Recently, an efficient constraint solving-based approach has been developed to detect logical faults in systems specified with classical finite state machines (FSMs). The approach is unsuitable to detect violations of time constraints. In this paper, we lift the approach to generated tests detecting both logical faults and violations of time constraints in systems specified with timed FSMs with timeouts (TFSMs-T). We propose a method to verify whether a given test suite is complete, i.e., it detects all the faulty implementations in a fault-domain and a method to generate a complete test suite. We conduct experiments to evaluate the scalability of the proposed methods.

show abstract

Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey

Cited by 17 publications

References 66 publications

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

MBSE and MDAO for Early Validation of Design Decisions: a Bibliography Survey

Fault Detection for Timed FSM with Timeouts by Constraint Solving

Contact Info

Product

Resources

About