Full metadata record
DC pole | Hodnota | Jazyk |
---|---|---|
dc.contributor.author | Ausberger, Tomáš | |
dc.contributor.author | Kubíček, Karel | |
dc.contributor.author | Medvecová, Pavla | |
dc.contributor.author | Myslivec, Tomáš | |
dc.contributor.author | Štětina, Milan | |
dc.date.accessioned | 2021-03-01T11:00:24Z | - |
dc.date.available | 2021-03-01T11:00:24Z | - |
dc.date.issued | 2020 | |
dc.identifier.citation | AUSBERGER, T., KUBÍČEK, K., MEDVECOVÁ, P., MYSLIVEC, T., ŠTĚTINA, M. Model Checking application on Function Block Diagram model. In: IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. New York: IEEE, 2020. s. 1807-1814. ISBN 978-1-72818-956-7, ISSN 1946-0740. | cs |
dc.identifier.isbn | 978-1-72818-956-7 | |
dc.identifier.issn | 1946-0740 | |
dc.identifier.uri | 2-s2.0-85093357615 | |
dc.identifier.uri | http://hdl.handle.net/11025/42769 | |
dc.format | 8 s. | cs |
dc.format.mimetype | application/pdf | |
dc.language.iso | en | en |
dc.publisher | IEEE | en |
dc.relation.ispartofseries | IEEE International Conference on Emerging Technologies and Factory Automation, ETFA | en |
dc.rights | Plný text není přístupný. | cs |
dc.rights | © IEEE | en |
dc.title | Model Checking application on Function Block Diagram model | en |
dc.type | konferenční příspěvek | cs |
dc.type | conferenceObject | en |
dc.rights.access | closedAccess | en |
dc.type.version | publishedVersion | en |
dc.description.abstract-translated | Model Checking represents a mathematical method of formal verification which can prove that model satisfies its specified requirements. This article describes an approach that utilizes Function Block Diagram (FBD) models. The key benefit of this approach is the automatic transformation of the original model into a formal model which can be checked by Model Checking. In this way Model Checking can be easier integrated in the standard development process. The presented approach was developed together with the new verification process. This process can be used for the verification of safety-critical systems. | en |
dc.subject.translated | Formal model | en |
dc.subject.translated | Functional Block Diagram | en |
dc.subject.translated | Model Checking | en |
dc.subject.translated | model conversion | en |
dc.subject.translated | nuclear power plant | en |
dc.subject.translated | REXYGEN | en |
dc.subject.translated | safety-critical system | en |
dc.subject.translated | SMV | en |
dc.subject.translated | verification | en |
dc.identifier.doi | 10.1109/ETFA46521.2020.9212180 | |
dc.type.status | Peer-reviewed | en |
dc.identifier.obd | 43930685 | |
dc.project.ID | EF17_048/0007267/InteCom: VaV inteligentních komponent pokročilých technologií pro plzeňskou metropolitní oblast | cs |
dc.project.ID | TK01020068/Využití metodiky Model checking pro testování systémů I&C v jaderné energetice | cs |
dc.project.ID | SGS-2019-020/Rozvoj a využití kybernetických systémů identifikace, diagnostiky a řízení 4 | cs |
dc.project.ID | LO1506/PUNTIS - Podpora udržitelnosti centra NTIS - Nové technologie pro informační společnost | cs |
Vyskytuje se v kolekcích: | Konferenční příspěvky / Conference papers (NTIS) Konferenční příspěvky / Conference Papers (KKY) OBD |
Soubory připojené k záznamu:
Soubor | Velikost | Formát | |
---|---|---|---|
09212180.pdf | 515,23 kB | Adobe PDF | Zobrazit/otevřít Vyžádat kopii |
Použijte tento identifikátor k citaci nebo jako odkaz na tento záznam:
http://hdl.handle.net/11025/42769
Všechny záznamy v DSpace jsou chráněny autorskými právy, všechna práva vyhrazena.