{"title":"On Formal Modeling of TOPPERS Embedded Software","authors":"Yoshinobu Kawabe, N. Ito, N. Ishii","doi":"10.1109/SERA.2010.22","DOIUrl":null,"url":null,"abstract":"Today embedded software is widely used. As the complexity of embedded systems grows, the number of tasks performed by embedded software is increasing. These tasks must communicate with each other to achieve synchronization. And therefore, the growing complexity of communications is making it increasingly difficult to program and debug these tasks. To confirm the correctness of embedded software, this paper introduces a formal specification language for embedded systems that can deal with their concurrent nature. After formalizing the APIs of an embedded real-time operating system, we demonstrate how to describe and verify embedded software formally.","PeriodicalId":102108,"journal":{"name":"2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-05-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 Eighth ACIS International Conference on Software Engineering Research, Management and Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SERA.2010.22","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
Today embedded software is widely used. As the complexity of embedded systems grows, the number of tasks performed by embedded software is increasing. These tasks must communicate with each other to achieve synchronization. And therefore, the growing complexity of communications is making it increasingly difficult to program and debug these tasks. To confirm the correctness of embedded software, this paper introduces a formal specification language for embedded systems that can deal with their concurrent nature. After formalizing the APIs of an embedded real-time operating system, we demonstrate how to describe and verify embedded software formally.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
