ON INTEGRATION OF MODEL-BASED VALIDATION IN SOFTWARE ENGINEERING OF INDUSTRIAL AUTOMATION SYSTEMS

机译：工业自动化系统软件工程中基于模型验证的集成研究

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

This paper introduces idea of a system architecture for industrial automation software systems which integrates the formal background of modular place transition models with the ideas of the upcoming IEC61499 standard for component based distributed measurement and control systems. Goal of the architecture is to support simulation and formal verification as a natural part of the engineering process in industrial automation.

机译：本文介绍了工业自动化软件系统的系统架构，该架构将模块化的场所转换模型的正式背景与即将到来的基于组件的分布式测量和控制系统的IEC61499标准的思想相结合。该体系结构的目标是支持仿真和形式验证，将其作为工业自动化中工程过程的自然组成部分。

著录项

来源
《IASTED(International Association of Science and Technology for Development) International Multi-Conference on Automation, Control, and Information Technology: Automation, Control, and Applications; 20050620-24; Novosibirsk(RU)》|2005年|P.129-134|共6页
会议地点 Novosibirsk(RU)
作者
Valeriy Vyatkin; Sirko Karras; Thomas Pfeiffer; Hans-Michael Hanisch;
展开▼
作者单位

Department of Electrical and Computer Engineering The University of Auckland Auckland, New Zealand;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化系统理论;
关键词
industrial automation; modeling; formal verification; architecture; intelligent control;

机译：工业自动化;建模;形式验证;架构;智能控制;

相似文献

外文文献
中文文献
专利

1. Industrial Design and Development Software System Architecture Based on Model-Based Systems Engineering and Cloud Computing [J] . Yu Chao, Li Qing, Liu Kui, Annual Review in Control . 2021,第1期

机译：基于模型的系统工程和云计算的工业设计与开发软件系统架构
2. Questioning integration of verification in model-based systems engineering: an industrial perspective [J] . Laing C., David P., Blanco E., Computers in Industry . 2020,第期

机译：质疑基于模型的系统工程中验证的集成：工业观点
3. Agent systems in industrial automation: Agent-oriented software engineering [J] . Thomas Wagner, Peter Gohner, Paulo G. de A. Urbano Automatisierungstechnische Praxis . 2003,第10期

机译：工业自动化中的代理系统：面向代理的软件工程
4. ON INTEGRATION OF MODEL-BASED VALIDATION IN SOFTWARE ENGINEERING OF INDUSTRIAL AUTOMATION SYSTEMS [C] . Valeriy Vyatkin, Sirko Karras, Thomas Pfeiffer, IASTED International Multi-Conference on Automation, Control, and Information Technology: Automation, Control, and Applications . 2005

机译：基于模型验证的整合在工业自动化系统软件工程中
5. A Systematic Literature Review of Software Engineering for Scientific and Engineering Software and an Industrial Oil Pipeline Software Case Study. [D] . Farhoodi, Roshanak. 2011

机译：对科学和工程软件的软件工程进行系统的文献综述，以及工业输油管道软件案例研究。
6. Integrating Software Engineering Processes in the Development of Efficient Intrusion Detection Systems in Wireless Sensor Networks [O] . Iman Almomani, Afnan Alromi 2020

机译：在无线传感器网络中高效的入侵检测系统开发中集成软件工程流程
7. Questioning integration of verification in model-based systems engineering: an industrial perspective⋆ [O] . C. Laing, P David, E. Blanco, 2020

机译：质疑基于模型的系统工程中验证的集成：工业视角
8. Proceedings of Monterey Workshop 2001. Engineering Automation for Software Intensive System Integration [R] . 2001

机译：2001年蒙特利研讨会论文集。软件密集系统集成的工程自动化

ON INTEGRATION OF MODEL-BASED VALIDATION IN SOFTWARE ENGINEERING OF INDUSTRIAL AUTOMATION SYSTEMS

摘要

著录项

相似文献

相关主题

期刊订阅