BeSpaceD的一个示例及其在工业自动化决策支持中的应用
软件工程
2015-12-16 v1
摘要
我们描述了基于形式化方法的空间推理框架BeSpaceD及其在工业自动化决策支持中的应用。特别地,我们支持基于工业厂房和采矿作业形式化模型的分析与决策。BeSpaceD是一个用于判定时空模型的几何与拓扑属性的框架。我们给出一个示例,并报告了在围绕软件与信息物理系统工程的多个项目中应用的最新经验。该示例具有生产工厂模型的抽象方面。利用该示例,我们阐明了在现有软件平台背景下使用我们的框架的动机,该平台支持远程工业自动化设施的监控、事件处理与维护。
引用
@article{arxiv.1512.04656,
title = {An Example for BeSpaceD and its Use for Decision Support in Industrial Automation},
author = {Jan Olaf Blech},
journal= {arXiv preprint arXiv:1512.04656},
year = {2015}
}