Simulation and Formal Verification of Real Time Systems: A Case Study

Seabra, Eurico; Machado, José; Silva, Jaime Ferreira da; Soares, Filomena; Leão, Celina Pinto

doi:10.5220/0001636703080313

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2007

2009

Publication Types

Select...

Article1

Other1

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

A New Plant Modelling Approach for Formal Verification Purposes

Machado

Seabra

Soares

et al. 2007

IFAC Proceedings Volumes

View full text Add to dashboard Cite

This paper presents a new approach in plant modeling for the formal verification of real time systems. A system composed by two tanks is used, where all its components are modeled by simple modules and all the interdependences of the system's modular models are presented. As innovating parameters in the plant modeling, having as purpose its use on formal verification tasks, the plant is modeled using Dymola software and Modelica programming language. The results obtained in simulation are used to define the plant models that are used for the formal verification tasks, using the model-checker UPPAAL. The paper presents, in a more detailed way, the part of this work that is related to formal verification, being pointing out the used plant modeling approach.

show abstract