Model based requirements specification of safety critical systems in the railway domain - description instruments and their application

Im Eisenbahnwesen übernehmen oftmals reaktive Systeme Steuerungs- und Sicherungsfunktionen. Für diese Systeme hat die Anforderungsspezifikation eine besondere Bedeutung im gesamten Lebenszyklus. Momentan werden für die Anforderungsspezifikation häufig informelle Beschreibungsmittel verwendet, die Interpretationsspielraum lassen und anfällig für Uneindeutigkeiten sind. In den letzten Jahren wurden in verschiedenen Arbeiten Konzepte zur Verbesserung der Anforderungsspezifikation vorgestellt. Diese Arbeiten konzentrierten sich dabei oftmals auf die Anpassung von Beschreibungsmitteln, wie z.B. der Unified Modeling Language (UML). Die Integration von Beschreibungsmittel, Methode und Werkzeugen zu einem stringenten Gesamtkonzept wurde oft nicht abgedeckt. In dieser Arbeit wird ein solches Gesamtkonzept entworfen. Es kombiniert ein semi-formales, modellbasiertes Beschreibungsmittel mit einem Prozess zur Erstellung von Anforderungsspezifikationen und integriert Test- und Verifikationsmethoden. Als Beschreibungsmittel wird die SysML (Systems Modeling Language) verwendet. Eine Untermenge dieser Sprache (SysML (A)) wird identifiziert, die in einer festgelegten Modellarchitektur zur Systembeschreibung eingesetzt wird. Die Organisation des Anforderungsmodells wird durch Sichten und eine zweistufige, rekursive Hierarchie von Systemen realisiert. Schnittstellen zu nicht-funktionalen Anforderungen sind vorgesehen. Zweiter Bestandteil der Arbeit ist ein Prozessmodell, das die Vorgehensweise bei der Modellerstellung definiert. Auf Grund der Eigenschaften von Anforderungsspezifikationen wird ein iterativ-inkrementelles Vorgehen vorgeschlagen. In jedem Schritt werden Test- und Verifikationstechniken eingesetzt. Anhand eines Beispielmodells konnte gezeigt werden, dass: - die modellbasierte Spezifikation von Anforderungen möglich ist - das gewählte Prozessmodell eingesetzt werden kann - und damit eine Verbesserung der Qualität von Anforderungsspezifikationen möglich ist.Control and safety functions in the rail sector are often performed by reactive systems. For those systems, the requirements specification is a key element in their life-cycle. Currently mainly informal description techniques are used for the specification of requirements, which are open to interpretation and subject to ambiguities. This can lead to the introduction of functional errors already in the requirements definition phase of a system. In the last few years several new concepts have been presented how the specification of systems can be improved. That research often focuses on the adaptation of existing description instruments such as the Unified Modeling Language (UML). But the integration of description instruments, methods and tools to a stringent overall concept is not covered. This research develops such a concept, which combines a semi-formal model-based description instrument with a process model. Test and verification methods are also an integral part of this concept. The standardized Systems Modeling Language (SysML) is used as the description instrument. A subset of the language (SysML (A)) is then identified. This subset is applied within a fixed model architecture, to describe the necessary aspects of a future system. Organization of the requirement model is realized through so-called views and a two-level recursive hierarchy of systems. Interfaces to non-functional requirements are also provided. The second component of the work is a process model, which defines the model creation procedure. Due to the characteristics of requirement specifications, an iterative-incremental approach is used. Test and verification techniques are used in each step to guarantee the correctness of the modeling work. By using an example model, this research showed that: - model-based requirement specification is possible - the chosen process model can be applied in practice - both components indeed can improve the quality of requirement specification

Beiträge zur Automatisierung der frühen Entwurfsphasen verteilter Systeme

