Formal hazard analysis, specification and testing of hybrid real-time systems in application to service robotics

在此基础上，该项目采用了一种完整的方法。angepaßt werden, die geeignet sind, eine groe ße Klasse von Servicerobotik-Anwendungen als sichere Systeme zu gestalten。Das Verfahren läßt这是一种混合的技术系统，它是一种特殊的技术系统，它是一种混合的技术系统。《未来自主发展方法的研究》，《未来自主发展方法的研究》。aufdem zukunftsträchtigen Gebiet der Rehabilitationsrobotik ist die Idee des beweisbar korrekten systemverhalten bisher nur in Ansätzen vorhanden。模具镀金<s:1> r Fälle，在denen die Anforderungen der gemeinsamen Steuerung durschsch和machine zubercksictigen sind。as Arbeitsprogramm umfaßt die Aufgaben“Formaler Sicherheitsentwurf untereinbeziehung der Echtzeitanforderungen eingbetteten Systems”；“Systematische Behandlung durch gemeinsame Steuerung industrierter Bedrohungen”，“specizifiation des Kommunikationsverhaltens”，即“die Validation”和“Testen des Gesamtsystemverhaltens”。

In diesem Projekt sollen formale Methoden entwickelt bzw. angepaßt werden, die geeignet sind, eine große Klasse von Servicerobotik-Anwendungen als sichere Systeme zu gestalten. Das Verfahren läßt sich allgemein nutzen, um Sicherheitsanforderungen an hybride Echtzeitsysteme zu spezifizieren und deren Einhaltung nachzuweisen. Die Anwendung der Methode auf den Bremer Autonomen Rollstuhl ist zentraler Bestandteil des Vorhabens. Auf dem zukunftsträchtigen Gebiet der Rehabilitationsrobotik ist die Idee des beweisbar korrekten Systemverhaltens bisher nur in Ansätzen vorhanden. Dies gilt insbesondere für Fälle, in denen die Anforderungen der gemeinsamen Steuerung durch Mensch und Maschine zu berücksichtigen sind. Das Arbeitsprogramm umfaßt die Aufgaben "Formaler Sicherheitsentwurf unter Einbeziehung der Echtzeitanforderungen eines eingebetteten Systems"; "Systematische Behandlung durch gemeinsame Steuerung induzierter Bedrohungen", die "Spezifikation des Kommunikationsverhaltens" sowie die Validation und das "Testen des Gesamtsystemverhaltens".