Das Sächsische Geometriesymposium versteht sich als eine interdisziplinäre Plattform geometriebezogene Themen in wissenschaftlichen Beiträgen vorzustellen. Aktuelle Forschungsergebnisse zur eindeutigen Beschreibung der Funktion von Bauteilen, über die geometriebezogene Bewertung von Fertigungstechnologien bis zur Qualifizierung von Messfahren werden präsentiert und mit Blick auf zukünftige Herausforderungen der Produktionstechnik bezüglich Digitalisierung und prozessübergreifender Ansätze diskutiert. Das Symposium führt die lange Tradition des Internationalen Oberflächenkolloquiums in neuem Format und in akademischer Gemeinschaft der vier Lehrstühle in Chemnitz, Zwickau, Mittweida und Dresden im Fachgebiet Fertigungsmesstechnik in Sachsen fort. / The Saxon Symposium on Geometry is an interdisciplinary network for scientific researchers on geometry related subjects. Recent research on the specification of functional characteristics, the geometry related assessment of manufacturing technologies and measurement methods is discussed with regard to future challenges like digitization or global process approaches. The symposium carries on with the tradition in Saxony and the former International Colloquium on Surfaces. The new format takes place in cooperation of the four production metrology chairs of Saxony’s universities in Chemnitz, Zwickau, Mittweida and Dresden.

The specification of a decoder, i.e., a program that translates sentences from one natural language into another, is an intricate process, driven by the application and lacking a canonical methodology. The practical nature of decoder development inhibits the transfer of knowledge between theory and application, which is unfortunate because many contemporary decoders are in fact related to formal-language theory. This thesis proposes an algebraic framework where a decoder is specified by an expression built from a fixed set of operations. As yet, this framework accommodates contemporary syntax-based decoders, it spans two levels of abstraction, and, primarily, it encourages mutual stimulation between the theory of weighted tree automata and the application.

Zentrales Thema des Oberflächenkolloquiums 2017 ist die anwendungsorientierte, funktionale geometrische Spezifikation und Messung der Oberfläche im Sinne der Gesamtgeometrie. Neben der Mikrogestalt wird dabei das Zusammenwirken mit der Makrogeometrie zur Erfüllung funktionaler Anforderungen diskutiert. Interessante Beiträge aus Industrie und Wissenschaft zeigen sowohl Lösungen als auch Probleme verschiedenster Fachbereiche auf. / Key issue of the International Colloquium on Surfaces 2017 is the application‐oriented, functional geometrical specification and verification of surfaces as part of the entire geometry. Therefore we discuss the interaction of micro and macro geometry, to fulfill functional requirements. Interesting articles from industry and research point out solutions as well as problems from multifaceted fields of expertise.

Documentation is an essential activity in software development, for source code as well as modelling artefacts. Typically, documentation is created and maintained manually which leads to inconsistencies as documented artefacts like source code or models evolve during development. Existing approaches like literate/elucidative programming or literate modelling address these problems by deriving documentation from software development artefacts or vice versa. However, these approaches restrict themselves to a certain kind of artefact and to a certain phase of the software development life-cycle. In this paper, we propose elucidative development as a generalisation of these approaches supporting heterogeneous kinds of artefacts as well as the analysis, design and implementation phases of the software development life-cycle. Elucidative development allows for linking source code and model artefacts into documentation and thus, maintains and updates their presentation semi-automatically. We present DEFT as an integrated development environment for elucidative development. We show, how DEFT can be applied to language specifications like the UML specification and help to avoid inconsistencies caused by maintenance and evolution of such a specification.

