Die Arbeit adressiert die empirisch beobachtete Fehleranfälligkeit einer populären Teilmenge modellgetriebener Decision Support Systeme (MDSS), die mit Spreadsheet-Werkzeugen erstellt werden. Der Fokus liegt bei diesen DSS auf der logischen Formulierung realer Zusammenhänge im multidimensionalen Kontext. Analysen einer empirisch belegten Fehlerrate weisen auf proprietäre, oft wenig intuitive Modellierungssprachen der am Markt befindlichen Produkte hin, die eine unnatürliche, fehleranfällige Modellierung provozieren. In Analogie zu den positiven Erfahrungen einer konzeptuellen Datenmodellierung schlägt die vorliegende Arbeit eine konzeptuelle Modellierungsebene vor, um diesem Problem zu begegnen. Eine Untersuchung vorhandener konzeptueller Modellierungsansätze kommt zu dem Ergebnis, dass bei der Konstruktion der konzeptuellen Modellierungsebene für MDSS eine Erweiterung oder Änderung eines bestehenden konzeptuellen Modellierungsansatzes nicht in Betracht gezogen werden kann. Basierend auf diesen Erkenntnissen wird eine konzeptuelle Modellierungsebene entwickelt, welche aus den drei Phasen Modellkonfiguration, Modelltransformation und Modellkompilierung besteht. In der Konfigurationsphase werden sämtliche Modellelemente (Dimensionen, Dimensionsausprägungen, Gruppen und Formeln) definiert und die Überlagerung von (vektoriellen) Formeln innerhalb des Modells bewusst zugelassen. Die Transformationsphase stellt die Konsistenz der modellierten Strukturen in Bezug auf deren Eindeutigkeit sicher, indem sämtliche Überschneidungen von Formeln innerhalb von Modellzellen in einem systemunterstützten Benutzerdialog beseitigt werden. Im dritten Teil des Konzepts, der Kompilierungsphase, werden die überschneidungsfreien, konzeptuellen Modelle in proprietäre Modellinstanzen übersetzt, sodass sie in Anwendungssystemen für Analysen verwendet werden können. Die prototypische Implementierung erfolgt anhand eines Modellierungseditors (Java) zur Umsetzung der Konzeptphase Modellkonfiguration. Modelltransformation und –kompilierung werden auf Basis von Microsoft Excel und VBA Programmen prototypisch umgesetzt. Abschließend kann mittels einer Evaluation auf positive Effekte des erarbeiteten Konzepts für die Qualität modellgetriebener Decision Support Systeme geschlossen werden.