With the rapid increasing speed of electronic devices systems with highercomplexity, interconnectedness and heterogeneity can be developed. The developmentof such systems can only be done by teams of specialists. Atthe same time the development needs to happen in parallel to ensure anearly time to market. Therefore in the traditional design process the designis described in form of a written specification of the common system andpartitioned to several teams. This takes place in early design stages at highproduct uncertainty. Sub system development assumptions and decisions aremade without being able to evaluate the effect on the common system. Thusmany critical errors, especially those, caused by coupling effects, are discoveredduring system integration at the end of the design process. Furthermorean optimization of the common system is not possible, because of the lack ofa common system model. Hence the traditional design process is a high riskdevelopment process. In the Mission Level Design approach, an executable specification of thecommon system instead of a written specification is developed after conceptdevelopment. These is validated and optimized against the requirements ofthe common system. The such validated specification of the coupled systemis then passed on to specialist teams for sub system development. The subsystems are then integrated. In this manner integration problems can besolved in the early design stages. Development time and risk can be reducedsignificantly. To increase the specification quality and speed while developing common systemmodels, in the present work, standardized methods for specification andperformance evaluation of distributed systems and methods for automatedmapping of function into architecture are developed. This allows architectureoptimization of the common system in the early design stages. In addition,methods for transformation of the abstract design into implementations aredeveloped.Mit der rapide steigenden Geschwindigkeit elektronischer Bauelemente könnenSysteme mit erhöhter Komplexität, Vernetzung und Heterogenität entwickeltwerden. Dies hat zur Folge, dass eine Entwicklung nur durch Teamsvon Spezialisten durchführbar ist. Gleichzeitig muss die Entwicklung parallelerfolgen, um eine möglichst frühzeitige Produkteinführung zu ermöglichen.Im traditionellen Entwurfsprozess wird daher der Entwurf in Form einer geschriebenenSpezifikation des Gesamtsystems erfasst und anschließend aufmehrere Teams aufgeteilt. Dies erfolgt in den frühen Entwurfsphasen, welchedurch eine hohe Unsicherheit über das Produkt gekennzeichnet sind. Dabeimüssen bei der Entwicklung der Subsysteme Annahmen und Entscheidungengetroffen werden, ohne den Einfluss auf das Gesamtsystem abschätzenzu können. Kopplungseffekte werden weitestgehend ignoriert. Viele kritische,insbesondere durch Kopplungseffekte hervorgerufene Fehler, können folglicherst bei der Integration am Ende der Entwicklung entdeckt werden. Zudem isteine Optimierung des Gesamtsystems nicht möglich, da kein Gesamtsystemmodellvorliegt. Der traditionelle Entwurfsprozess besitzt daher ein hohesEntwicklungsrisiko. Beim Entwurfsansatz Mission Level Design wird nach dem Konzeptentwurfanstatt einer geschriebenen eine ausführbare Spezifikation des Gesamtsystemsentwickelt. Diese wird gegen die Gesamtsystemanforderungen validiertund optimiert. Daraufhin wird die Spezifikation des gekoppelten Gesamtsystemsan mehrere Teams zur Entwicklung der Subsysteme weitergegeben,welche dann wieder zu einem Gesamtsystem integriert werden. Integrationsproblemewerden so schon in den frühen Entwurfsphasen gelöst, was einewesentliche Verringerung von Entwicklungszeit und -risiko bewirkt. Um die Spezifikationsqualität und -geschwindigkeit bei der Entwicklung vonGesamtsystemmodellen zu erhöhen, werden im Rahmen der Arbeit standardisierteMethoden zur Beschreibung und Leistungsbewertung verteilterSysteme, sowie zum automatisierten Mapping von Funktion in Architekturentwickelt. Dies ermöglicht bereits in den frühen Entwurfsphasen eine Architekturoptimierungdes Gesamtsystems. Zusätzlich werden Methoden zurÜberführung des abstrakten Entwurfs in Implementationen entwickelt

Zeitgenaue Simulation gemischt virtuell-realer Prototypen

