{"title":"HW/SW components for real-time systems co-design","authors":"Roman Gumzej, Matjai Colnarii","doi":"10.1109/ITI.2001.938055","DOIUrl":null,"url":null,"abstract":"In the article a HW/SW co-design methodology is presented, which enables early reasoning about system integration as well as verification of the designs. Specification PEARL methodology is based on a specification language with the same name, whose origins are in the standard Multiprocessor PEARL language. It has been enhanced by additional components for asymmetrical multiprocessor systems design as well as by additional parameters for schedulability analysis. Timed State Transition Diagrams have been introduced for program/task modelling, supporting the PEARL process model. The resulting task models are easily translated to PEARL task prototypes. The methodology and its specification language components are presented.","PeriodicalId":375405,"journal":{"name":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","volume":"101 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 23rd International Conference on Information Technology Interfaces, 2001. ITI 2001.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ITI.2001.938055","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
In the article a HW/SW co-design methodology is presented, which enables early reasoning about system integration as well as verification of the designs. Specification PEARL methodology is based on a specification language with the same name, whose origins are in the standard Multiprocessor PEARL language. It has been enhanced by additional components for asymmetrical multiprocessor systems design as well as by additional parameters for schedulability analysis. Timed State Transition Diagrams have been introduced for program/task modelling, supporting the PEARL process model. The resulting task models are easily translated to PEARL task prototypes. The methodology and its specification language components are presented.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
