一个面向对象的环境，用于实时并发系统的建模、仿真和分析

Proceedings First International Workshop on Distributed Interactive Simulation and Real Time Applications Pub Date : 1997-01-09 DOI:10.1109/IDSRTA.1997.568656

A. Borshchev, Y. Karpov, Victor Roudakov

{"title":"一个面向对象的环境，用于实时并发系统的建模、仿真和分析","authors":"A. Borshchev, Y. Karpov, Victor Roudakov","doi":"10.1109/IDSRTA.1997.568656","DOIUrl":null,"url":null,"abstract":"Gives an overview of COVERS 3.0-a Microsoft Windows-based modeling and simulation environment for concurrent real-time systems. COVERS offers an object-oriented modeling methodology based on C++ and the Statecharts behavioral notation. Timed transition systems are used as a model semantics. COVERS enables the user to perform the whole modeling and simulation cycle within a single graphical environment, where every bit of the specification is animated and accessible. Extendible libraries of frequently used objects are supplied, as well as models of classical systems for educational purposes. COVERS 3.0 is free software, available over the Internet for non-commercial use.","PeriodicalId":117186,"journal":{"name":"Proceedings First International Workshop on Distributed Interactive Simulation and Real Time Applications","volume":"109 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-01-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"COVERS 3.0-an object-oriented environment for modeling, simulation and analysis of real-time concurrent systems\",\"authors\":\"A. Borshchev, Y. Karpov, Victor Roudakov\",\"doi\":\"10.1109/IDSRTA.1997.568656\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Gives an overview of COVERS 3.0-a Microsoft Windows-based modeling and simulation environment for concurrent real-time systems. COVERS offers an object-oriented modeling methodology based on C++ and the Statecharts behavioral notation. Timed transition systems are used as a model semantics. COVERS enables the user to perform the whole modeling and simulation cycle within a single graphical environment, where every bit of the specification is animated and accessible. Extendible libraries of frequently used objects are supplied, as well as models of classical systems for educational purposes. COVERS 3.0 is free software, available over the Internet for non-commercial use.\",\"PeriodicalId\":117186,\"journal\":{\"name\":\"Proceedings First International Workshop on Distributed Interactive Simulation and Real Time Applications\",\"volume\":\"109 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-01-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings First International Workshop on Distributed Interactive Simulation and Real Time Applications\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IDSRTA.1997.568656\",\"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 First International Workshop on Distributed Interactive Simulation and Real Time Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IDSRTA.1997.568656","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

概述了covers3.0——一个基于Microsoft windows的并发实时系统建模和仿真环境。COVERS提供了一种基于c++和Statecharts行为表示法的面向对象建模方法。定时转换系统被用作模型语义。COVERS使用户能够在单个图形环境中执行整个建模和仿真周期，其中规范的每一点都是动画和可访问的。提供了常用对象的可扩展库，以及用于教育目的的经典系统模型。cover3.0是免费软件，可以在互联网上进行非商业用途。

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

查看原文本刊更多论文

COVERS 3.0-an object-oriented environment for modeling, simulation and analysis of real-time concurrent systems

Gives an overview of COVERS 3.0-a Microsoft Windows-based modeling and simulation environment for concurrent real-time systems. COVERS offers an object-oriented modeling methodology based on C++ and the Statecharts behavioral notation. Timed transition systems are used as a model semantics. COVERS enables the user to perform the whole modeling and simulation cycle within a single graphical environment, where every bit of the specification is animated and accessible. Extendible libraries of frequently used objects are supplied, as well as models of classical systems for educational purposes. COVERS 3.0 is free software, available over the Internet for non-commercial use.

求助全文

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

来源期刊

Proceedings First International Workshop on Distributed Interactive Simulation and Real Time Applications

自引率

0.00%

发文量