Verification and Validation of Decentralized, Self-Organizing Cyber-Physical Production Systems: A Blueprint Process for Testing Cyber-Physical Production Systems with Self-Properties

Ivan Tritchkov, Helmut Goetz
{"title":"Verification and Validation of Decentralized, Self-Organizing Cyber-Physical Production Systems: A Blueprint Process for Testing Cyber-Physical Production Systems with Self-Properties","authors":"Ivan Tritchkov, Helmut Goetz","doi":"10.1109/FAS-W.2016.35","DOIUrl":null,"url":null,"abstract":"Decentralized, self-organizing Cyber-Physical Production Systems form the technological base for building future Smart factories. They are able to orchestrate and execute the manufacturing and production processes by providing at the same time continuous, automatic production optimization, higher production resilience and adequate reaction at runtime of the evolving customer and production needs. In order to achieve these benefits, some impediments must be taken into account. The verification and validation of decentralized, self-organizing Cyber-Physical Production Systems is one of them. In this paper we would like to introduce a blueprint process for testing such systems. This leads to a paradigm shift in testing domain. Testing of systems with self-* properties is no longer performed solely before system delivery and operation start, but continues during the operation itself. To achieve this, testability from day one is required.","PeriodicalId":382778,"journal":{"name":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FAS-W.2016.35","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 6

Abstract

Decentralized, self-organizing Cyber-Physical Production Systems form the technological base for building future Smart factories. They are able to orchestrate and execute the manufacturing and production processes by providing at the same time continuous, automatic production optimization, higher production resilience and adequate reaction at runtime of the evolving customer and production needs. In order to achieve these benefits, some impediments must be taken into account. The verification and validation of decentralized, self-organizing Cyber-Physical Production Systems is one of them. In this paper we would like to introduce a blueprint process for testing such systems. This leads to a paradigm shift in testing domain. Testing of systems with self-* properties is no longer performed solely before system delivery and operation start, but continues during the operation itself. To achieve this, testability from day one is required.
去中心化、自组织网络物理生产系统的验证与验证:具有自属性的网络物理生产系统测试的蓝图过程
分散的、自组织的信息物理生产系统构成了构建未来智能工厂的技术基础。他们能够协调和执行制造和生产过程,同时提供连续的、自动的生产优化、更高的生产弹性和在运行时对不断变化的客户和生产需求的适当反应。为了实现这些好处,必须考虑到一些障碍。去中心化、自组织的信息物理生产系统的验证就是其中之一。在本文中,我们将介绍一个测试此类系统的蓝图过程。这导致了测试领域的范式转换。对具有self-*特性的系统的测试不再仅仅在系统交付和运行开始之前进行,而是在运行过程中继续进行。为了实现这一点,从第一天起就需要可测试性。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信