Szczegóły publikacji
Opis bibliograficzny
Comparative analysis of methods and tools for formal modelling and verification for embedded systems : probabilistic approach / Marek Zbigniew GOLONKA // W: MIXDES 2021 [Dokument elektroniczny] : Mixed Design of Integrated Circuits and Systems : book of abstracts of 28th international conference : Łódź, Poland June 24 – 26, 2021 / ed. by Andrzej Napieralski ; Lodz University of Technology, [etc.]. — Wersja do Windows. — Dane tekstowe. — Łódź : Lodz University of Technology, cop. 2021. — e-ISBN: 978-83-63578-19-0. — S. 87. — Wymagania systemowe: Adobe Reader. — Tryb dostępu: https://www.mixdes.org/downloads/MIXDES2021_BoA.pdf [2021-06-23]. — Pełny tekst w: https://www.mixdes.org/downloads/MIXDES2021.pdf [2021-07-27]. — S. 265--273. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 273, Abstr. — ISBN: 978-83-63578-19-0. — Toż. w: https://ieeexplore-1ieee-1org-10000478900f4.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=9497642 [2021-09-30]
Autor
Słowa kluczowe
Dane bibliometryczne
| ID BaDAP | 134877 |
|---|---|
| Data dodania do BaDAP | 2021-06-24 |
| Rok publikacji | 2021 |
| Typ publikacji | materiały konferencyjne (aut.) |
| Otwarty dostęp |  |
| Wydawca | Uniwersytet Łódzki |
Abstract
Research is focused on approximation modeling and analysis of software correctness. Part of research include gathering information about methods such as Markov Chain, Markov Process, stochastic Petri net, Probabilistic Timed Automata and software tools which allows to present formal modelling for embedded systems examples. This article describes short introductions to aforementioned methods and software tools which are intended to help researchers during process of analysis and design of real time systems. Additionally article describe recent state of art of few example articles for formal modelling usage. © 2021 Lodz University of Technology.