Zobrazeno 1 - 10
of 30
pro vyhledávání: '"Suhyun Cha"'
Publikováno v:
IET Cyber-Physical Systems, Vol 6, Iss 4, Pp 193-207 (2021)
Abstract The dependability characteristic of the control software of manufacturing systems is highlighted more than before, going through repeated changes to cope with various and varying requirements. Formal methods are researched to be applied to a
Externí odkaz:
https://doaj.org/article/f2d603309a134cd29e935e7d09bb0a4c
Publikováno v:
IET Collaborative Intelligent Manufacturing. 2:45-55
In the current Industry 4.0 era, automated production systems (aPS) comprising of multi-disciplinary artefacts all closely interwoven are required to adapt to various and varying requirements from customers and environment which introduce additional
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::89a2510001384e6a2cd7d7541a44e32d
https://doi.org/10.1049/iet-cim.2020.0013
https://doi.org/10.1049/iet-cim.2020.0013
Publikováno v:
INDIN
Cyber Physical Production Systems (CPPS) operate for a long time and face continuous and incremental changes to follow up varying requirements. Interdisciplinary engineering of CPPS is often subject to delay and cost overrun; and quality control may
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc9f5bbdd01c90758082b51c2a4f6cb6
https://doi.org/10.1109/indin45523.2021.9557505
https://doi.org/10.1109/indin45523.2021.9557505
Publikováno v:
The journal of systems and software, 146, 167-185
Maintaining an automated production system is a challenging task as it comprises artifacts from multiple disciplines – namely mechanical, electrical, and software engineering. As the artifacts mutually affect each other, even small modifications ma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5e06b91ba1c23228000493b538c875fc
https://doi.org/10.1016/j.jss.2018.08.058
https://doi.org/10.1016/j.jss.2018.08.058
Publikováno v:
Communications in Computer and Information Science ISBN: 9783030581664
ICSMM
ICSMM
In today’s practice, the engineering lifecycle of the manufacturing systems is getting shorter due to frequent requirement changes. Since the manufacturing systems are required to have both – higher availability from a productivity viewpoint and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::10b02db889f70349706db47552b1357d
https://doi.org/10.1007/978-3-030-58167-1_1
https://doi.org/10.1007/978-3-030-58167-1_1
Publikováno v:
Automatisierungstechnik, 66 (10), 834–848
With recent trends in manufacturing automation, control software in automated production systems becomes more complex and has more variability to keep pace with customer and market requirements. Quality assurance also becomes more and more important
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c4ca7fa6403057e674e02a3c32ce9fdb
https://doi.org/10.1515/auto-2018-0028
https://doi.org/10.1515/auto-2018-0028
Autor:
Simon Ziegltrum, Ralf Reussner, Kiana Rostami, Birgit Vogel-Heuser, Suhyun Cha, Sandro Koch, Felix Ocker, Robert Heinrich
Publikováno v:
IFAC-PapersOnLine. 50:4360-4367
Automated production systems (aPSs) are often in operation for several decades. Due to a multiplicity of reasons, these assets have to be maintained and modified over the time multiple times and with respect to multiple engineering domains. An increa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::76cf83b4bc930e466fed2af09a34d209
https://doi.org/10.1016/j.ifacol.2017.08.877
https://doi.org/10.1016/j.ifacol.2017.08.877
Publikováno v:
IECON
Automated production systems (aPS) are often in operation for several decades. During their lifetime they undergo various changes and modifications due to the varying customer requirement, market or technology environment. In order to keep the system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5ec70f777c42290cd9f31c5eaeea60bb
https://doi.org/10.1109/iecon.2019.8927024
https://doi.org/10.1109/iecon.2019.8927024
Publikováno v:
INDIN
In order to guarantee a high availability and reliability, automated production systems are tested thoroughly after changes were introduced. As test resources like testing time are limited, the tester has to select the test cases for the test executi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4ef6be5b27c356e651130c7ba2c01598
https://doi.org/10.1109/indin41052.2019.8972166
https://doi.org/10.1109/indin41052.2019.8972166
Autor:
Birgit Vogel-Heuser, Suhyun Cha, Alexander Weigl, Kathrin Land, Mattias Ulbrich, Bernhard Beckert
Publikováno v:
INDIN
Modern large scale technical systems often face iterative changes on their behaviours with the requirement of validated quality which is not easy to achieve completely with traditional testing. Regression verification is a powerful tool for the forma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a0919d7b7ad9b2c1a4380d0a415e4ef
https://doi.org/10.1109/indin41052.2019.8972210
https://doi.org/10.1109/indin41052.2019.8972210