Exhaustive property oriented model-based testing with symbolic finite state machines

Huang, Wen-ling; Krafczyk, Niklas; Peleska, Jan

doi:10.1016/j.scico.2023.103005

Search citation statements

Order By: Relevance

Paper Sections

Select...

Functional Modelling Of Industrial Systems1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Preprint1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 37 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The programming model of industrial software according to the system structure or functional hierarchy decomposition contains the structural information and functional information of the programs [6,7,8,9,10,11,12]. The actual model of the object is described by a set of measured values and represents the actual state of the machine.…”

Section: Functional Modelling Of Industrial Systemsmentioning

confidence: 99%

Software Diagnosis as Intelligent Technologies in Industrial System Maintenance

Froes

2024

Preprint

View full text Add to dashboard Cite

Because of the particularity of the diagnosis task, the software system is required to correctly identify all possible fault types, especially to prevent misdiagnosis or missing diagnosis of abnormal faults. It is also required to evaluate the severity of the fault and predict the deterioration trend to assist users to make timely and correct responses. After the fault diagnosis task is completed, a decision is made as to whether maintenance is required. If maintenance is required, comprehensive analysis and evaluation of feasible maintenance technical schemes are carried out to select the most satisfactory maintenance schemes.

show abstract

Section: Functional Modelling Of Industrial Systemsmentioning

confidence: 99%

Software Diagnosis as Intelligent Technologies in Industrial System Maintenance

Froes

2024

Preprint

View full text Add to dashboard Cite

show abstract

Exhaustive property oriented model-based testing with symbolic finite state machines

Cited by 1 publication

References 37 publications

Software Diagnosis as Intelligent Technologies in Industrial System Maintenance

Software Diagnosis as Intelligent Technologies in Industrial System Maintenance

Contact Info

Product

Resources

About