Braatz, A.A.BraatzDuerr, M.M.Duerr2022-03-082022-03-082003https://publica.fraunhofer.de/handle/publica/306057Es wird ein Verfahren zur Ueberpruefung einer Steuerung eines Fertigprozesses beschrieben. Bei dem Verfahren wird ein Software-Modell (12, 13) erstellt, das zumindest die von der Steuerung fuer die korrekte Ausfuehrung des Fertigungsprozesses einzuhaltenden Zeitbedingungen enthaelt. Weiterhin wird ein Geraete-Modell (17) erstellt, das zumindest die durch die tatsaechliche Ausfuehrung des Fertigungsprozesses hervorgerufenen Zeitverzoegerungen enthaelt. Von einem Computer wird ueberprueft (20), ob die tatsaechlich hervorgerufenen Zeitverzoegerungen mit den einzuhaltenden Zeitbedingungen vertraeglich sind.DE 10157657 A UPAB: 20030805 NOVELTY - A method for verifying control of a manufacturing process, in which a software model (12,13) is fabricated, which contains the time conditions/demands from the control for the correct carrying out of the manufacturing process. A device model (17) is fabricated which contains the time lags/delays caused by the actual manufacturing process and during which it is verified by a computer, whether the actual time delays which have arisen are compatible with the time demands to be met. DETAILED DESCRIPTION - An INDEPENDENT CLAIM is given for a computer for verifying control of manufacturing process. USE - For automation of manufacturing processes with use of software model and a device model with corresponding checking of manufacture control with computer. ADVANTAGE - Method enables keeping to time demands to be checked.de608670patent2001-10157657