In der vorliegenden Arbeit wird der Entwurf von Funkempfängern für digitale Modulation betrachtet. Dabei liegt der Schwerpunkt der Betrachtungen beim Finden einer geeigneten Empfängerarchitektur, der Spezifikation der einzusetzenden Bausteine, der Auswahl einer geeigneten Arbeitsfrequenz und eines passenden Modulationsverfahrens sowie der Festlegung einer dem Einsatzzweck angepaßten Datenrate. Ein wesentlicher Punkt ist die der Empfangsaufgabe angepaßte gewichtete Bekämpfung der auftretenden Störbeiträge. Dafür werden zunächst Grundlagen, wie wichtige Modulationsverfahren, Empfängerarchitekturen sowie Bestimmungsgleichungen für Parameter eingeführt. Darauf aufbauend wird eine allgemeingültige Methode zum Entwurf von Funkempfängern für digitale Modulation entwickelt. Diese Methode kann stets angewendet werden, wenn ein Empfänger für digitale Modulation entworfen werden soll. Wesentliche zu berücksichtigende Einsatzparameter und Randbedingungen werden an passender Stelle in den Entwurf einbezogen und eine entsprechend angepaßte Lösung wird weiterverwendet. Die Entwurfsmethode eignet sich sowohl für den freien Empfängerentwurf als auch für Entwürfe, die sich an der Einhaltung von Standards orientieren müssen. Der Kerngedanke besteht darin, das alle Störeinflüsse einen gleichgroßen Beitrag zur Signalverfälschung liefern sollen. Um dies zu erreichen, werden potentielle Störeinflüsse analysiert und entsprechend ihres Einflusses gewichtet zur weiteren Bestimmung der notwendigen Eigenschaften der Empfängerbaugruppen herangezogen. In der vorliegenden Arbeit wird hauptsächlich der allgemeine Anwendungsfall des freien nicht standardbezogenen Empfängerentwurfes betrachtet. Es wird aufgezeigt, wie durch die Analyse und entsprechende Berücksichtigung einer variablen Anzahl von Störeinflüssen die Eigenschaften der einzelnen Empfängerkomponenten jeweils bestmöglich eingestellt werden können. Diese Methode wird anschließend anhand von verschiedenartigen Beispielen weiter illustriert und ihre erfolgreiche Anwendbarkeit veranschaulicht. Anhand einer Mischerschaltung wird beispielhaft auf grundlegende Ansätze zur Verbesserung der Linearitätseigenschaften eingegangen. Dabei werden spezifische Unterschiede zwischen einer Superhet- bzw. einer Direktmischarchitektur hervorgehoben. Weiterhin wird eine Methode zur Wiederverwendung (Re-Use) von analogen Schaltungen oder ähnlichen Objekten vorgeschlagen. Dabei werden die Schaltungen anhand einer Vorgabe bewertet, und es wird eine Rangfolge aufgestellt. Damit ist gewährleistet, daß die der Vorgabe am besten entsprechende Schaltung gefunden werden kann, auch wenn eine 100%ige Übereinstimmung nicht gegeben ist. Die hierfür notwendigen Bewertungsalgorithmen werden ausführlich dargestellt und ihr jeweiliger Einsatz wird erläutert. Abschließend erfolgt eine überblicksweise Darstellung von Simulationswerkzeugen und -verfahren, die für den Empfängerentwurf bedeutsam sind. Dabei wird hauptsächlich auf die Verbindung von System- und Schaltungsentwurf eingegangen, und es werden bestehende Probleme dargelegt sowie vorhandene Lösungsmöglichkeiten aufgezeigt. Einige im Zusammenhang mit der Simulation interessante Modellierungsgesichtspunkte werden ebenfalls dargestellt.

Ausgehend von einer modularen Plattform zur Erfassung und Verarbeitung von Sensordaten bereichert die vorliegende Dissertationsschrift den Systementwurf eingebetteter Systeme um neue Facetten. Ihr besonderer Fokus liegt dabei auf rekonfigurierbaren Architekturen und Linux-basierten Systemen. Ein wesentlicher Beitrag ist die Darstellung und Diskussion von Konzepten und Architekturen vorgenannter Systeme durch ihre Betrachtung auf einer hohen Abstraktionsebene. Dazu schafft die Arbeit ein umfassendes Verständnis für Kommunikation und Konfiguration in heterogenen rekonfigurierbaren Systemen und überträgt die Erkenntnisse auf das Linux-Betriebssystem. Es erfolgt außerdem eine systematische Darstellung der etablierten Zusammenhänge und Abläufe beim Software-, Paket- und Versionsmanagement im Linux-Umfeld. Zur Verbesserung des Entwurfsflusses werden Konzepte und ein geeignetes Werkzeug zur High-Level Spezifikation von Linux-Systemen dargestellt. Die in der Arbeit gewonnenen wissenschaftlichen Erkenntnisse werden hinsichtlich praktischer Relevanz evaluiert und durch prototypische Implementierungen verifiziert. / Based on a modular platform for recording and processing of sensor data the present thesis enriches the field of system design of embedded systems with new facets. Its particular focus is on reconfigurable architectures and Linux-based systems. A major contribution is the presentation and discussion of concepts and architectures of aforementioned systems by investigating them on a high level of abstraction. To achieve this, the work creates a comprehensive understanding of communication and configuration in heterogeneous reconfigurable systems. This knowledge is transferred on the Linux operating system. In addition, a systematic presentation of the established relationships and processes in software, package and version management in the Linux environment takes place. To improve the design flow of Linux systems, the thesis presents appropriate concepts as well as a tool for high-level specification of embedded Linux systems. The gained scientific findings are evaluated in terms of practical relevance and verified by prototype implementations.