Einfache oder komplexe dynamische Systeme stellen Individuen und Gesellschaften gleichermaßen vor mitunter große Herausforderungen, wie regionale und globale Krisen immer wieder zeigen. Ein basales und allgemeines Verständnis dynamischer Zusammenhänge scheint daher nicht nur wünschenswert, sondern mit Blick auf ausgewählte aktuelle Krisen sogar notwendiger denn je. Doch auch in alltäglichen Situationen oder im Schulkontext kann ein fundamentales Verständnis dynamischer Systeme die individuellen Entscheidungen oder den mathematischen Erkenntnisgewinn unterstützen. Allerdings zeigt eine breite Basis empirischer Befunde, dass bereits relativ einfache Dynamiken, wie Fluss-Bestands-Systeme (FB-Systeme), nur unzureichend erfasst zu werden scheinen. Diese Dissertationsschrift verfolgt daher die generelle Fragestellung, wie sich ein basales Verständnis formal einfacher FB-Systeme fördern oder generieren lassen könnte. Aufgrund einer bislang fehlenden einheitlichen theoretischen Beschreibung des FB-Verständnisses und dessen Einflussfaktoren basiert die vorgestellte Untersuchungsserie einerseits auf drei ausgewählten generellen theoretischen Perspektiven und daraus abgeleiteten Einflussfaktoren. Zusätzlich wurden einzelne weitere theoretische Modelle und eine Vielzahl spezifischer empirischer Befunde, zur Wirksamkeit verschiedener Präsentationsformate auf kognitive Fähigkeiten, für die Begründung der experimentellen Manipulationen herangezogen. In einer Serie von sieben experimentellen Untersuchungen wurden diverse Möglichkeiten grafischer Darstellungen, isoliert und in Wechselwirkung mit verschiedenen Personenmerkmalen, empirisch bezüglich ihres Einflusses auf das basale Verständnis illustrierter FB-Systeme überprüft. Unter Anwendung geltender wissenschaftlicher Standards und durch Nutzung moderner inferenzstatistischer Verfahren erlauben die gewonnen Ergebnisse eine fundierte Beurteilung der untersuchten Einflussfaktoren. Organisiert in drei Teilen, konnten in einer Folge von einfachen statischen Abbildungen, über passive dynamische Repräsentationen, bis hin zu interaktiven animierten Interventionsformaten, zahlreiche Illustrationsvarianten in ihrer Wirkung auf ein basales FB-Verständnis beurteilt werden. In den Experimenten 1 bis 3 wurden zunächst ausgewählte statische Darstellungsformate, spezifische Kontexteinbettungen und adaptierte Instruktionsansätze überprüft. Dabei zeigte sich keiner der manipulierten Darstellungsaspekte als genereller Wirkfaktor auf das basale FB-Verständnis. Weder kombinierte oder angepasste Diagrammdarstellungen, noch Zusatzinformationen oder überlebensrelevante Kontexteinbettungen führten zu den erwarteten Verbesserungen des FB-Verständnisses. Selbst, auf etablierten pädagogischen Interventionen basierende Instruktionsformen zeigten keinen systematischen Einfluss auf die Lösungsraten von FB-Aufgaben. In den anschließenden Experimenten 4 bis 6 konnten unter passiven dynamischen Darstellungen – rezipierende Animationen ohne Eingriffsmöglichkeiten – gleichfalls keine generell wirksamen Formate identifiziert werden. Ob fließend oder segmentiert, einmalig oder repetitiv, einzeln oder kombiniert: Keine der untersuchten passiven Animationsarten schlug sich in verbesserten Lösungsraten nieder. Im letzten Teil der Dissertation wurden schließlich interaktiv dynamische Formate am Beispiel von eigens konzipierten computerspielbasierten Lerninterventionen empirisch untersucht. Erneut zeigten sich keine Haupteffekte für die Attribute dieser Art der Informationsvermittlung. Einerseits bieten die gewonnenen Daten insgesamt keine konkreten Hinweise darauf, welche Formate generell geeignet sein könnten, FB-Zusammenhänge verständlich zu kommunizieren. Andererseits ließen sich wiederholt relevante Individualfaktoren identifizieren, die, spezifisch und in Wechselwirkungen mit den Repräsentationsformaten, das Ausmaß des individuellen FB-Verständnisses substanziell zu beeinflussen scheinen. Bereits in den ersten Experimenten traten spezifische Personenmerkmale hervor, die sich über die gesamte Untersuchungsserie hinweg als eigenständige Determinanten prädiktiv für das FB-Verständnis zeigten. Das Geschlecht (wobei Männer im Mittel ein besseres FB-Verständnis zeigten) und die mathematischen Fähigkeiten der Versuchspersonen bestimmen offenbar das Verständnis einfacher dynamischer Systeme deutlich stärker, als jedes der manipulierten Darstellungsformate. Gleichfalls scheinen sie für alle untersuchten Varianten der Repräsentationsformate vergleichbar und unabhängig voneinander relevant zu sein – wie statistische Kontrollmaßnahmen zeigen konnten. Vereinzelt, aber weniger stringent, konnten ebenfalls prädiktive Einflüsse motivationaler und kognitiver Faktoren, wie räumliche Intelligenz, beobachtet werden. Einige dieser Personenmerkmale traten wiederholt, wenn auch ohne erkennbare Systematik, in Wechselwirkung mit den experimentellen Darstellungsvarianten in Erscheinung. In Abhängigkeit von bestimmten Personenmerkmalen wirkten sich demnach einige der untersuchten Darstellungsformen unterschiedlich auf die Leistung in FB-Aufgaben aus. Insbesondere für animierte Präsentationsformate zeigten sich dabei Interaktionseffekte mit dem Geschlecht, wonach Männer und Frauen offenbar von verschiedenen Illustrationsarten profitieren. In nahezu allen Experimenten der Teile II und III konnte ein derartiger Geschlechter-Darstellungsformat-Interaktionseffekt beobachtet werden. Weitaus seltener zeigten sich hingegen Moderatoreffekte von motivationalen oder kognitiven Faktoren. Obwohl die mathematischen Fähigkeiten über alle Experimente hinweg als substanzieller Prädiktor des FB-Verständnisses in Erscheinung traten, fanden sich überdies durchgängig keine Anzeichen für dementsprechende Interaktionseffekte. Darüber hinaus boten explorative Vergleiche zwischen den verschiedenen Experimenten weitere interessante Hinweise auf die Hintergründe des generell relativ schwach ausgeprägten basalen FB-Verständnisses. Da Experiment 6 in Kooperation mit der Pädagogischen Hochschule Heidelberg durchgeführt werden konnte, ließen sich mathematisch sehr gut vorgebildete Versuchspersonen für die Teilnahme gewinnen. Diese zeigten, im Vergleich zu den Kohorten der vorangegangenen Experimente, ein sehr hohes Verständnis der illustrierten FB-Systeme. Dies unterstreicht, über die Bedeutung individueller mathematischer Fähigkeiten hinaus, dass ein gutes bis sehr gutes FB-Verständnis prinzipiell realisierbar ist. Weitere explorative Analysen deuten überdies auf eine besonders positive Wirkung passiver dynamischer Repräsentationen im Kontext der kreierten computerspielbasierten Interventionen. Die in Experiment 7 ursprünglich als Kontrollbedingung konzipierte Darstellungsvariante führte gegenüber einer vergleichbaren Stichprobe weiblicher Versuchsteilnehmer zu deutlich verbesserten Lösungsraten. Ergänzend zu vergleichenden Diskussionen der drei separaten Dissertationsteile folgt eine abschließende Generaldiskussion. Neben generellen Aspekten der Ergebnisse werden darin die zentralen Schlussfolgerungen und Erkenntnisse zusammengefasst. Die Erörterung potenzieller theoretischer und praktischer Implikationen sowie die Vorstellung spezifischer Anschlussfragestellungen und zukünftiger Forschungsanstrengungen bilden den Abschluss dieser Dissertationsschrift.

