Assistirender Roboterrm am Krankenbett（链接）、Hightech Chip（mittig）、Fussball spilende Nao Roboter（rechts）

网络物理系统

Der Forschungsbereich Cyber-Physical Systems（CPS）entwicket intelligene、vernetzte Systeme und konzentriert sich darauf、deren Zuverlässigkeit、Sicherheit und Schutz zu verbessern。解决方案系统适用于智能手机、汽车或Flugzeugen eingesetzt。Ihre Anwendungen，Verbreitung und Komplexität werden in Zukunft weiter zunehmen，wodurch auch die Anforderungen and die Sicherheit und Präzision steigen。

Der Forschungsbereich wird von教授Rolf Drechsler geführt博士，德国Arbeitsgruppe Rechnerarchitektur公司命令不来梅大学莱特。

sind是网络物理系统吗？

网络物理系统（德语：Cyber-Physische Systeme）提供数字（Cyber-）技术和物理世界。

插图网络物理系统：Auto、Flugzeug、Handy、Laptop fliegen auf Umlaufbahn um die Erde — Umfassende Qualität im系统设计

Unser Alltag hängt heute von einem komplexen Netz eingebetter und autonomer Systeme ab–von Smartphones und Autosüber Anwendungen in der Medizintechnik bis hin zum云计算。Sie kombinieren physicasche Hardwarekomponenten wie Sensoren，Aktoren und Steuerungen mit Software-und Netzwerktechnologien，um Systeme zu schaffen，die mit der physicachen Welt in Echtzeit interegieren können。Um die gewünschte Funktonitiatät zu gewährleisten，就是网络与物理领域的集成。Mit der zunehmenden Komplexität der Systeme steigen auch die Anforderungen an die Sicherheit，die Genauigkeit und die Zuverlässigkeit，die Forschenden und Entwickelnden vor eine Vielzahl von Herausforderungen stellt。

德福施贝里奇网络物理系统有限公司（Der Forschungsbereich Cyber-Physical Systems stell sich diesen Herausforderungen mit einem jungen und internationalen Team von Fachkräften aus Der Informatik und Mathematik，das das daran arbeitet，die Zuverlässigkeit und Korrekheit des Systementwurfs von Grund auf zu ber cksichtigen。

Zusammenarbeit mit unsern Industriepartner und akademischen Forschungsgruppen，insbesondere der Arbeitsgruppe Rechnerarchitektur der Universityät Bremen，werdenue Methoden，Testverfahren und Anwendungen entwicket。Ziel dieser Kooperationen is es，Spitzenforschnell在die Anwendung zu bringen中。

Unsere Forschung公司

我们在Gang setzt的电子系统中进行了Knopfdruck，在Hintergrund riesige Datenmengen verarbeitet:Zahlreiche Hardware and Software Komponententen folgen einem Ablaufplan，der die Funktion des Systems festschreibt。Mit der wachsenden Komplexität der Systeme steigen auch die Anforderungen。Laut einer Studie des deutschen Bundesministeriums für Bildung und Forschung（BMBF）sind heute mehr als 90 Prozent der Mikroprozessoren in Systeme eingebettet德国教育部长研究所。

Je komplexer diese Systeme sind und Je stärker sieüber Netzwerke mit anderen Systemen verbunden sind，desto höher is das Risiko unvorhergeshenner Wechselwirkungen。Um trotzdem Sicherheit、Robustheit und Zuverlässigkeit zu gewährleisten、müssen kontinuierlich neue、automatisete und intelligence Testverfahren sowie Methoden der Qualityätssicherung entworfen werden。死亡是西彻尔海茨克里蒂申安文顿斯费尔登的主要原因。

CPS-Wissenschaftler stützen sich bei solchen Methoden auf mathematische Beweise，sogenannte formale Methodens，Die Sicherheitsfehler so früh wie möglich im Entwurfsprozess erkennen。Darüber hinaus entwickeln sie neue Methoden der Qualityätsicherung für den Entwurf von komplexen elektronischen Chips und Systemen公司。我是Fokus stehen auch Ansätze zur Effizienzoptimerung，beispielsweise die Minimierung des Ressourceverbrauchs，die Optimierung-der Rechengeschwindigkeit oder die gezielte Entwicklung innovativer Lösungen für spezifische Anwendungen。

网络物理系统：

Werkzeuge und Methoden für den Systementwurf公司

CPS umfasst硬件和低级软件的模具专业知识sowie Verifikation durch Testen，符号Ausführung oder sogenannte Theorembeweiser，Die von einer Wissensbasis neue，gesicherte Aussagen ableiten。Ein großer Teil dieser Arbeiten basiert auf der公司RISC-V-Architektur公司.

插图von Infografiken，zwischen denen Verknüpfungen hergestelt werden

正式建模

正式模型和表格验证。Ausgangspunkte sind hier Ontologien und Theorembeweiser（奥古斯潘克特）。本体论是一种形式，geordnete Darstellungen von Begriffen und Beziehungen是Wissen eines Anwendungsbereiches的组织者。Theorembeweiser kombinieren mittels Software vorhandenes Wissen neu und beweisen，dass sich neue Fakten daraus ableiten lassen公司。Dank solcher formalen Modelle lässt sich garanieren，dass sicherheitskritische Anwendungen immer fehlerfrei funktitionieren公司。

智能Umgebung

Intelligente Umgebungen sind eine großartige Möglichkeit，um Cyber-Physische Systeme und neu entwickete Methoden anzuwenden。去世的Forschungsgebeiet konzentriert sich auf das不来梅环境辅助生活实验室（BAALL）贝雷切辅助系统、贝努泽互动、Gesundheit和Lebensqualität。