SDL in der 1996 standardisierten Sprachversion ist zur Zeit die im Telekommunikationsbereich am weitesten verbreitete Sprache zur Spezifikation von Protokollen. Ein wesentlicher Aspekt der Sprachentwicklung seit 1988 ist auch die Verfügbarkeit einer formalen Basis semantischer Konzepte. Für das Datenkonzept der Sprache wurde auf die algebraischen Technik ACT ONE zurückgegriffen. Obwohl Anspruch als auch praktischer Wert von SDL in der Ausführbarkeit als Spezifikationstechnik liegt, wird dieses gerade durch das verwendete Datenmodell beeinträchtigt. Verdeckt wird dieses Problem durch die Bereitstellung von vordefinierten Datentypen. Durch die Erweiterung von SDL um objektorientierte Konzepte im Jahr 1992 und durch die allgemein wachsende Bedeutung der Daten in Protokollbeschreibungen treten die vorhandenen Sprachprobleme bei den Daten immer mehr in der Vordergrund. Individuelle Lösungen zur Spezifikation von Daten in verfügbaren SDL-Werkzeugen sind die Folge. In der vorliegenden Arbeit werden sowohl die praxismotivierten Unzulänglichkeiten als auch die formalen Unstimmigkeiten im SDL-Datenkonzept aufgezeigt. Auf der Grundlage einer systematischen Analyse werden ein allgemeiner Anforderungskatalog und eine Methodik für Veränderungen am Datenkonzept erarbeitet. Zusätzlich werden wichtige Sprachmodifikationen mit dem Schwerpunkten Ausdruckskraft und Ausführbarkeit vorgestellt und bewertet. Es steht somit ein Instrumentarium zur Verfügung, das den unterschiedlichen SDL-Interessengruppen bei der Bewertung und Nutzung von SDL-Veränderungen dienlich ist. Die in der Arbeit vorgestellten Modifikationen des Datenkonzepts basieren auf den langjährigen Erfahrungen des Autors bei der Implementierung und dem Einsatz von Werkzeugen, die mit verschiedenen projektspezifischen Zielstellungen SDL-Beschreibungen in ausführbare Programme überführen. Die Kombination von SDL mit einer weiteren Spezifikationstechnik, ASN.1, spielt hier eine besondere Rolle. Durch die aktive Mitarbeit des Autors bei der SDL-Sprachstandardisierung werden in der Arbeit auch Vorschläge präsentiert, die über das Potential der vorhandenen Werkzeuge hinausgehen. Das schließt beispielsweise die Bewertung der neuen, in der Praxis noch nicht etablierten, SDL-Version aus dem Jahr 2000 mit ein. / SDL in the language version which was standardized in 1996 is the most-used language in the telecommunication domain for the specification of protocols today. An essential aspect of the language development since 1998 is the availability of a formal basis for semantic concepts. The algebraic technique ACT ONE is used for the data concept of the language. Although the requirement and the practical value of SDL is the execution a specification technique, this is impaired straight by the used data model. The problem is hidden by the supply of pre-defined data types. Because of the introduction of object oriented concepts in 1992 and because of the generally increasing importance of data for the protocol description the existing language problems are taking more and more attention. Individual solutions for the specification of data are the consequence with available SDL tools. In the presented document are pointed out the praxis motivated inadequacies as well as the formal discrepancy of the data concept. A general requirement catalogue and a methodology are designed for language modifications based on a systematic inspection of the SDL data concept. Furthermore important language modifications are introduced and evaluated with the focus to expression power and to execution. Instruments are provided thus, which are helpful to different SDL interest groups for the evaluation and for the application of SDL modifications. In the document presented data modifications are based on years of experience of the author in the implementation and application of tools that compile SDL specifications with different project-specific objectives into executable programs. The combination of SDL with a further specification technology, ASN.1, plays an important role here. Because of the active role of the author in the SDL standardization process also suggestions are presented going beyond the potential of the existing tools. That includes for example the evaluation of the new, in practice not yet established SDL version, published in 2000.