La métrologie industrielle est l'un des enjeux actuels de tous les secteurs d'activité qui nécessitent de réaliser un contrôle dimensionnel précis de produits afin de garantir des spécificités conformes aux normes et de tendre vers une qualité ``zéro défaut''. Les systèmes actuels utilisés s'appuient sur des technologies fondées sur la stéréométrie, la photogrammétrie, la projection de lumière structurée, la triangulation active ou le temps de vol. En général non polyvalents, encombrants, fragiles et ne pouvant s'adapter à des environnements hostiles, ces systèmes souffrent d'une limitation géométrique en raison de l'existence d'un angle mort dans lequel aucune mesure ne peut être réalisée.<br /><br />Dans cette thèse, nous proposons un nouveau capteur, le scanner conoscopique, capable d'effectuer des mesures dans les domaines macroscopiques et microscopiques, fonctionnant dans n'importe quel environnement, même hostile, très compact et utilisant de la lumière spatialement incohérente.<br /><br />Exploitant le principe de la conoscopie et donc des propriétés de biréfringence des cristaux, le scanner conoscopique est composé d'une caméra à couplage de charges (CCD), d'un système conoscopique et d'une unité de traitement de l'information. A partir des spécifications de ses performances en terme de précision au millième de millimètre sur les mesures 3D, nous avons été conduit à analyser et caractériser chaque élément de la chaîne de mesure dont la calibration est l'étape fondamentale.<br /><br />Nous avons tout d'abord développé une technique de calibration de la caméra à couplage de charges (CCD) à partir d'un modèle sténopé qui combine les paramètres intrinsèques et extrinsèques et exploitant les points d'amers. Nous avons abouti à une précision de 1.5% du champ d'analyse. Ensuite, nous avons proposé deux méthodes de calibration du système conoscopique, l'une analytique par calcul direct de la phase et exploitant les équations de l'optique et de la biréfringence des cristaux, l'autre expérimentale par dénombrement des franges d'interférence et s'appuyant sur la connaissance d'abaques incluant la variation de température, d'éclairement, la nature des matériaux et intégrant une modélisation globale du bruit d'acquisition. La validation expérimentale réalisée d'une part sur des profils géométriques simples (créneaux, escaliers...) et d'autre part sur des objets 3D réels a permis d'établir que la précision de mesure est de 1.5% du champ d'analyse.<br /><br />Ayant établi la faisabilité technologique de la calibration du système qui permet de garantir les spécifications souhaitées, nous nous sommes plus particulièrement interessé à deux configurations du scanner conoscopique : fixe et à balayage, dont nous avons analysé les performances sur des objets diffusifs pour des formes et des matériaux différents. Nous avons établi que la précision des mesures est de l'ordre du millième du champ de mesure.<br /><br />L'ensemble des contributions de cette thèse est intégré au système actuellement développé qui est par ailleurs commercialisé et utilisé dans des applications industrielles et médicales.

