Publicação
A new plant modelling approach for formal verification purposes
| Resumo: | 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. |
|---|---|
| Autores principais: | Machado, José |
| Outros Autores: | Seabra, Eurico; Soares, Filomena; Campos, J. Creissac |
| Assunto: | Safe Systems Real Time Systems Plant Models Formal Verification Engenharia e Tecnologia::Engenharia Mecânica |
| Ano: | 2007 |
| País: | Portugal |
| Tipo de documento: | comunicação em conferência |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| _version_ | 1867438123481300992 |
|---|---|
| author | Machado, José |
| author2 | Seabra, Eurico Soares, Filomena Campos, J. Creissac |
| author2_role | author author author |
| author_facet | Machado, José Seabra, Eurico Soares, Filomena Campos, J. Creissac |
| author_role | author |
| contributor_name_str_mv | RepositóriUM - Universidade do Minho |
| country_str | PT |
| creators_json_txt | [{\"Person.name\":\"Machado, José\"},{\"Person.name\":\"Seabra, Eurico\"},{\"Person.name\":\"Soares, Filomena\"},{\"Person.name\":\"Campos, J. Creissac\"}] |
| datacite.contributors.contributor.contributorName.fl_str_mv | RepositóriUM - Universidade do Minho |
| datacite.creators.creator.creatorName.fl_str_mv | Machado, José Seabra, Eurico Soares, Filomena Campos, J. Creissac |
| datacite.date.Accepted.fl_str_mv | 2007-01-01T00:00:00Z |
| datacite.date.available.fl_str_mv | 2015-10-14T15:23:36Z |
| datacite.date.embargoed.fl_str_mv | 2015-10-14T15:23:36Z |
| datacite.rights.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| datacite.subjects.subject.fl_str_mv | Safe Systems Real Time Systems Plant Models Formal Verification Engenharia e Tecnologia::Engenharia Mecânica |
| datacite.titles.title.fl_str_mv | A new plant modelling approach for formal verification purposes |
| dc.contributor.none.fl_str_mv | RepositóriUM - Universidade do Minho |
| dc.creator.none.fl_str_mv | Machado, José Seabra, Eurico Soares, Filomena Campos, J. Creissac |
| dc.date.Accepted.fl_str_mv | 2007-01-01T00:00:00Z |
| dc.date.available.fl_str_mv | 2015-10-14T15:23:36Z |
| dc.date.embargoed.fl_str_mv | 2015-10-14T15:23:36Z |
| dc.format.none.fl_str_mv | application/pdf |
| dc.identifier.none.fl_str_mv | https://hdl.handle.net/1822/37637 |
| dc.language.none.fl_str_mv | eng |
| dc.rights.none.fl_str_mv | http://purl.org/coar/access_right/c_abf2 |
| dc.subject.none.fl_str_mv | Safe Systems Real Time Systems Plant Models Formal Verification Engenharia e Tecnologia::Engenharia Mecânica |
| dc.title.fl_str_mv | A new plant modelling approach for formal verification purposes |
| dc.type.none.fl_str_mv | http://purl.org/coar/resource_type/c_5794 |
| description | 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. |
| dirty | 0 |
| eu_rights_str_mv | openAccess |
| format | conferencePaper |
| fulltext.url.fl_str_mv | https://repositorium.uminho.pt/bitstreams/9348dcf3-c82f-4c49-98ea-1812721bcbda/download |
| id | rum_0b54a3c8a22cce4b1fb2913f8a291dfd |
| identifier.url.fl_str_mv | https://hdl.handle.net/1822/37637 |
| instacron_str | repositorium |
| institution | Universidade do Minho |
| instname_str | Universidade do Minho |
| language | eng |
| network_acronym_str | rum |
| network_name_str | RepositóriUM - Universidade do Minho |
| oai_identifier_str | oai:repositorium.uminho.pt:1822/37637 |
| organization_str_mv | urn:organizationAcronym:repositorium |
| person_str_mv | Machado, José Seabra, Eurico Soares, Filomena Campos, J. Creissac |
| publishDate | 2007 |
| reponame_str | RepositóriUM - Universidade do Minho |
| repository_id_str | urn:repositoryAcronym:rum |
| service_str_mv | urn:repositoryAcronym:rum |
| spelling | engporThis 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.application/pdfporA new plant modelling approach for formal verification purposesMachado, JoséSeabra, EuricoSoares, FilomenaCampos, J. CreissacHostingInstitutionOrganizationalRepositóriUM - Universidade do Minhoe-mailmailto:repositorium@usdb.uminho.ptrepositorium@usdb.uminho.ptCITATIONMachado J, Seabra E, Soares F, Campos JC. 2007. A New Plant Modelling Approach For Formal Verification Purposes. 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems - Theory and Applications (LSS 2007).ISBNIsPartOf9783902661258ISSNIsPartOf1474-6670DOIIsPartOf10.3182/20070723-3-PL-2917.000272015-10-14T15:23:36Z20072007-01-01T00:00:00ZHandlehttps://hdl.handle.net/1822/37637http://purl.org/coar/access_right/c_abf2open accessSafe SystemsReal Time SystemsPlant ModelsFormal Verificationhttp://www.oecd.org/science/inno/38235147.pdfFields of Science and Technology (FOS)Engenharia e Tecnologia::Engenharia Mecânica462758 bytesother research producthttp://purl.org/coar/resource_type/c_5794conference paperhttp://purl.org/coar/access_right/c_abf2application/pdffulltexthttps://repositorium.uminho.pt/bitstreams/9348dcf3-c82f-4c49-98ea-1812721bcbda/download |
| spellingShingle | A new plant modelling approach for formal verification purposes Machado, José Safe Systems Real Time Systems Plant Models Formal Verification Engenharia e Tecnologia::Engenharia Mecânica |
| status | SINGLETON |
| subject.fl_str_mv | Safe Systems Real Time Systems Plant Models Formal Verification |
| subject.other.fl_str_mv | Engenharia e Tecnologia::Engenharia Mecânica |
| title | A new plant modelling approach for formal verification purposes |
| title_full | A new plant modelling approach for formal verification purposes |
| title_fullStr | A new plant modelling approach for formal verification purposes |
| title_full_unstemmed | A new plant modelling approach for formal verification purposes |
| title_short | A new plant modelling approach for formal verification purposes |
| title_sort | A new plant modelling approach for formal verification purposes |
| topic | Safe Systems Real Time Systems Plant Models Formal Verification Engenharia e Tecnologia::Engenharia Mecânica |
| topic_facet | Safe Systems Real Time Systems Plant Models Formal Verification Engenharia e Tecnologia::Engenharia Mecânica |
| url | https://hdl.handle.net/1822/37637 |
| visible | 1 |