嵌入式系统形式化建模与验证方法与工具的比较分析。概率方法

2021 28th International Conference on Mixed Design of Integrated Circuits and System Pub Date : 2021-06-24 DOI:10.23919/MIXDES52406.2021.9497642

Marek Golonka

{"title":"嵌入式系统形式化建模与验证方法与工具的比较分析。概率方法","authors":"Marek Golonka","doi":"10.23919/MIXDES52406.2021.9497642","DOIUrl":null,"url":null,"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.","PeriodicalId":375541,"journal":{"name":"2021 28th International Conference on Mixed Design of Integrated Circuits and System","volume":"14 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-06-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Comparative Analysis of Methods and Tools for Formal Modelling and Verification for Embedded Systems. Probabilistic Approach\",\"authors\":\"Marek Golonka\",\"doi\":\"10.23919/MIXDES52406.2021.9497642\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":375541,\"journal\":{\"name\":\"2021 28th International Conference on Mixed Design of Integrated Circuits and System\",\"volume\":\"14 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-06-24\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2021 28th International Conference on Mixed Design of Integrated Circuits and System\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.23919/MIXDES52406.2021.9497642\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2021 28th International Conference on Mixed Design of Integrated Circuits and System","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.23919/MIXDES52406.2021.9497642","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

研究的重点是逼近建模和软件正确性分析。部分研究包括收集关于马尔可夫链、马尔可夫过程、随机Petri网、概率时间自动机等方法的信息，以及允许为嵌入式系统示例提供形式化建模的软件工具。本文简要介绍了上述方法和软件工具，旨在帮助研究人员在实时系统的分析和设计过程中。此外，文章还描述了一些正式建模使用的实例文章的最新技术状态。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Comparative Analysis of Methods and Tools for Formal Modelling and Verification for Embedded Systems. Probabilistic Approach

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 28th International Conference on Mixed Design of Integrated Circuits and System

自引率

0.00%

发文量