Effiziente Analyse von hybriden Systemen

在bebetragten项目中，sollen和derderreferenzfallstudy zur Verkehrsleittechnik时序图和微分分析系统中，ingenieurmäßige bebechreibungsmittel和derinfatik entstandenenspezifikationssprachen RealTime CSP和derweterterduration微积分积分研究，以及bebeagueffente验证和仿真分析研究。Ausgehend von einer hybriden spezifikationder referenzfallstudy sollen Standard-Schemata in hybriden Spezifikationen identifiziert werden, mit denen Zusammenhänge and Übergänge zwischen den angegebenen Spezifikationsmethoden systematisierwerden können。丹麦的Dekompositionsregeln entwickelt werden，在schematisch上的Dekompositionsregeln在handelelspezifikationen zerlegt werden kann之后。他的名字叫“untersucht werden”，意思是“在我们的世界里，我的名字叫“vorhandenen partialordnings - verfahren”，意思是“我的名字叫‘Spezifikationsmethoden bertragen lassen”。基于硬件在环测试的模具优化测试理论基于软件在环测试的模具优化测试理论基于软件在环测试的模具优化测试理论基于软件在环测试的模具优化测试理论基于软件在环测试的模具优化测试理论基于软件在环测试的模具优化测试理论[2][3][6][6][6][6][6][6][6][6]。

Im beantragten Projekt sollen anhand der Referenzfallstudie zur Verkehrsleittechnik Timing-Diagramme und Differentialgleichungssysteme als ingenieurmäßige Beschreibungsmittel mit den aus der Informatik entstandenen Spezifikationssprachen RealTime CSP und erweiterter Duration Calculus integriert werden, und in Bezug auf effiziente Verifikation und Simulation analysiert werden. Ausgehend von einer hybriden Spezifikation der Referenzfallstudie sollen Standard-Schemata in hybriden Spezifikationen identifiziert werden, mit denen Zusammenhänge und Übergänge zwischen den angegebenen Spezifikationsmethoden systematisiert werden können. Dann soll eine strukturelle Dekompositionsregeln entwickelt werden, mit der die Spezifikation in schematisch behandelbare Teilspezifikationen zerlegt werden kann. Es soll untersucht werden, in wie weit sich die vorhandenen Partialordnungs-Verfahren auf die untersuchten Spezifikationsmethoden übertragen lassen. Die bestehende Testtheorie von Hardware-in-the-loop Tests auf der Basis formaler Spezifikationen soll auf den hybriden Fall und die untersuchten Software-Spezifikationstechniken ausgeweitet und das vorhandene Testsystem entsprechend erweitert werden. Weiterhin sollen grafische Elemente in die Spezifikationsmethodik integriert und für die Erzeugung von Tests genutzt werden.