From Formal Test Objectives to TTCN-3 for Verifying ETCS Complex Software Control Systems

Ameur-Boulifa, Rabéa; Cavalli, Ana R.; Maag, Stéphane

doi:10.1007/978-3-030-52991-8_8

Search citation statements

Order By: Relevance

Paper Sections

Select...

Usefulness αFm: How Is Usefulness Achieved? Is the Approach Effective? What Would Have Been Different If A Conventional Or Non-f1

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2021

Publication Types

Select...

Article1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(2 citation statements)

References 32 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…For tools, besides the command-line syntax documented in manual pages, CADP provides for more novice users a graphical user interface with contextual menus for easy invocation of the various tools: "Through the Xeuca interface (see Figure 4) [the] CADP toolbox allows an easy access to the offered functionalities." [1,Section 5.3]. The SVL language enables a versatile description of complex verification scenarios, applies automatically various heuristics for combating state explosion, and provides support for batch-mode execution of verification experiments.…”

Section: Usefulness αFm: How Is Usefulness Achieved? Is the Approach Effective? What Would Have Been Different If A Conventional Or Non-fmentioning

confidence: 99%

“…Formal Methods [17,16] are a wide spectrum of languages, techniques, and tools, strongly rooted in theory, for the design, analysis, and validation of systems. CADP (Construction and Analysis of Distributed Processes) 1 [21] is a comprehensive toolbox that implements the results of concurrency theory. Started in the mid 80's, CADP initially consisted of only two tools.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Is CADP an Applicable Formal Method?

Garavel¹,

Lang²,

Mateescu³

et al. 2021

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

Section: Usefulness αFm: How Is Usefulness Achieved? Is the Approach Effective? What Would Have Been Different If A Conventional Or Non-fmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%