TL:用于系统分析的系统级规范语言

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI:10.1109/ECBS.1996.494535

L. Benders

{"title":"TL:用于系统分析的系统级规范语言","authors":"L. Benders","doi":"10.1109/ECBS.1996.494535","DOIUrl":null,"url":null,"abstract":"Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification semantics are defined with Coloured Petri nets. A graphical toolbox using these nets generates performance information and utilization rates of resources. This information is used to rearrange the specification to get a more efficient implementation. It is easy to rearrange a specification in TL. This simplicity in the specification language requires complex modelling strategies in Coloured Petri nets. Fortunately, the designer never sees these nets.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"130 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"TL: a system-level specification language for system analysis\",\"authors\":\"L. Benders\",\"doi\":\"10.1109/ECBS.1996.494535\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification semantics are defined with Coloured Petri nets. A graphical toolbox using these nets generates performance information and utilization rates of resources. This information is used to rearrange the specification to get a more efficient implementation. It is easy to rearrange a specification in TL. This simplicity in the specification language requires complex modelling strategies in Coloured Petri nets. Fortunately, the designer never sees these nets.\",\"PeriodicalId\":244671,\"journal\":{\"name\":\"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems\",\"volume\":\"130 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-03-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ECBS.1996.494535\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECBS.1996.494535","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

分析嵌入式系统的系统级规范有助于找到更好的实现方案。为设计人员定制的规范语言任务级别可以指定系统的功能和时间行为。用彩色Petri网定义语言语义，从而定义设计规范语义。使用这些网络的图形工具箱生成性能信息和资源利用率。该信息用于重新安排规范，以获得更有效的实现。在TL中重新安排规范很容易，规范语言的这种简单性需要在有色Petri网中采用复杂的建模策略。幸运的是，设计师从未见过这些网。

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

查看原文本刊更多论文

TL: a system-level specification language for system analysis

Analysis of the system-level specifications of embedded systems improves finding a better implementation. The specification language Task Level, custom tailored for designers, can specify the functional and temporal behaviour of the system. The language semantics and thus the design specification semantics are defined with Coloured Petri nets. A graphical toolbox using these nets generates performance information and utilization rates of resources. This information is used to rearrange the specification to get a more efficient implementation. It is easy to rearrange a specification in TL. This simplicity in the specification language requires complex modelling strategies in Coloured Petri nets. Fortunately, the designer never sees these nets.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems

自引率

0.00%

发文量