A generic approach to build plant models for DES verification purposes

doi:10.1109/wodes.2006.382508

2006 8th International Workshop on Discrete Event Systems 2006

DOI: 10.1109/wodes.2006.382508

|View full text |Cite

A generic approach to build plant models for DES verification purposes

Abstract: Abstract-The modeling of plant behavior is often essential in the design, performance analysis or diagnosis of Discrete Event Systems (DES). Yet this task remains a difficult one for which little research has been devoted. In this paper, we propose a technique for building behavioral models specific to large-scale plants, in order to perform a formal verification of the controller by means of "model-checking". In this aim, we have opted to use a modular approach with an appropriate class of automata. To obtain… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2011

2017

Publication Types

Select...

Other5

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 14 publications

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

A simulation platform for automation teaching

Canadas¹,

Barros²,

Machado³

et al. 2013

2013 1st International Conference of the Portuguese Society for Engineering Education (CISPEE)

View full text Add to dashboard Cite

This paper presents a simulation platform that was developed for Automation teaching to 3 rd year students of Mechanical and Electronics Engineering. All the steps, for the development of the platform, are presented and, also, used formalisms and tools are described. A case study is presented, in order to illustrate all steps performed in this context. The main advantage of the simulation platform is that the associated methodology of development can be reproduced to other illustrative examples and, this way, students have more possibilities for learning using new strategies and teaching methodologies related with laboratorial practice.

show abstract

A simulation platform for automation teaching

Canadas¹,

Barros²,

Machado³

et al. 2013

2013 1st International Conference of the Portuguese Society for Engineering Education (CISPEE)

View full text Add to dashboard Cite

show abstract

Coupling timed plant and controller models with urgent transitions without introducing deadlocks

Perin

Faure

2012

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies &Amp; Factory Automation (ETFA 2012)

View full text Add to dashboard Cite

This paper focuses on timed models which represent closed-loop systems composed of a plant and a logic controller. Both the plant and controller models are described in a formalism where urgent transitions are possible, to avoid non-realistic evolutions, and without deadlock when they are separated.It is first shown that deadlocks may occur in the plant model as soon as both models are coupled. To solve this issue, shared variables which model the changes of the inputs of the controller are defined and introduced in some actions of the plant model as well as in some guards of the controller model; the aim of these variables is to authorize evolutions of the controller only when at least one input has changed. This solution removes the previously pinpointed deadlocks and guarantees the reactivity of the controller.

show abstract

Testing automation systems by means of model checking

Buzhinsky

Vyatkin

2017

2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)

View full text Add to dashboard Cite

Industrial automation systems are commonly obliged to comply with correctness requirements and safety standards. Testing and simulation are traditionally used to ensure this compliance. For mission-critical applications, formal verification and model checking in particular are also used, but such techniques are computationally intensive and difficult to apply in practice. This paper searches for synergies between testing and model checking by generalizing an earlier proposed formal test modeling framework. It presents a technique of testing automation systems with the use of model checking, which now supports multiple model checking environments and a more generic test case representation. The proposed technique is applied on a case study involving a simple safety-critical system with timing requirements. Experiments show that the technique is fast despite the use of formal methods and at the same time has several benefits compared to usual testing.

show abstract

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

A generic approach to build plant models for DES verification purposes

Cited by 14 publications

References 21 publications

A simulation platform for automation teaching

A simulation platform for automation teaching

Coupling timed plant and controller models with urgent transitions without introducing deadlocks

Testing automation systems by means of model checking

Contact Info

Product

Resources

About