Entwicklung einer Architektur für das Prototyping von Realzeitsystemen mit Unterstützung von High-Level Debugging-Methoden

基于快速原型系统的验证与调试方法。[2]刘志刚，刘志刚，王志刚，王志刚，王志刚，王志刚，王志刚，王志刚，王志刚。本文介绍了硬件调试系统的验证方法和软件调试方法，并给出了硬件调试系统的验证方法和软件调试算法。反应式集成steuwerungsystem系统是一种可进行密集交互的系统。[2]在die validerung rechung zu tragen中，eem理解ist durch eine Einbeziehung der communications。Um dies zu erreichen， soll zum einen as best steende System Um eine Überwachung硬件/软件通信erweichen。Zum anderen soll eine Möglichkeit zur Überwachung通信zwischen Prozessen， die auf iner belief Abstraktionsebene speziziziert wurden, entwickelt werden。Überdies出售了best - hende硬件调试系统和neuste Entwicklungen在Bereich硬件仿真angpa ßt werden。

Eine grundlegende Anforderung an ein Rapid-Prototyping-System ist Bereitstellung von umfangreichen Validierungs- und Debuggingmethoden. Ziel dieses Forschungsvorhabens ist es deshalb, Methoden und Werkzeuge Validierung und zum Debugging von Prototypen sowie zu deren Umsetzung Hardware zur Verfügung zu stellen. Das bisher Hardware-Debugging-System erlaubt eine Validierung und Fehlersuche sowohl algorithmisch beschriebenen als auch bei auf RT-Ebene Schaltungen analog zu den im Softwarebereich verbreiteten Methoden. Reaktive integrierte Steuerungssysteme zeichnen sich jedoch durch eine intensive Interaktion mit ihrer Umgebung aus. Diesem Umstand ist durch eine Einbeziehung der Kommunikation in die Validierung Rechnung zu tragen. Um dies zu erreichen, soll zum einen das bestehende System um eine Überwachung Hardware/Software-Kommunikation erweitert werden. Zum anderen soll eine Möglichkeit zur Überwachung Kommunikation zwischen Prozessen, die auf einer beliebigen Abstraktionsebene spezifiziert wurden, entwickelt werden. Überdies soll das bestehende Hardware-Debugging-System an neuste Entwicklungen im Bereich Hardware-Emulation angepaßt werden.