• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>International journal of critical computer-based systems >Applying guidelines for system modelling in Event-B-a systematic literature review
【24h】

Applying guidelines for system modelling in Event-B-a systematic literature review

机译：应用Event-B-A系统文献综述系统建模指导

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Developing safety-critical systems is an intricate task since it involves the application of well-established and rigorous methods, supported by good practices. The modelling is merely a part of this undertaking. However, it plays a significant role in the description of the system, how it will behave and what properties it will have. Formal methods, for instance Event-B, are utilised in such cases to assure that the system is correct-by-construction and functions as required. In this work we use a literature review method to collect a body of knowledge that would support the Event-B practitioners with modelling guidelines. We first define the domains in which the guidelines fall and divide them into two categories: beginners and advanced. Then we provide a collection of guidelines as reinforcements for domain-specific applications of Event-B.
机译：开发安全关键系统是一个复杂的任务，因为它涉及应用良好的良好实践的良好和严格的方法。建模仅仅是这项工作的一部分。但是，它在系统的描述中发挥着重要作用，它将如何行事以及它将具有哪些属性。例如，在这种情况下使用例如Event-B的形式方法，以确保系统根据需要是正确的构造和功能。在这项工作中，我们使用文献综述方法来收集一个能够支持赛事-B从业人员的知识体系，以了解建模指南。我们首先定义指南下降并将它们分为两类：初学者和高级的域名。然后，我们提供了一系列指南作为事件-b的域特定应用的增援。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号