Weaning is one of the most critical periods in pig production due to a high susceptibility to gut disorders and infections induced by psychological, social, environmental and dietary stresses interfering with gut development and adaptation. This period was managed for decades by incorporating antibiotics in the diet. However, the European Union implemented a full ban on in-feed antibiotics since 1 January 2006. In this context, many alternatives are studied. We chose to study bovine colostrum for its richness in essential nutrients but also in bioactive peptides known for their growth promoting and antimicrobial properties in the calf but also in other species (poultry, pig, human). It was also selected for its high disponibility (Banque de colostrum, CER, Marloie, Belgium). The objective of this thesis is to investigate the potential of the use of bovine colostrum in the newly-weaned piglet diet and its mechanism of action. This thesis is composed of two parts : In the first part, the effects of bovine colostrum on growth performances, feed intake and physiological parameters were studied in two experiments. In the first experiment, 24 newly weaned piglets were fed daily a diet supplemented with 0, 1 or 5 g of defatted bovine colostrum. Our measures on the immune system showed that bovine colostrum could influence the development of the IgA response by potentiating a Th2 response in the ileal Peyer patch. In the digestive tract, no effects were shown on the morphology of the intestinal wall but a local anti-colostral immunisation was observed. In a second experiment, we demonstrated the efficiency of a 2 % bovine colostrum whey supplementation in weaning piglet diet to reduce the post-weaning growth check and undernutrition. The blood parameters showed a systemic IgA response, confirming previous results, and a higher IGF-I level in the colostrum-fed piglets the first week post-weaning. No effects on the faecal E. coli population were recorded. In the second part of this thesis, different ways to make the use of bovine colostrum more cost-effective for pig production were studied. It was shown that it was possible to maintain the same efficiency while reducing the dose of supplementation from 2 to 1 % and the period of administration from 28 to 10 days and replacing bovine colostrum whey by defatted bovine colostrum, a product 50 % less expensive to produce. Le sevrage est une des périodes les plus critiques en production porcine à cause d'une plus forte sensibilité des animaux aux problèmes intestinaux et aux infections suite aux stress psychologique, social, environnemental et alimentaire interférant avec le développement du tube digestif. Cette période délicate a été maîtrisée durant des décennies par l'incorporation d'antibiotiques dans l'aliment. Cependant, depuis le 1er Janvier 2006, cette pratique est totalement interdite dans l'Union Européenne. Dans ce contexte, de nombreuses alternatives sont étudiées. Nous avons choisi le colostrum bovin pour sa richesse en éléments essentiels et surtout en peptides bioactifs connus pour leurs propriétés promotrices de croissance et antimicrobiennes chez le bovin mais également chez d'autres espèces (poulet, porc, homme). Il a également été retenu pour sa grande disponibilité (banque de colostrum, CER, Marloie, Belgique). L'objectif de cette thèse est d'évaluer l'intérêt d'utiliser du colostrum bovin dans l'alimentation du porcelet au sevrage et d'étudier son mécanisme d'action. La thèse se compose de deux parties : Dans la première partie, les effets d'une supplémentation en colostrum bovin sur les performances, l'ingestion et certains paramètres physiologiques ont été étudiés au cours de deux expériences. Au cours d'une première expérience, un aliment supplémenté quotidiennement avec 0, 1 ou 5 g de colostrum bovin dégraissé a été testé. Au niveau immunitaire, nos mesures ont montré une influence du colostrum bovin sur le développement de la réponse en IgA en induisant une réponse de type Th2 au niveau de la plaque de Peyer iléale. Dans le tube digestif, aucun effet n'a été observé sur la morphologie de la paroi intestinale, mais une immunisation locale anti-colostrale a été mise en évidence. Une seconde expérience a démontré l'efficacité d'une supplémentation de 2 % de sérum de colostrum dans l'aliment pour réduire la perte de poids et la sous-alimentation provoquées par le sevrage. Les paramètres sanguins ont montré une augmentation des IgA, confirmant nos résultats précédents, et un taux en IGF-I plus important chez les porcelets recevant le colostrum. Par contre, aucun effet n'a été observé sur la population d'E. Coli fécale. Dans la seconde partie de la thèse, différents moyens de réduire le coût de la supplémentation en colostrum bovin ont été étudiés. Il a été démontré qu'il était possible de maintenir l'efficacité du colostrum tout en réduisant la dose (de 2 % à 1 %) et la durée de supplémentation (de 28 à 10 jours) et en remplaçant le sérum de colostrum par du colostrum dégraissé, un produit 50 % moins cher.

