{"title":"Practical Aspects Of Development Of Embedded Systems With RTCP-nets And Adder Tools","authors":"M. Szpyrka","doi":"10.1109/MIXDES.2006.1706679","DOIUrl":null,"url":null,"abstract":"Using of formal methods at different stages in the embedded system development process may both increase the quality of developed software and reduce the cost of its testing and the debugging. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of models and its automatic verification. The presented approach is based on a class of Petri nets called RTCP-nets. The paper focuses on computer tools, that are being developed at AGH University of Science and Technology in Krakow, that support the design and verification of hierarchical RTCP-nets models. A short description of hierarchical RTCP-nets and a survey of main software features are presented in the paper","PeriodicalId":318768,"journal":{"name":"Proceedings of the International Conference Mixed Design of Integrated Circuits and System, 2006. MIXDES 2006.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2006-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the International Conference Mixed Design of Integrated Circuits and System, 2006. MIXDES 2006.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MIXDES.2006.1706679","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
Using of formal methods at different stages in the embedded system development process may both increase the quality of developed software and reduce the cost of its testing and the debugging. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of models and its automatic verification. The presented approach is based on a class of Petri nets called RTCP-nets. The paper focuses on computer tools, that are being developed at AGH University of Science and Technology in Krakow, that support the design and verification of hierarchical RTCP-nets models. A short description of hierarchical RTCP-nets and a survey of main software features are presented in the paper
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
