Wytse Oortwijn, Dennis Hendriks, Arjan van der Meer, Bas Huijbrechts
{"title":"掌握网络物理系统中不断变化的软件","authors":"Wytse Oortwijn, Dennis Hendriks, Arjan van der Meer, Bas Huijbrechts","doi":"10.1002/inst.12419","DOIUrl":null,"url":null,"abstract":"<div>\n \n <p>As industrial cyber-physical systems grow ever more complex, their software grows naturally and changes continuously. In order to make risk-free changes to their software, it is crucial to understand how the system behaves, and how software changes have an impact on system behavior. We propose a generic two-fold approach to infer state machine models capturing system behavior, and to compare these models to determine and visualize the impact of software changes on system behavior, in a way to make them easily understandable for engineers. Our approach has been applied in the industry at ASML to help prevent software regression problems during critical software redesigns. In that, our approach has been shown to reduce risk and to be valuable.</p>\n </div>","PeriodicalId":13956,"journal":{"name":"Insight","volume":null,"pages":null},"PeriodicalIF":1.0000,"publicationDate":"2023-02-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Getting a Grip on the Ever-Changing Software in Cyber-Physical Systems\",\"authors\":\"Wytse Oortwijn, Dennis Hendriks, Arjan van der Meer, Bas Huijbrechts\",\"doi\":\"10.1002/inst.12419\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div>\\n \\n <p>As industrial cyber-physical systems grow ever more complex, their software grows naturally and changes continuously. In order to make risk-free changes to their software, it is crucial to understand how the system behaves, and how software changes have an impact on system behavior. We propose a generic two-fold approach to infer state machine models capturing system behavior, and to compare these models to determine and visualize the impact of software changes on system behavior, in a way to make them easily understandable for engineers. Our approach has been applied in the industry at ASML to help prevent software regression problems during critical software redesigns. In that, our approach has been shown to reduce risk and to be valuable.</p>\\n </div>\",\"PeriodicalId\":13956,\"journal\":{\"name\":\"Insight\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":1.0000,\"publicationDate\":\"2023-02-09\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Insight\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://onlinelibrary.wiley.com/doi/10.1002/inst.12419\",\"RegionNum\":4,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"INSTRUMENTS & INSTRUMENTATION\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Insight","FirstCategoryId":"5","ListUrlMain":"https://onlinelibrary.wiley.com/doi/10.1002/inst.12419","RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"INSTRUMENTS & INSTRUMENTATION","Score":null,"Total":0}
Getting a Grip on the Ever-Changing Software in Cyber-Physical Systems
As industrial cyber-physical systems grow ever more complex, their software grows naturally and changes continuously. In order to make risk-free changes to their software, it is crucial to understand how the system behaves, and how software changes have an impact on system behavior. We propose a generic two-fold approach to infer state machine models capturing system behavior, and to compare these models to determine and visualize the impact of software changes on system behavior, in a way to make them easily understandable for engineers. Our approach has been applied in the industry at ASML to help prevent software regression problems during critical software redesigns. In that, our approach has been shown to reduce risk and to be valuable.
期刊介绍:
Official Journal of The British Institute of Non-Destructive Testing - includes original research and devlopment papers, technical and scientific reviews and case studies in the fields of NDT and CM.