Die vorliegende Arbeit umfaßt drei Abhandlungen, welche allgemein mit einer stochastischen Theorie für die Lyapunov-Exponenten befaßt sind. Mit Hilfe dieser Theorie werden universelle Skalengesetze untersucht, die in gekoppelten chaotischen und ungeordneten Systemen auftreten. <br /> <br /> Zunächst werden zwei zeitkontinuierliche stochastische Modelle für schwach gekoppelte chaotische Systeme eingeführt, um die Skalierung der Lyapunov-Exponenten mit der Kopplungsstärke ('coupling sensitivity of chaos') zu untersuchen. Mit Hilfe des Fokker-Planck-Formalismus werden Skalengesetze hergeleitet, die von Ergebnissen numerischer Simulationen bestätigt werden. <br /> <br /> Anschließend wird gezeigt, daß 'coupling sensitivity' im Fall gekoppelter ungeordneter Ketten auftritt, wobei der Effekt sich durch ein singuläres Anwachsen der Lokalisierungslänge äußert. Numerische Ergebnisse für gekoppelte Anderson-Modelle werden bekräftigt durch analytische Resultate für gekoppelte raumkontinuierliche Schrödinger-Gleichungen. Das resultierende Skalengesetz für die Lokalisierungslänge ähnelt der Skalierung der Lyapunov-Exponenten gekoppelter chaotischer Systeme. <br /> <br /> Schließlich wird die Statistik der exponentiellen Wachstumsrate des linearen Oszillators mit parametrischem Rauschen studiert. Es wird gezeigt, daß die Verteilung des zeitabhängigen Lyapunov-Exponenten von der Normalverteilung abweicht. Mittels der verallgemeinerten Lyapunov-Exponenten wird der Parameterbereich bestimmt, in welchem die Abweichungen von der Normalverteilung signifikant sind und Multiskalierung wesentlich wird. / This work incorporates three treatises which are commonly concerned with a stochastic theory of the Lyapunov exponents. With the help of this theory universal scaling laws are investigated which appear in coupled chaotic and disordered systems. <br /> <br /> First, two continuous-time stochastic models for weakly coupled chaotic systems are introduced to study the scaling of the Lyapunov exponents with the coupling strength (coupling sensitivity of chaos). By means of the the Fokker-Planck formalism scaling relations are derived, which are confirmed by results of numerical simulations. <br /> <br /> Next, coupling sensitivity is shown to exist for coupled disordered chains, where it appears as a singular increase of the localization length. Numerical findings for coupled Anderson models are confirmed by analytic results for coupled continuous-space Schrödinger equations. The resulting scaling relation of the localization length resembles the scaling of the Lyapunov exponent of coupled chaotic systems. <br /> <br /> Finally, the statistics of the exponential growth rate of the linear oscillator with parametric noise are studied. It is shown that the distribution of the finite-time Lyapunov exponent deviates from a Gaussian one. By means of the generalized Lyapunov exponents the parameter range is determined where the non-Gaussian part of the distribution is significant and multiscaling becomes essential.

