5 research outputs found

    Erweiterung und formale Verifikation von dynamischen objektorientierten Modellierungsansätze auf Basis höherer Petri-Netze

    Get PDF
    Short Summary The design of complex distributed embedded computer systems is often a big challenge because they are large and contain many parallel working components under real time conditions. The dynamic diagrams like Sequence Diagrams, State Charts and Activity Diagrams are often not sufficient to model the high complexity of these computer systems. There is no transformation possibility from one description type into another. There are no or only limited possibilities for formal analysis of system properties. Coloured dynamic Sequence Diagrams, State Charts and Activity Diagrams will be developed in this work to integrate the well-known object oriented modelling techniques into the design process of complex distributed real time systems. Coloured diagrams derive from folding several simple diagrams which are executed autonomously or influence each other in some parts. The coloured diagram types have sufficient means for the clear and unique description of the composition of several simple diagrams and some additional mechanisms for description of the dependencies and connections between the separate objects. A transformation of these diagrams into one another which allows a parallel use of similar description means will be developed. The colours which essentially model the different similar components will be kept up the transformation of these diagram types into Coloured Petri Nets as a temporary notation and will be kept up the transformation in other diagram types. They are responsible for the clear assignment and the identification of the several components of a model during the whole design process. The transformation via Coloured Petri Nets is effective because they also use the colour concept and they integrate the basic concepts of the initial diagrams. The verification method for Coloured Time Interval Petri Nets designed in this work allows assertions about the fulfilment of time restrictions and about reachability of markings, liveness, about absence of conflicts, boundedness and dynamic conflicts. The usability of these extensions will be demonstrated with a real modelling example.Der Entwurf von komplexen verteilten eingebetteten Rechnersystemen ist aufgrund der Größe und Vielzahl von parallel unter Echtzeitbedingungen arbeitenden Komponenten häufig eine große Herausforderung. Die dynamischen Diagramme, wie Message Sequence Charts (Sequenzdiagramme), State Charts (Zustandsdiagramme) und Activity Diagrams (Aktivitätsdiagramme) können häufig nicht die hohe Komplexität der zu modellierenden verteilten eingebetteten Rechnersysteme bewältigen und dabei die Übersichtlichkeit der Entwurfsmodelle gewährleisten. Es existiert auch keine Überführungsmöglichkeit von einem Beschreibungstyp in einen anderen. Die Möglichkeiten zur formalen Analyse der Systemeigenschaften nicht oder nur eingeschränkt gegeben. Für die Einbindung der bekannten objektorientierten Modellierungstechniken in den Entwurfsprozess von komplexen verteilten Echtzeitsystemen sind die in dieser Arbeit entwickelten gefärbten dynamischen Sequenzdiagramme, Zustandsdiagramme und Aktivitätsdiagramme für die Modellierung von komplexen verteilten Echtzeitsystemen effektiv einsetzbar. Gefärbte Diagramme entstehen durch Faltung von mehreren einfachen Diagrammen, die voneinander unabhängig ausgeführt werden, oder sich in einigen Teilen beeinflussen. Die gefärbten Diagrammtypen verfügen über ausreichende Mittel für die übersichtliche und eindeutige Darstellung der Komposition von mehreren einfachen Diagrammen und einige zusätzliche Mechanismen für die Abbildung der Abhängigkeiten und Beziehungen zwischen den einzelnen Objekten. Die Transformation dieser Diagrammtypen ineinander erlaubt es, ähnliche Beschreibungsmittel parallel nutzbar zu machen. Die Farben, die im wesentlichen verschiedene ähnliche Teilkomponenten modellieren, werden bei der Umwandlung in Gefärbte Petri-Netze, die bei der Transformation dieser Diagrammtypen ineinander als Zwischennotation genutzt werden, und weiterhin bei der Transformation in andere Diagrammtypen beibehalten und dienen der übersichtlichen Zuordnung und Identifizierung der einzelnen Komponenten eines Modells während des gesamten Entwurfsprozesses. Die Transformation über Gefärbte Petri-Netze ist effektiv, da diese auch das Farbkonzept unterstützen und die Grundkonzepte der Ausgangsdiagramme als Teilmenge implizit besitzen. Die entwickelte Verifikationsmethode für Gefärbte Zeitintervall-Petri-Netze ermöglicht sowohl Aussagen über die Erfüllung von zeitlichen Restriktionen als auch über die Erreichbarkeit von Markierungen, Lebendigkeit, Konfliktfreiheit, Beschränktheit und dynamische Konflikte. Die Anwendbarkeit dieser Erweiterungen lässt sich an einem realen Modellierungsbeispiel nachweisen

    Zertifizierbarer Entwicklungsprozess für komplexe Informationsverarbeitungssysteme in der Wägetechnik

    Get PDF
    The dissertation is about principles, methods and techniques during the systematic development of embedded systems in the domain of measurement techniques. The considered domain contains fields of application with challenging and specific requirements of the information processing system. E.g. the dynamic weighing systems need solutions with very high resolution and lowest achievable measurement uncertainty in order to perform high-speed-measurements in a mechanically disturbed environment. In particular, the abilities for official calibration and metrologic reliability are considered. The complex and high-performance functions are required to guarantee measurement results. FPGA-based systems are used for the implementation of these functions.The especially designed certifiable development process (ZEfIRA) provides a procedural method for the development of complex embedded systems. The metrologic reliability, the legal requirements like calibratability, the validation and the verification are included as a general criteria in the entire development process. ZEfIRA is based on the 3W-model and is designed in an evolutionary manner. This process starts with the analysis of a predecessor system followed by the model-based development of a prototype, which leads into an optimized and application-specific product solution.The study emphasizes the influence of challenging requirements on the measurement system. It will be presented, how these can be integrated into the modelling level during the design and the implementation on a FPGA-based target platform. The stages of the functional and technical design of the system are analysed, whereas the realization of the partitions “FPGA logic” and “FPGA softcore solutions” are discussed in detail.Based on the preliminary design of the information processing in an electromagnetic force compensation (EMC) scale, the applicability of the process ZEfIRA and its developed methods and principles are proved. On the one hand, the optimal system-specific algorithms of signal processing, control and safety and on the other hand whose technical implementation are essential. This was realized with different performance parameters. In addition, the prototype allows the possible comprehensive analysis for embedding system. In the conclusion, the performance of ZEfIRA based on the prototype development is evaluated.Die Dissertation befasst sich mit Prinzipien, Methoden und Techniken der systematischen Entwicklung von komplexen Eingebetteten Systemen. Die betrachtete Domäne besitzt Anwendungsbereiche mit anspruchsvollen und besonderen Anforderungen an die Informationsverarbeitung. In der dynamischen Wägetechnik sind z.B. Lösungen mit sehr hohen Auflösungen und kleiner Messunsicherheit bei schnellen Messungen in einem mechanisch gestörten Umfeld notwendig. Die Anforderungen an die Eichfähigkeit und die Metrologische Sicherheit sind Besonderheiten. Es werden komplexe und hochleistungsfähige Funktionen zur Erzeugung der Messergebnisse verlangt. In der Arbeit werden dafür vorwiegend FPGA-basierte Eingebettete Systeme verwendet. Der entworfene zertifizierbare Prozess (ZEfIRA) bietet eine Vorgehensweise für die Entwicklung von Eingebetteten Systemen. Die Metrologische Sicherheit, die Eichfähigkeit, die Validier- und der Verifizierbarkeit werden als Kriterien im gesamten Entwurfsprozess berücksichtigt. ZEfIRA basiert auf einem 3W-Modell und ist evolutionär angelegt. Innerhalb des Prozesses werden die Analyse eines eventuellen Vorläufersystems sowie die modellbasierte prototypische Entwicklung bis hin zu einer produzierbaren Lösung (Produkt) durchgeführt. Die Arbeit verdeutlicht den großen Einfluss der spezifischen Anforderungen an das Messsystem. Es wird gezeigt, wie diese bereits zu der Entwurfszeit auf Modellebene und im Weiteren bei der Implementierung in einer FPGA-basierten Zielplattform berücksichtigt werden. Es werden verschiedene Schritte des funktionalen und technischen Systementwurfs untersucht und ausführlich die Realisierungspartitionen „FPGA-Logik“ und „FPGA-Softcore-Lösungen“ betrachtet. Als Beispiel zum Nachweis der Anwendbarkeit des Prozesses ZEfIRA dient die prototypische Entwicklung des Informationsverarbeitungssystems einer elektromagnetischen Kraftkompensationswaage (EMKW). Ausschlaggebend sind die optimal an das Gesamtsystem angepassten Signalverarbeitungs-, Regelungs- und Sicherheitsalgorithmen und deren technische Umsetzung. Dieses wurde mit verschiedenen Leistungsparametern, wie z.B. Latenz, Verarbeitungskomplexität und Genauigkeit realisiert. Ergänzend ermöglicht der Prototyp umfassende Analysemöglichkeiten für das Messsystem. Die abschließende Wertung ist eine Abschätzung der Leistungsfähigkeit von ZEfIRA auf Basis dieser prototypischen Entwicklung

    Communication Infrastructure for high-dynamic Parallel Kinematic Machines

    Get PDF
    Ziel dieser Arbeit ist die Konzipierung, Realisierung und Erprobung einer zentral organisierten Kommunikations-Infrastruktur zur Unterstützung von Steuerungssystemen aus dem Bereich hochdynamischer Roboteranwendungen. Dabei erfolgt die Integration aller an der Steuerung beteiligten Softwaremodule über eine einheitliche, modulare und echtzeitfähige C-Programmierschnittstelle unter dem Betriebssystem QNX Neutrino. Hintergrund dieser Arbeit ist der Sonderforschungsbereich (SFB) 562, in dem methoden- und komponentenbezogene Grundlagen zum Entwurf von Parallelrobotern erarbeitet werden. Der Einsatz von Parallelrobotern stellt dabei hohe Anforderungen an die Leistungsfähigkeit der verwendeten Robotersteuerung: Kinematisch gekoppelte Strukturen und die bei ihrer Bewegung zu berücksichtigenden Bewegungs- und Orientierungs-Singularitäten führen zu einer Steigerung des Umfangs und der Komplexität notwendiger Steuerungsfunktionalitäten; struktur- und gelenkintegrierte Sensoren erhöhen das notwendige Datenaufkommen bei dem Versuch, die kinematische Komplexität zu reduzieren; Synchronisationsanforderungen der gekoppelten Achsantriebe erfordern reaktionsschnelle Kommunikationsmechanismen; zusätzliche Anforderungen an Platziergenauigkeit, Beschleunigung und Geschwindigkeit der Arbeitsplattform liegen weit oberhalb derer serieller Roboteranwendungen. Kommerziell verfügbare Lösung für eine derartige Steuerung existieren derzeit noch nicht oder nur mit Einschränkungen Gegenstand dieser Arbeit ist zunächst die Untersuchung grundlegender Mechanismen aus den Bereichen Softwaretechnologie und Kommunikationstechnik, um eine Auswahl zur Realisierung geeigneter Funktionalitäten für Prozessorganisation, Kommunikation, Synchronisation, Konfiguration und Darstellung hinsichtlich eines passenden Steuerungssystems zu treffen. Im Hauptteil der Arbeit erfolgt die detaillierte Konzipierung sowie die Erläuterung der vollständig in Hard- und Software umgesetzten Realisierung dieser Kommunikations-Infrastruktur. Sie besteht aus drei Hauptkomponenten: Middleware MiRPA-X, Kommunikationsprotokoll IAP und Kommunikationssystem FireWire (Standard IEEE 1394). Die Verbindung bildet eine leistungsfähige Plattform, um allen in der Steuerung verwendeten Funktionsmodulen zu jeder Zeit transparente, modulare, einheitliche und echtzeitfähige Kommunikations- und Synchronisationsmechanismen zur Verfügung stellen. Die Integration erfolgte dabei soweit möglich unter Verwendung von Standardkomponenten (PC-Hardware, Betriebssystem, Programmiersprache). Innerhalb des SFB hat sich der praktische Einsatz der hier erarbeiteten Lösung als essenzieller, unverzichtbarer Bestandteil der Steuerung gezeigt, so dass ein breiterer Einsatz dieser Infrastruktur innerhalb anderer PC-basierter Robotersteuerungen außerhalb des SFB denkbar und sinnvoll erscheint.The goal of this thesis is the concept development, implementation and testing of a centrally organized communication infrastructure. It aims to support the development of control systems for high-dynamic robot applications, and thus provides a uniform, modular and real-time capable application programming interface (API) for all software modules involved. The development and application is performed using the operating system QNX Neutrino together with C/C++ programming language. The background of this thesis is the Collaborative Research Center (CRS) 562. Here, foundations for the development of parallel kinematic machines (PKMs) are worked out regarding necessary methods and components. The application of PKMs make high demands on the performance of robot control: coupled kinematic structures together with resulting special singularities require more and efficient control functions for motion control; additional sensors (integrated within the robot structure) increase the necessary data traffic while aiming to reduce calculational complexity; requirements for the synchronisation of drives necessitate high-speed communication mechanisms. Additional requirements regard the performance of the overall robot system: positioning accuracy, acceleration and velocity of the robot end-effector, which are expected to outsell those realised with conventional (serial) robot structures. Commercially available solutions for control systems do not suit all of these demands which calls for a unique control system design from standard components (computer hardware, operating system, communication system and programming language). The object of this thesis is, at first, the examination of fundamental mechanisms from the domain of software and communication technology in order to select suitable mechanisms for process organisation, inter process communication, synchronisation, configuration and presentation of data flow. These are to be provided for the control function modules in a uniform way. In the main part of this thesis the concept of the communication infrastructure is introduced in detail as well as the overall description of its implementation in hardware and software. The infrastructure consists of three main components which work together as a functional unit: the middleware MiRPA-X, the communication protocol IAP and the FireWire communication system (IEEE 1394). They form an efficient framework in order to provide transparent, modular and uniform communication and synchronisation mechanisms for the development of powerful and real-time control functionality. Within the project work in the Collaborative Research Center this novel communication infrastructure proved of indispensable value. For other robot control systems outside the CRS, it should thus be considered when using standard components
    corecore