[no abstract

Nutzerfreundliche Modellierung mit hybriden Systemen zur symbolischen Simulation in CLP

Die Dissertation beinhaltet die Sprachen MODEL-HS und VYSMO zur modularen, deklarativen Beschreibung hybrider Systeme, die dem Nachweis zeit- und sicherheitskritischer Eigenschaften für die symbolische Simulation in CLP dienen. Zum Erlangen sprachtheoretischer Erkenntnisse wie Entscheidbarkeit wurden hybride Systeme neu unter formal nachweisbaren Akzeptanzbedingungen definiert, welche durch praktische Beispiele belegt sind. Weitere Ergebnisse sind eine neue Klassifikation hybrider Systeme, ein Werkzeug ROSSY, Anfragebeschreibungen und deren Transformation in temporal-logische Ausdrücke, Anfragemasken und Anwendungen für Studiensysteme und parallele Programme.The dissertation includes the languages MODEL-HS and VYSMO for modular, declarative description of hybrid systems that serve the proof of time- and safety-critical properties for symbolic simulation in CLP. For coming to language-theoretical conclusions like decidability hybrid systems are newly defined under acceptance conditions that can be formally proved and for which practical examples bear witness. A new classification of hybrid systems, a tool ROSSY, query descriptions and their transformation into temporal-logic expressions, query forms and applications for study systems and parallel programs are further results

Systematische Prozessunterstützung für die Entwicklung laufzeitkritischer Softwaresysteme: Systematische Prozessunterstützung für die Entwicklung laufzeitkritischer Softwaresysteme: PROKRIS-Methodik und -Framework

In vielen Bereichen des täglichen Lebens, angefangen vom Online-Banking bis hin zur Steuerung im Flugzeug, kommt Software mit laufzeitkritischen nicht-funktionalen Eigenschaften (NFE) zum Einsatz. Die Erfüllung der NFE spielt in diesen Anwendungen eine zentrale Rolle. Um dies zu erreichen, ist eine systematische und zielorientierte Behandlung dieser Anforderungen während der Entwicklung zwingend erforderlich. NFE zeichnen sich im Gegensatz zu funktionalen Eigenschaften durch besondere Merkmale aus, die ein adaptives Vorgehen zur Definition des Entwicklungsprozesses erzwingen. In der Arbeit wird eine Methodik zur kontextbasierten Anpassung von Vorgehensmodellen an laufzeitkritische NFE auf der Basis von Prozessmustern sowie das PROKRIS-Framework als unterstützende Umgebung vorgestellt

Transformationen in der modellgetriebenen Software-Entwicklung

odellgetriebene Software-Entwicklung ist in den letzten Jahren insbesondere unter Schlagworten wie MDA oder MDD zu einem Thema von allgemeinem Interesse für die Software-Branche geworden. Dabei ist ein Trend weg von der codezentrierten Software-Entwicklung hin zum (Architektur-) Modell im Mittelpunkt der Software-Entwicklung festzustellen. Modellgetriebene Software-Entwicklung verspricht eine stetige und automatisierte Synchronisation von Software-Modellen verschiedenster Ebenen. Dies verspricht eine Verkürzung von Entwicklungszyklen und mehr Produktivität. Primär wird nicht mehr reiner Quellcode entwickelt, sondern Modelle und Transformationen übernehmen als eine höhere Abstraktionsebene die Rolle der Entwicklungssprache für Software-Entwickler. Software-Architekturen lassen sich durch Modell beschreiben. Sie sind weder auf eine Beschreibungssprache noch auf eine bestimmte Domänen beschränkt. Im Zuge der Bemühungen modellgetriebener Entwicklung lassen sich hier Entwicklungen hin zu standardisierten Beschreibungssprachen wie UML aber auch die Einführung von domänen-spezifischen Sprachen (DSL) erkennen. Auf diese formalisierten Modelle lassen sich schließlich Transformationen anwenden. Diese können entweder zu einem weiteren Modell ("Model-to-Model") oder einer textuellen Repräsentation ("Model-to-Text") erfolgen. Transformationen kapseln dabei wiederholt anwendbares Entwurfs-Wissen ("Muster") in parametrisierten Schablonen. Für die Definition der Transformationen können Sprachen wie beispielsweise QVT verwendet werden. Mit AndoMDA und openArchitectureWare existieren Werkzeuge, welche die Entwickler bei der Ausführung von Transformationen unterstützen

Modellgestützter Entwurf von Feldgeräteapplikationen

Die Entwicklung von Feldgeräten ist ein äußerst komplexer Vorgang, welcher auf vielen Vorrausetzungen aufsetzt, diverse Anforderungen und Randbedingungen mitbringt und bisher wenig beachtet und veröffentlicht wurde. Angesichts der fortschreitenden Digitalisierung drängen immer mehr Anbieter auf den Automatisierungsmarkt. So sind aktuell zunehmend Technologien und Ansätze aus dem Umfeld des Internet of Things im Automatisierungsbereich zu finden. Diese Ansätze reichen von Sensoren ohne die in der Industrie üblichen Beschreibungen bis hin zu Marktplätzen, auf denen Integratoren und Anwender Softwareteile für Anlagen kaufen können. Für die neuen Anbieter, die häufig nicht aus dem klassischen Automatisierungsgeschäft kommen, sind die bisher bestehenden Modelle, Funktionalitäten, Profile und Beschreibungsmittel nicht immer leicht zu verwenden. So entstehen disruptive Lösungen auf Basis neu definierter Spezifikationen und Modelle. Trotz dieser Disruptivität sollte es das Ziel sein, die bewährten Automatisierungsfunktionen nicht neu zu erfinden, sondern diese effektiv und effizient in Abhängigkeit der Anforderungen auf unterschiedlichen Plattformen zu verwenden. Dies schließt ihre flexible Verteilung auf heterogene vernetzte Ressourcen explizit ein. Dabei können die Plattformen sowohl klassische Feldgeräte und Steuerungen sein, als auch normale Desktop-PCs und IoT-Knoten. Ziel dieser Arbeit ist es, eine Werkzeugkette für den modellbasierten Entwurf von Feldgeräteapplikationen auf Basis von Profilen und damit für den erweiterten Entwurf von verteilten Anlagenapplikationen zu entwickeln. Dabei müssen die verschiedenen Beschreibungsmöglichkeiten evaluiert werden, um diese mit detaillierten Parameter- und Prozessdatenbeschreibungen zu erweitern. Außerdem sollen modulare Konzepte genutzt und Vorbereitungen für die Verwendung von Semantik im Entwurfsprozess getroffen werden. In Bezug auf den Geräteengineeringprozess soll der Anteil des automatisierten Geräteengineerings erweitert werden. Dies soll zu einer Flexibilisierung der Geräteentwicklung führen, in der die Verschaltung der funktionalen Elemente beim Endkunden erfolgt. Auch das Deployment von eigenen funktionalen Elementen auf die Geräte der Hersteller soll durch den Endkunden möglich werden. Dabei wird auch eine automatisierte Erstellung von Gerätebeschreibungen benötigt. Alle diese Erweiterungen ermöglichen dann den letzten großen Schritt zu einer verteilten Applikation über heterogene Infrastrukturen. Dabei sind die funktionalen Elemente nicht nur durch die Gerätehersteller verteilbar, sondern diese können auch auf verschiedenen Plattformen unterschiedlicher Gerätehersteller verwendet werden. Damit einher geht die für aktuelle Entwicklungen wie Industrie 4.0 benötigte geräteunabhängige Definition von Funktionalität. Alle im Engineering entstandenen Informationen können dabei auf den unterschiedlichen Ebenen der Automatisierungspyramide und während des Lebenszyklus weiterverwendet werden. Eine Integration diverser Gerätefamilien außerhalb der Automatisierungstechnik wie z. B. IoT-Geräte und IT-Geräte ist damit vorstellbar. Nach einer Analyse der relevanten Techniken, Technologien, Konzepte, Methoden und Spezifikationen wurde eine Werkzeugkette für den modellgestützten Entwurf von Feldgeräten entwickelt und die benötigten Werkzeugteile und Erweiterungen an bestehenden Beschreibungen diskutiert. Dies Konzept wurde dann auf den verteilten Entwurf auf heterogener Hardware und heterogenen Plattformen erweitert, bevor beide Konzepte prototypisch umgesetzt und evaluiert wurden. Die Evaluation erfolgt an einem zweigeteilten Szenario aus der Sicht eines Geräteherstellers und eines Integrators. Die entwickelte Lösung integriert Ansätze aus dem Kontext von Industrie 4.0 und IoT. Sie trägt zu einer vereinfachten und effizienteren Automatisierung des Engineerings bei. Dabei können Profile als Baukasten für die Funktionalität der Feldgeräte und Anlagenapplikationen verwendet werden. Bestehende Beschränkungen im Engineering werden somit abgeschwächt, so dass eine Verteilung der Funktionalität auf heterogene Hardware und heterogene Plattformen möglich wird und damit zur Flexibilisierung der Automatisierungssysteme beiträgt.The development of field devices is a very complex procedure. Many preconditions need to be met. Various requirements and constrains need to be addressed. Beside this, there are only a few publications on this topic. Due to the ongoing digitalization, more and more solution providers are entering the market of the industrial automation. Technologies and approaches from the context of the Internet of Things are being used more and more in the automation domain. These approaches range from sensors without the typical descriptions from industry up to marketplaces where integrators and users can buy software components for plants. For new suppliers, who often do not come from the classical automation business, the already existing models, functionalities, profiles, and descriptions are not always easy to use. This results in disruptive solutions based on newly defined specifications and models. Despite this disruptiveness, the aim should be to prevent reinventing the proven automation functions, and to use them effectively, and efficiently on different platforms depending on the requirements. This explicitly includes the flexible distribution of the automation functions to heterogeneous networked resources. The platforms can be classical field devices and controllers, as well as normal desktop PCs and IoT nodes. The aim of this thesis is to develop a toolchain for the model-based design of field device applications based on profiles, and thus also suitable for the extended design of distributed plant applications. Therefore, different description methods are evaluated in order to enrich them with detailed descriptions of parameters and process data. Furthermore, c oncepts of modularity will also be used and preparations will be made for the use of semantics in the design process. With regard to the device engineering process, the share of automated device engineering will be increased. This leads to a flexibilisation of the device development, allowing the customer to perform the networking of the functional elements by himself. The customer should also be able to deploy his own functional elements to the manufacturers' devices. This requires an automated creation of device descriptions. Finally, all these extensions will enable a major step towards using a distributed application over heterogeneous infrastructures. Thus, the functional elements can not only be distributed by equipment manufacturers, but also be distributed on different platforms of different equipment manufacturers. This is accompanied by the device-independent definition of functionality required for current developments such as Industry 4.0. All information created during engineering can be used at different levels of the automation pyramid and throughout the life cycle. An integration of various device families from outside of Automation Technology, such as IoT devices and IT devices, is thus conceivable. After an analysis of the relevant techniques, technologies, concepts, methods, and specifications a toolchain for the model-based design of field devices was developed and the required tool parts, and extensions to existing descriptions were discussed. This concept was then extended to the distributed design on heterogeneous hardware and heterogeneous platforms. Finally, both concepts were prototypically implemented and evaluated. The evaluation is based on a two-part scenario from both the perspective of a device manufacturer, and the one of an integrator. The developed solution integrates approaches from the context of Industry 4.0 and IoT. It contributes to a simplified, and more efficient automation of engineering. Within this context, profiles can be used as building blocks for the functionality of field devices, and plant applications. Existing limitations in engineering are thus reduced, so that a distribution of functionality across heterogeneous hardware and heterogeneous platforms becomes possible and contributing to the flexibility of automation systems

Parallele und kooperative Simulation für eingebettete Multiprozessorsysteme

Die Entwicklung von eingebetteten Systemen wird durch die stetig steigende Anzahl und Integrationsdichte neuer Funktionen in Kombination mit einem erhöhten Interaktionsgrad zunehmend zur Herausforderung. Vor diesem Hintergrund werden in dieser Arbeit Methoden zur SystemC-basierten parallelen Simulation von Multiprozessorsystemen auf Manycore Architekturen sowie zur Verbesserung der Interoperabilität zwischen heterogenen Simulationswerkzeugen entwickelt, experimentell untersucht und bewertet

Modellierung von Kommunikationssystemen zum Zweck der Systemanalyse und des Systementwurfs

Einen wesentlichen Beitrag zu Innovationen und Weiterentwicklungen in der Automobilindustrie leisten elektronische Komponenten. Der funktionale Wachstum in den Bereichen Sicherheit, Komfort und Fahrerassistenz führt zu einer Erhöhung der Komplexität. Neben der Anzahl der Komponenten steigert sich auch der Bedarf an Kooperation und Datenaustausch. Insbesondere by-wire- und Assistenzsysteme (Hochautomatisiertes Fahren) zeichnen sich durch hohe Anforderungen in den Bereichen Zuverlässigkeit, Datenkonsistenz, Fehlertoleranz und Ausfallsicherheit aus. Die Zusammenarbeit einzelner Steuergeräte fordert von der Kommunikationsstruktur neben hohen Datenraten auch Determinismus und Echtzeitverhalten. Die Entwicklung dieser komplexen verteilten Systeme profitiert durch modellbasierte Entwurfsprozesse. Der Nachweis von grundlegenden Systemeigenschaften mit dem Schwerpunkt Kommunikation soll bereits in frühen Entwurfsphasen mit Hilfe von ausführbaren Spezifikationen modell- und simulationsbasiert erfolgen. In dieser Arbeit wird ein Modellierungsansatz entworfen, welcher die typischen ereignis- und zeitgesteuerten Protokolle in der Domäne Automotive adressiert. Der Fokus liegt auf den Buszugriffsverfahren. Modelle auf unterschiedlichen Abstraktionsebenen werden am Beispiel von Controller Area Network (CAN) und FlexRay definiert und realisiert. Neben der reinen Kommunikation werden die angrenzenden Themenfelder Gateway (heterogene Kopplung) und Betriebssystem berücksichtigt. Detaillierte Modelle eignen sich zur Analyse spezifischer Protokolleigenschaften sowie zur Weiterentwicklung von Protokollfunktionen auf Modellebene. Mit abstrakteren Modellen lassen sich Leistungs- und Eigenschaftsanalysen von großen heterogenen Systemen durchführen. Echtzeitkommunikation, vernetzte Systeme und Anwendungsfelder für modellbasierte Entwurfsprozesse finden sich auch außerhalb des Automobilbereiches. Die Anwendung wird am Beispiel der Entwicklung und Optimierung eines komplexen verteilten Systems zur Steuerung einer Nanopositionier- und Nanomessmaschine demonstriert. Innerhalb des Entwicklungsprozesses werden Entwurf, Realisierung und Leistungsbewertung bezüglich der Architektur des Gesamtsystems, der Verteilung von Funktionen und der Realisierung einzelner Komponenten sowie applikationsspezifische Kommunikationsprotokolle betrachtet.Major innovations and improvements in the automotive industry base on the electronic components. The growing number of functionality in the areas safety, comfort and driver assistance lead to an increase of the complexity. Not only the number of components increase. Especially to realize complex assistance systems the cooperation and data exchange gets more important. In particular, by-wire and assistance systems (highly-automated driving) have high requirements on reliability, data consistency and safety. The cooperation of single control units to realize these complex functions require not only high data rates but also determinism and real-time behavior of the communication architecture. The development of these complex distributed systems benefits from model-based design processes. The verification and validation of system properties with a focus on communication should be possible in early design phases using model and simulation-based approaches based on executable specifications. In this thesis, a modeling approach is developed addressing the typical event-driven and time-triggered protocols in the automotive domain. Models on different abstraction levels are defined and implemented. The Controller Area Network (CAN) and FlexRay are used as examples. Beside the communication protocols some related topics: gateway-functionality (heterogeneous communication) and operating system. The developed detailed models are adequate for the analysis of specific protocol properties as well as the improvement of protocol functions on model level. More abstract models can be used to analyze the performance, real-time behavior and characteristics of large heterogeneous systems. Real-time communication, distributed embedded systems and model-based design processes are not limited to the automotive sector. Therefore the utilization of the modeling approach is demonstrated within the development and optimization of a distributed embedded system: a signal- and dataprocessing unit of a nanopositioning- and nanomeasuringmachine. The example covers most parts of the development process. Selected topics are the design of the system architecture, the distributed allocation of functionality, the realization of single components and the development of application specific communication protocols

Effizienter Entwurfsfluss durch neue Verfahren der Logiksynthese und Technologieabbildung von VHDL-Hardwarebeschreibungen

Neben der tatsächlichen Leistungsfähigkeit von Synthesewerkzeugen hinsichtlich Synthesegeschwindigkeit und Güte der produzierten Ergebnisse ist auch die durch den Benutzer notwendige Interaktion zur Erzeugung eines befriedigenden Produktes ein wichtiger Faktor bei der Frage, wie schnell eine vorgegebene Aufgabe umgesetzt werden kann (Time to Market). Zwei grundlegende Designschwächen bestehender Synthesewerkzeuge werden untersucht, welche eine permanente Aufmerksamkeit seitens des Entwicklers erfordern. Die erste Designschwäche betrifft die automatische Logiksynthese. Sie kann zu einem unterschiedlichen Verhalten der generierten Schaltung im Vergleich zu einer vorher durchgeführten Simulation führen. Diese Synthesefehler sind oft nur schwer zu erkennen. Die Vermeidung solcher Fehler seitens des Entwicklers ist nur bei der strengen Einhaltung eines gegebenen Coding-Styles möglich. Dieser wird von den meisten Werkzeugen nur oberflächlich geprüft und verkompliziert zusätzlich die Beschreibung bestimmter Baugruppen erheblich. Es werden die Ursachen für dieses Verhalten beschrieben und ein alternatives vom Coding-Style unabhängiges Logiksyntheseverfahren "SibaS" (Simulation-based-Synthesis) vorgestellt. Dieses Verfahren verwendet, insbesondere bei der Synthese von sequentiellen Schaltungen, einen anderen Ansatz als aktuelle VHDL-Syntheseverfahren. Im Gegensatz zu diesen wird dabei nicht versucht, aus der Struktur der beschriebenen Schaltung auf den Schaltungstyp zu schließen, stattdessen wird die zu übersetzende Beschreibung einer speziellen Simulation unterworfen und anhand der Ergebnisse eine entsprechende Schaltung generiert. Die zweite Designschwäche betrifft die Schnittstelle zwischen Logiksynthese und Technologieabbildung. Die Verwendung von VHDL an dieser Stelle erlaubt zwar die beliebige Kombination von Werkzeugen, führt aber zum Verlust abstrakter Designinformation, wie z. B. von arithmetischen Strukturen, was durch den Einsatz zusätzlicher Werkzeuge und damit verbundener Entwicklungszeit ausgeglichen werden muss. Die Integration von Logiksynthese und Technologieabbildung ermöglicht es, eine neue Schnittstelle "A-RTL" (Arithmetic-RTL) zu schaffen, um diese abstrakten Informationen zu bewahren und innerhalb der Technologieabbildung "ALTeM" (Arithmetic and Logic Technology Mapping) zu nutzen. Die entwickelten Verfahren wurden innerhalb einer beispielhaften Implementierung eines kompletten Synthesewerkzeugs "Square-Dance" integriert und untersucht. Im Vergleich zu den verfügbaren VHDL-Synthesewerkzeugen zeichnet sich Square-Dance durch eine fehlerfreie Synthese, unabhängig vom verwendeten Coding-Style, und die Möglichkeit der unmittelbaren Generierung effizienter arithmetischer Strukturen aus