CeCu_2Si_2 was the first heavy-fermion compound showing signatures of bulk superconductivity (T_c = 0.5 K). Further observations have put in evidence the correlations between superconductivity, magnetic order, Kondo physics, and quantum critical phenomena. In spite of the interest generated, a systematic study of such correlations was hampered by strong sample dependences. Fortunately, the inherent complexity associated to the stoichiometric composition has been recently understood. The availability of single-crystals with well-defined properties has thus reignited the interest in CeCu_2Si_2 as a window to novel phenomena, such as unconventional superconductivity. The present work summarizes the results of my doctoral research. It exemplifies the importance not only of high-quality materials, but also of suitable experimental techniques. A first step in this project involved the design of angle-dependent techniques in the milli-kelvin range, namely: electrical resistivity and thermal conductivity. It comprised the development of a rotational stage, the construction of sample holders, and the implementation of controlling and measuring components. In the second part of the project, electrical- and thermal-transport measurements on CeCu_2Si_2 were performed. Power-law behavior below T_c in the thermal conductivity suggests the presence of lines of nodes in the gap function. Also, the non-vanishing extrapolated residual terms (k_00/T ) support the presence of a residual density of states. The nodes are broadened by potential scattering, which appears to be significant in CeCu_2Si_2. The scattering hinders the determination of the symmetry of the order parameter and might be responsible for the observed isotropic angle dependence of the thermal conductivity. In contrast, angle-dependent measurements of the upper critical field exhibit a four-folded behavior, which also points towards the presence of nodes. By comparing with a weak-coupling model including the effects of Pauli limiting and anisotropic Fermi velocity, the results point towards a d_xy-wave symmetry of the order parameter. Such results represent the first angle-dependent measurements supporting a d-wave symmetry in CeCu_2Si_2.

Cyber-physical systems achieve sophisticated system behavior exploring the tight interconnection of physical coupling present in classical engineering systems and information technology based coupling. A particular challenging case are systems where these cyber-physical systems are formed ad hoc according to the specific local topology, the available networking capabilities, and the goals and constraints of the subsystems captured by the information processing part. In this paper we present a formalism that permits to model the sketched class of cyber-physical systems. The ad hoc formation of tightly coupled subsystems of arbitrary size are specified using a UML-based graph transformation system approach. Differential equations are employed to define the resulting tightly coupled behavior. Together, both form hybrid graph transformation systems where the graph transformation rules define the discrete steps where the topology or modes may change, while the differential equations capture the continuous behavior in between such discrete changes. In addition, we demonstrate that automated analysis techniques known for timed graph transformation systems for inductive invariants can be extended to also cover the hybrid case for an expressive case of hybrid models where the formed tightly coupled subsystems are restricted to smaller local networks. / Cyber-physical Systeme erzielen ihr ausgefeiltes Systemverhalten durch die enge Verschränkung von physikalischer Kopplung, wie sie in Systemen der klassichen Igenieurs-Disziplinen vorkommt, und der Kopplung durch Informationstechnologie. Eine besondere Herausforderung stellen in diesem Zusammenhang Systeme dar, die durch die spontane Vernetzung einzelner Cyber-Physical-Systeme entsprechend der lokalen, topologischen Gegebenheiten, verfügbarer Netzwerkfähigkeiten und der Anforderungen und Beschränkungen der Teilsysteme, die durch den informationsverabeitenden Teil vorgegeben sind, entstehen. In diesem Bericht stellen wir einen Formalismus vor, der die Modellierung der eingangs skizzierten Systeme erlaubt. Ein auf UML aufbauender Graph-Transformations-Ansatz wird genutzt, um die spontane Bildung eng kooperierender Teilsysteme beliebiger Größe zu spezifizieren. Differentialgleichungen beschreiben das kombinierte Verhalten auf physikalischer Ebene. In Kombination ergeben diese beiden Formalismen hybride Graph-Transformations-Systeme, in denen die Graph-Transformationen diskrete Schritte und die Differentialgleichungen das kontinuierliche, physikalische Verhalten des Systems beschreiben. Zusätzlich, präsentieren wir die Erweiterung einer automatischen Analysetechnik zur Verifikation induktiver Invarianten, die bereits für zeitbehaftete Systeme bekannt ist, auf den ausdrucksstärkeren Fall der hybriden Modelle.

