An IDE for the LARES Toolset
An IDE for the LARES Toolset
复制标题
LARES 工具集的 IDE
DOI：
10.1007/978-3-319-05359-2_17
复制
发表时间：
2014
期刊：
影响因子：
--
通讯作者：
M. Siegle
中科院分区：
文献类型：
--
作者：
A. Gouberman;C. Grand;M. Riedl;M. Siegle
为了支持LARES可靠性模型规范的编辑、验证和分析，已经开发了用于执行实验的文本编辑器和图形用户界面。与LARES工具集库协作，它们作为基于Eclipse框架的集成开发环境（IDE）。本文首先介绍了LARES语言的特点，通过一个滞后模型取自文献。然后描述了文本编辑器插件。除了语法突出显示和代码完成等标准功能之外，它还强调了语法和语义验证功能。随后，视图插件组件，这是用来执行实验，并收集从求解器的分析结果。图形编辑器插件和LARES IDE的其他功能的发展现状也得到了解决。
In order to support the editing, validation and analysis of LARES dependability model specifications, a textual editor and a graphical user interface for performing experiments have been developed. In collaboration with the LARES toolset library they serve as an Integrated Development Environment (IDE) based on the Eclipse framework. The paper first introduces the features of the LARES language by means of a hysteresis model taken from the literature. It then describes the textual Editor Plugin. Beyond standard features such as syntax highlighting and code completion, it emphasises syntactical and semantic validation capabilities. Subsequently, the View Plugin component is presented, that is used to perform the experiments and to gather the analysis results from the solvers. The current state of development of a graphical Editor Plugin and other features of the LARES IDE are also addressed.
登录
查看更多内容
LARES 建模和分析环境
DOI：
10.1007/978-3-642-28540-0_19
发表时间：
2012
期刊：
影响因子：
--
作者：
A. Gouberman;M. Riedl;J. Schuster;M. Siegle
通讯作者：
M. Siegle
软件构建和分析的严格方法，献给 Egon Börger 60 岁生日的论文
影响因子：
4.3
作者：
J. Abrial;U. Glässer
通讯作者：
U. Glässer
计算系统的测量、建模和评估以及可靠性和容错性，第 15 届国际 GI/ITG 会议，MMB
DOI：
10.1007/978-3-642-12104-3
发表时间：
2010
影响因子：
1
作者：
Bruno Müller;K. Echtle;E. Rathgeb
通讯作者：
E. Rathgeb
可靠系统的协同设计：基于组件的建模语言
DOI：
10.1109/memcod.2009.5185388
发表时间：
2009
期刊：
2009 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design
影响因子：
--
作者：
M. Bozzano;A. Cimatti;Marco Roveri;J. Katoen;Viet Yen Nguyen;T. Noll
通讯作者：
T. Noll
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
A. Gouberman;Martin Riedl;Markus Siegle
通讯作者：
Markus Siegle