Electronic systems of the future require a very high bandwidth communications infrastructure within the system. This way the massive amount of compute power which will be available can be inter-connected to realize future powerful advanced electronic systems. Today, electronic inter-connects between 3D chip-stacks, as well as intra-connects within 3D chip-stacks are approaching data rates of 100 Gbit/s soon. Hence, the question to be answered is how to efficiently design the communications infrastructure which will be within electronic systems. Within this paper approaches and results for building this infrastructure for future electronics are addressed.

ON PRESENTE LES PRINCIPAUX OUTILS QUI PERMETTENT DE SPECIFIER ET D'IMPLEMENTER LES MECANISMES DE SYNCHRONISATION DANS UN SYSTEME MONOPROCESSEUR PUIS MULTIPROCESSEUR. ON DEFINIT ET ON MONTRE LES REGLES D'EVOLUTION DES RESEAUX DE PETRI ET ON DETAILLE LES DIVERSES METHODES D'ANALYSE QU'ILS AUTORISENT. ON PROPOSE UN MODELE DERIVE APPELE RESEAUX DE PETRI A JETONS INDIVIDUALISES. ON DECRIT UN ALGORITHME DE SYNCHRONISATION ET ON PROPOSE UNE MISE EN OEUVRE DE CET ALGORITHME A PARTIR DES RESEAUX DE PETRI A JETONS INDIVIDUALISES

Mit steigender Komplexität heterogener, verteilter Systeme nehmen auch die Anforderungen an deren Validierung zu. In dieser Arbeit wird ein Konzept vorgestellt, mit dem eine bestimmte Klasse komplexer Systeme, so genannte Dienstbereitstellende Systeme, durch automatisiertes Testen validiert werden kann. Mit Hilfe heterogener Klienten, bspw. eingebetteter Systeme, wird die Systemfunktionalität getestet. Hierzu wird das zu testende System auf die nach außen zur Verfügung gestellten Dienste reduziert und die Nutzung dieser Dienste durch Klienten mit einer Last quantifiziert. Eine Validierung wird durch die Vorgabe zeitlich veränderlicher Lasten für jeden Dienst definiert. Diese Lasten werden zielgerichtet den verfügbaren Klienten zugeteilt und durch diese im zu testenden System erzeugt. Zur praktikablen Anwendung dieses Konzeptes ist eine Automatisierung des Validierungsprozesses notwendig. In der Arbeit wird die Architektur einer Testbench vorgestellt, die zum einen die Heterogenität der Klienten berücksichtigt und zum anderen Einflüsse durch die Dynamik der Klienten während der Laufzeit der Validierung ausgleicht. Das hierbei zu lösende algorithmische Problem der Dynamischen Testpartitionierung wird ebenso definiert, wie ein Modell zur Beschreibung aller notwendigen Parameter. Die Testpartitionierung kann mittels einer eigens entwickelten Heuristik in Polynomialzeit gelöst werden. Zur Bestimmung der Leistungsfähigkeit des entwickelten Verfahrens wird die Heuristik aufwendigen Untersuchungen unterzogen. Am Beispiel eines zu testenden Mobilfunknetzwerkes wird die beschriebene Testbench umgesetzt und Kernparameter mittels Simulation ermittelt. Das Ergebnis dieser Arbeit ist ein Konzept zur Systemvalidierung, das generisch auf jede Art von dienstbereitstellenden Systemen angewandt werden kann und damit zur Verbesserung des Entwicklungsprozesses von komplexen verteilten Systemen beiträgt.