• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 36
  • 9
  • 8
  • 8
  • 4
  • 3
  • 3
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 96
  • 96
  • 28
  • 24
  • 18
  • 15
  • 15
  • 15
  • 13
  • 13
  • 11
  • 11
  • 11
  • 10
  • 9
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
61

Long-Running Multi-Component Climate Applications On Grids

Sundari, Sivagama M 10 1900 (has links) (PDF)
Climate science or climatology is the scientific study of the earth’s climate, where climate is the term representing weather conditions averaged over a period of time. Climate models are mathematical models used to quantitatively describe, simulate and study the interactions among the components of the climate system -atmosphere, ocean, land and sea-ice. CCSM (Community Climate System Model) is a state-of-the-art climate model, and a long-running coupled multicomponent parallel application involving component models for simulating the components of the climate system. Each of the component models is a large-scale parallel application, and the parallel components exchange climate data through a specialized component called coupler. Typical multi-century climate simulations using CCSM take several weeks or months to execute on most parallel systems. In this thesis, we study the applicability of a computational grid for effective execution of long-running coupled multi-component climate applications like CCSM. Initial studies of the application characteristics led us to develop a dynamic component extension strategy for temporal inter-component load-balancing. By means of experiments on different parallel platforms with different number of processors, we showed that using our strategy can lead to about 15% reduction and savings of several days in execution times of CCSM for 1000-year simulation runs. Our initial studies also indicated that unlike typical grid applications, CCSM has limits on scalability to very large number of processors and hence cannot directly benefit from the large number of processors on a computational grid. However, its long-running nature and the limits of execution imposed on jobs on most multi-user batch queueing systems, led us to investigate the benefits of its execution on a grid of batch systems. The idea is that multiple batch queues can improve the processor availability rate with respect to the application thereby possibly improving its effective throughput. We explored this idea in detail with simulation studies involving various system and application characteristics, and execution models. By conducting large number of simulations with different workload characteristics and queuing policies of the systems, processor allocations to components of the application, distributions of the components to the batch systems and inter-cluster bandwidths, we showed that multiple batch executions lead to upto 55% average increase in throughput over single batch executions for long-running CCSM. Having convinced ourselves of possible advantages in performance, we then ventured to construct an application-level middleware framework. Our framework supports long duration execution of multi-component applications spanning multiple submissions to queues on multiple batch systems. It coordinates the distribution, execution, rescheduling, migration and restart of the application components across resources on different sites. It also addresses challenges including execution time limits for jobs, and differences in job-startup times corresponding to different components. Further, within the framework, we developed robust rescheduling policies that decide when and where to reschedule the components to the available resources based on the application execution characteristics and queue dynamics. Our grid middleware framework resulted in multi-site executions that provided larger application throughput than single-site executions, typically performed by climate scientists, and also removed the bottlenecks associated with a single system execution. We used this framework for long-running executions of CCSM to study the effect of increased black carbon aerosols and dust aerosols on the Indian monsoons. Black Carbon aerosols are essentially of anthropogenic origin and occur due to improper burning of fossil fuels, and dust is a naturally occurring aerosol. The concentrations of both these aerosols is high over the Indian region. We study the impact of these aerosols on precipitation and sea surface temperature (SST) through multi-decadal simulations conducted with our grid-enabled climate system model. Our observations indicated that increasing the concentrations of aerosols leads to an increase in precipitation in the central and eastern parts of India, and a decrease in SST over most of Indian ocean.
62

Untersuchung und Modellierung der Bildung partikulärer Ablagerungen in Trinkwasserverteilungsnetzen

Ripl, Klaus 09 September 2016 (has links)
Das Auftreten von Braunwasser in Trinkwasserverteilungsnetzen ist eine Beeinträchtigung der Trinkwasserqualität, die durch mobilisierte partikuläre Ablagerungen verursacht wird. Die Partikel gelangen durch verschiedene Prozesse, wie z. B. der Korrosion metallischer Leitungen und den Eintrag am Wasserwerk, kontinuierlich in sehr geringen Massenströmen in das Rohrnetz. Durch die Akkumulation der Partikel an Rohroberflächen können sich Ablagerungsmengen bilden, die bei ansteigenden Strömungsgeschwindigkeiten resuspendiert werden und zu unerwünschten Braunwassererscheinungen führen. Die vorliegende Arbeit behandelt die experimentelle Untersuchung des Transportes von Partikeln, die für Trinkwassernetze typisch sind, in Rohrströmungen. Es werden Einflussfaktoren identifiziert, die für den Partikeltransport von Bedeutung sind. Ein neu entwickeltes dynamisches Modell beschreibt den Transport von Partikeln und die Ablagerungsbildung in Rohrströmungen und vermaschten Rohrnetzen. Das Modell wurde in einer Anwendersoftware implementiert und an einem Trinkwasserverteilungsnetz für das Nachvollziehen der beobachteten Ablagerungsbildung eingesetzt. Im Vergleich zu bestehenden dynamischen Modellen werden partikelbezogene Prozesse unter Berücksichtigung der für trinkwasserbürtige Partikel und Ablagerungen typischen Eigenschaften mathematisch genauer beschrieben. Stationäre und dynamische Ereignisse bezüglich Wasserqualität und Ablagerungsbildung können jetzt durch die Berücksichtung zahlreicher zeitabhängiger Einflussfaktoren nachvollzogen werden. / The occurrence of discoloured water in drinking water distribution systems is a disturbance of the water quality, which is induced by mobilised particulate deposits. Different processes result in the continuous entry of small mass flow rates of particles into the piping, for instance the corrosion of metallic pipes as well as the entry at the water works outlet. By the accumulation of these particles, significant amounts of deposits can be formed and at higher flow rates be resuspended, which leads to unwanted events with discoloured water. This study examines the experimental investigation of the transport of particles, which are typical for drinking water distribution systems, in pipe flow. Influencing factors are identified, which are of importance for the particle transport. With a newly developed model, the transport of particles and the deposit formation in pipe flow and in piping is described. The model is implemented into a software application and deployed at a drinking water distribution system to understand the observed deposit formation. In comparison with existent dynamic water quality models, particle-related processes are described mathematically in more details, under consideration of characteristics typical for particles and deposits in drinking water distribution systems. Hence, observed steady-state and dynamic events can be followed using several influencing time-dependent factors.
63

MBSE-basierte Produktkonfiguratoren zur Analyse der Modularisierung bei der Entwicklung modularer Baukastensysteme

Seiler, Florian, Schwede, Lea-Nadine, Krause, Dieter 03 January 2020 (has links)
Der im Zuge der Globalisierung immer stärker anwachsende Wettbewerb im Bereich produzierender Unternehmen führt zu einem kontinuierlichen Wettlauf um stetig kürzer werdende Produktionslaufzeiten. Aufgrund dessen ist eine kontinuierliche Spezialisierung mit produktspezifischen Fertigungssystemen der Akteure am Markt zu verzeichnen, die direkt zu einer erhöhten Nachfrage von Sondermaschinen führt (Krause 2018). Diese geforderte Spezialisierung lässt eine interne Standardisierung für die Hersteller kaum zu und führt zu einer extrem hohen Variantenvielfalt, deren Beherrschung eine der Kernaufgaben bei der Sicherstellung der Wettbewerbsfähigkeit darstellt. Insbesondere große Produktstrukturen sind aufgrund der anfallenden Datenmenge und dem resultierenden, hohen Grad an Verknüpfungen schwierig zu verwalten (Blees 2011). Eine Möglichkeit, die interne Vielfalt bei einer gleichbleibenden externen Vielfalt zu reduzieren und somit den enormen Umfang der Produktarchitektur und deren Folgekosten einzuschränken, bietet die Modularisierung (Krause 2018). Die Entwicklung von modularen Produktstrukturen eröffnet mittels entsprechender Standardisierung die Möglichkeit, durch Modul-, Plattform-, und Baukastenentwicklung den Zielkonflikt zwischen Produktkosten und -vielfalt zu lösen (Ehrlenspiel 2009). Ein solcher Baukasten wird als notwendiges Mittel zur Beherrschung der Vielfalt betrachtet [...] Ein Ansatz zur Lösung dieser Problemstellung ist in der Literatur durch die Verwendung von PLM(Product-Lifecycle-Management)-Systemen beschrieben. Ein entsprechendes PLM-System soll die im Unternehmen existierende Daten- und Softwarestruktur verbinden und als Single-Source of Truth (Riesener 2017) fungieren, um die Konsistenz der Modelle zu gewährleisten. Allerdings wird gerade bei der Verwendung von Modellen bei der Schaffung und Verwaltung der Produktarchitektur deutlich, dass ein PLM-System hierzu nicht vollumfänglich dazu in der Lage ist, als einheitlicher Datenstamm zu fungieren. Hierbei ist die Ontologie, die Verwendung „einheitlicher Vokabeln“ (Kaufmann et al. 2014) zwischen den Systemen, um z. B. eine Konsistenzprüfung bei der Konfiguration zu implementieren, eine nicht zu unterschätzende Herausforderung bei der Umsetzung auf Basis eines reinen PLM-Systems. Wie in diesem Beitrag beschrieben wird, lässt sich diese Lücke mithilfe des MBSE (Model-Based Systems Engineering) schließen. [... aus der Einleitung]
64

Integrated System Architecture Development and Analysis Framework Applied to a District Cooling System

Dalvi, Akshay Satish 12 1900 (has links)
Indiana University-Purdue University Indianapolis (IUPUI) / The internal and external interactions between the complex structural and behavioral characteristics of the system of interest and the surrounding environment result in unpredictable emergent behaviors. These emergent behaviors are not well understood, especially when modeled using the traditional top-down systems engineering approach. The intrinsic nature of current complex systems has called for an elegant solution that provides an integrated framework in Model-Based Systems Engineering. A considerable gap exists to integrate system engineering activities and engineering analysis, which results in high risk and cost. This thesis presents a framework that incorporates indefinite and definite modeling aspects that are developed to determine the complexity that arises during the development phases of the system. This framework provides a workflow for modeling complex systems using Systems Modeling Language (SysML) that captures the system’s requirements, behavior, structure, and analytical aspects at both problem definition and solution levels. This research introduces a new level/dimension to the framework to support engineering analysis integrated with the system architecture model using FMI standards. A workflow is provided that provides the enabling methodological capabilities. It starts with a statement of need and ends with system requirement verification. Detailed traceability is established that glues system engineering and engineering analysis together. Besides, a method is proposed for predicting the system’s complexity by calculating the complexity index that can be used to assess the complexity of the existing system and guide the design and development of a new system. To test and demonstrate this framework, a case study consisting of a complex district cooling system is implemented. The case study shows the framework’s capabilities in enabling the successful modeling of a complex district cooling system. The system architecture model was developed using SysML and the engineering analysis model using Modelica. The proposed framework supports system requirements verification activity. The analysis results show that the district chiller model developed using Modelica produces chilled water below 6.6 degrees Celsius, which satisfies the system requirement for the district chiller system captured in the SysML tool. Similarly, many such requirement verification capabilities using dynamic simulation integration with the high-level model provides the ability to perform continuous analysis and simulation during the system development process. The systems architecture complexity index is measured for the district cooling case study from the black-box and white box-perspective. The measured complexity index showed that the system architecture’s behavioral aspect increases exponentially compared to the structural aspect. The systems architecture’s complexity index at black-box and white-box was 4.998 and 67.3927, respectively.
65

Energy System Analysis of thermal, hydrogen and battery storage in the energy system of Sweden in 2045

Sundarrajan, Poornima January 2023 (has links)
Sweden has goals to reach net-zero emissions by 2045. Although electricity sector is almost fossil free, industry & transport still rely on fossil fuels. Ambitious initiatives such as HYBRIT, growth of EV market & expansion of wind power aim to expedite emission reduction. Decarbonization of transport, industry and large-scale wind & solar PV integration in the future necessitates studying energy system of Sweden at national scale in the context of sector coupling, external transmission & storage technologies. Therefore, this study aims to evaluate the impact of thermal energy storage, hydrogen storage and batteries via Power-to-heat & Power-to-hydrogen strategies in the future Swedish energy system (2045) with high proportions of wind power. Two scenarios SWE_2045 & NFF_2045 were formulated to represent two distinct energy systems of the future. The SWE_2045 energy system still relies on fossil fuels, but to a lower extent compared to 2019 level and has increased levels of electrification and biofuels in the transport and industrial sectors. In comparison, the fossil fuels are completely removed in NFF_2045 and the industrial sector has significant demand for electrolytic hydrogen. Both the scenarios were simulated using EnergyPLAN, a deterministic energy system model, under each storage technology. The results indicate that HPs coupled with TES has the potential to increase wind integration from 29.12% to 31.8% in SWE_2045 and 26.78% to 29.17% in NFF_2045. HP & TES also reduces heat production from boilers by 67% to 72% depending on the scenario, leading to overall reduction in total fuel and annual costs by at least 2.5% and 0.5% respectively. However, for wind integration of 31.1% in SWE_2045 the annual cost increases by 5.1% with hydrogen storage compared to TES. However, hydrogen storage shows better performance in NFF_2045, wherein the wind integration increases from 26.78% to 29.3%. Furthermore, increasing hydrogen storage for a lower wind capacity (60 GW) in NFF_2045 reduces both electricity import and export while simultaneously increasing the contribution of storage in fulfilling the hydrogen demand from 1.62% to 6.2%. Compared to TES and HS, the contribution of battery storage is minimal in sector integration. For increase in wind integration of 28% to 29%, the annual cost of a system with battery storage is 1.3% to 2% higher than that of the system with TES and hydrogen storage respectively. Therefore, HPs coupled with TES can improve flexibility in both scenarios. Hydrogen storage is not a promising option if the end goal is only to store excess electricity, as shown by the results in SWE_2045. However, it demonstrates better utilization in terms of wind integration, reduction in electricity import and export when there is a considerable demand for hydrogen, as in the case of NFF_2045. / Sverige ligger i framkant när det gäller avkarbonisering och har mål att nå nettonollutsläpp till 2045. Även om elsektorn är nästan fossilfri, är industri och transport fortfarande beroende av fossila bränslen. Ambitiösa initiativ som Hydrogen Breakthrough Ironmaking Technology (HYBRIT), tillväxt av elbilsmarknaden och expansion av vindkraft syftar till att påskynda utsläppsminskningar. Dekarbonisering av transport, industri och storskalig vind- och solcellsintegrering i framtiden kräver att man studerar Sveriges energisystem i nationell skala i samband med sektorskoppling, extern transmissions- och lagringsteknik.  Därför syftar denna studie till att bestämma effekten av termisk energilagring, vätelagring och batterier via Power-to-heat & Power-to-hydrogen-strategier i det framtida svenska energisystemet (2045) med höga andelar vindkraft. Två scenarier SWE_2045 & NFF_2045 formulerades för att representera två distinkta framtidens energisystem. Energisystemet SWE_2045 är fortfarande beroende av fossila bränslen, men i lägre utsträckning jämfört med 2019 års nivå och har ökat nivåerna av elektrifiering och biobränslen inom transport- och industrisektorn. Som jämförelse är de fossila bränslena helt borttagna i NFF_2045-scenariot där transportsektorn endast är beroende av el och biobränslen, medan industrisektorn har en betydande efterfrågan på elektrolytiskt väte. Båda energisystemen simuleras med EnergyPLAN, en deterministisk energisystemmodell, för olika testfall under varje lagringsteknik. Resultatet av simuleringen bedömdes i termer av kritisk överskottselproduktion, potential för ytterligare vindintegration, total bränslebalans i systemet och årliga kostnader.  Resultatet indikerar att värmepumpar i kombination med termisk energilagring kan förbättra flexibiliteten i båda scenarierna genom att minska den kritiska överskottselproduktionen och bränsleförbrukningen samtidigt som vindintegrationen förbättras. Vätgaslagring är inget lovande alternativ om målet är att endast lagra överskottsel, vilket framgår av vindintegrationsnivåerna i SWE_2045. Det förbättrar dock vindintegration och tillförlitlighet avsevärt när det finns en betydande efterfrågan på vätgas i NFF_2045. Som jämförelse är batteriernas bidrag till vindintegration minimalt i båda scenarierna i samband med sektorintegration på grund av utnyttjandet av överskottsel av värmepumpar och extern överföring av restel. Valet av lagringsteknik i framtiden beror dock på dess tekniska ekonomiska utveckling och energipolitik.
66

Iron-Based Flow Batteries: Improving Lifetime and Performance

selverston, steven 07 September 2017 (has links)
No description available.
67

Influence of River Discharge on Climate in A Coupled Model

Sharif, Jahfer January 2013 (has links) (PDF)
River discharge can affect ocean surface temperature by altering stratification within the oceanic mixed layer. A hitherto unexplored aspect of present climate is the feedback of river runoff onto climate. This thesis presents an investigation of the impact of global river runoff on oceans and climate using a fully coupled global climate model, Community Climate System Model (CCSM). Two model simulations for a period of 100 years have been carried out: 1) a reference run (CTRL) that incorporates all the features of a global coupled model with river runoff into the ocean embedded in it, and 2) a sensitivity run (NoRiv) in which the global river runoff into the ocean is blocked. Comparison of model climate devoid of fluvial discharge with the reference run reveals the significance of fluvial discharge in the present climate. By the end of 50 years of NoRiv experiment, salinity growth slows down and reaches a quasi-stable state. Regions close to river mouths exhibited maximum salinity rise that can potentially alter local density and stratification. On an average, denser and saltier waters in the NoRiv run annihilate barrier layer and form a deeper mixed layer, compared to CTRL run. Density gradient created by the modulation in salinity set forth anomalous currents and circulation across coastlines that carries coastal anomalies to open ocean, preventing local salinity buildup. Arctic Ocean, Bay of Bengal, northern high latitude Pacific and the Atlantic are the most affected regions in terms of changes in salinity and temperature. Model simulations demonstrate that major transformation in Arctic freshwater budget can have potential impact on northern Pacific and Atlantic climate. In the absence of runoff, global average sea surface temperature (SST) rise by about ~ 0.5oC, with major contribution from northern higher latitude oceans. In the Pacific, high latitude warming is related to deepening of mixed layer as well as the northward transport of low latitude warmer waters. Substantial cooling in the central equatorial Pacific (~1oC during winter) can alter large-scale ocean-atmosphere circulation, including El Niño-Southern Oscillation (ENSO). The reinforcement of Pacific and Atlantic western boundary currents aids the transport of warm saline water from low latitudes to higher latitudes. The results suggest that the river runoff can have potential impact on oceanic climate. Response of Indian summer monsoon rainfall to global continental runoff is also examined. In the NoRiv run, average summer monsoon rainfall over India increased by ~ 0.55 mm day−1. Consistent with the increase in annual average Indian monsoon rainfall, all other northern hemispheric monsoon systems showed an increase, while southern hemispheric monsoons weakened. Associated with enhanced monsoon, the periodicity of ENSO in the NoRiv run changes as a result of cooling tendency in the equatorial Pacific, a sign of consistent La Niña. Equatorial Pacific cooling, in spite of a global ocean warming trend, is found to be primarily because of the enhanced local easterly winds and resultant strong equatorial upwelling. Cold anomaly due to upwelling spread entire equatorial Pacific basin within a span of 50 years. The La Niña situation in the Pacific favored increased monsoon rainfall over Indian subcontinent. Another surprising result of this study is the strengthening of ENSO-monsoon relationship in the NoRiv run. This suggests that the river discharge can be considered as a dampening force in the ENSO-monsoon relationship. Northern hemisphere showed a clear warming in the NoRiv simulation compared to CTRL, the result of which is an enhanced trans-hemispheric gradient. Cross-equatorial winds triggered by this gradient blow from southern hemisphere and shift the Inter Tropical Convergence Zone (ITCZ) northward, increasing the precipitation in the northern hemisphere. The cooling in the eastern equatorial Indian Ocean and the warming in the west, reflected in the increase in number of positive Indian Ocean Dipole (IOD) events (9 positive and 5 negative IOD events in the last 50 years), also favored summer-time rainfall over India.
68

Kvalitetsarbete inom ett industriföretag : Struktur för ett företagsanpassat ledningssystem utifrån ISO 9000:s kvalitetsprinciper / : Structure of a corporate adapted management system based on ISO 9000's quality principles

Maras, Bruno, Qvarfordt, Peter January 2019 (has links)
The purpose of the thesis is to identify how a structure for a management system can be designed for a small industrial company based on the seven quality principles that are described in ISO 9000:2015 – fundamental concepts and principles of quality management. The aim of the thesis is to map the reference company's current situation and analyse the gap between the current situation and the quality principles. The thesis also aims to create a plan for the implementation, control and stabilisation of the proposed structure for a management system within the chosen industrial company. The theoretical selection is based on total quality management and the seven quality principles defined in ISO 9000. The case study is carried out via a qualitative strategy, where qualitative data contributes to formulating assumptions and hypotheses. Quantitative tools such as survey and self-assessment are used to identify the reference company's current situation. Qualitative tools such as document review, observations, a focus group and a group interview are used to investigate the studied phenomenon in the company more thoroughly. The study concludes that the company's current quality work is not based on any systematic working method or clear customer focus. The culture within the company is characterized by a commitment to work with quality, but the company lacks a structure to do this. The proposed structure for a corporate adapted management system is based on the process-based system model, which has been modified to include definitions of the company's risks and opportunities and the management's review. A plan for the implementation, control and stabilisation of the proposed structure is compiled and introduced in the company's reviewed strategy for work with quality. The plan's cyclical design reinforces the recurring improvement work based on the iterative four-step management method that is used for control and continuous improvement of processes and products. / Författarnas syfte med examensarbetet har varit att identifiera hur en struktur till ett företagsanpassat ledningssystem kan utformas i mindre industriföretag, utifrån de sju kvalitetsprinciperna som definieras i ISO 9000. Målet med examensarbetet har varit att kartlägga referensföretagets nuläge och analysera gapet mellan nuläget samt kvalitetsprinciperna. Målet har även varit att redovisa en plan för genomförande, uppföljning och säkring av den föreslagna strukturen för ledningssystemet inom det valda industriföretaget. Det teoretiska urvalet har sin utgångspunkt i det offensiva kvalitetsarbetet och de sju kvalitetsprinciperna som definieras inom ISO 9000. Fallstudien har genomförts via en kvalitativ strategi, där kvalitativa data har bidragit till formulering av antaganden och hypoteser. Författarna valde att använda kvalitativa verktyg såsom enkätundersökning och självskattning för att identifiera referensföretagets nuläge. Tillämpning av kvalitativa verktygen såsom dokumentgranskning, observationer, fokusgrupp och gruppintervju möjliggjorde en mer djupgående undersökningen av det studerade fenomenet. De slutsatser som författarna har kommit fram till är att företagets nuvarande kvalitetsarbete inte utgår ifrån något systematiskt arbetssätt eller ett tydligt kundfokus. Kulturen inom företaget kännetecknas dock av en vilja att jobba med kvalitet men det saknas en struktur för detta arbete. Författarnas föreslagna struktur för det företagsanpassade ledningssystemet bygger på den processbaserade systemmodellen (PBSM) som har modifierats till att omfatta definitioner av företagets risker och möjligheter samt ledningens genomgång. En plan för genomförande, uppföljning och säkring av den föreslagna strukturen har sammanställts och införts i företagets reviderade strategi för det interna kvalitetsarbetet. Planens cykliska utformning förstärker det återkommande förbättringsarbetet utifrån PDCA-cykeln.
69

Model-predicting the effect of freshwater inflow on saltwater layers, migration and life history of zooplankton in the Arctic Ocean: Towards scenarios and future trends

Schmid, Moritz 01 April 2012 (has links)
Dt. Titel: Vorhersagemodelle für den Einfluss von Süßwasser Einstrom auf Salzwasser Schichten, Wanderbewegung und Lebenszyklen des Zooplankton im Arktischen Ozean: Szenarien und Trends in der Zukunft
70

A Formal Fault Model for Component-Based Models of Embedded Systems

Fischer, Marco 14 May 2007 (has links) (PDF)
Der vierte Band der wissenschaftlichen Schriftenreihe Eingebettete Selbstorganisierende Systeme widmet sich der Entwicklung von Fehlermodellen für eingebettete, verteilte Multi – Prozessorsysteme. Diese werden zu einem hierarchischen Netzwerk zur Steuerung von Flugzeugen (Avionik) verbunden und mehr und mehr im Automotive Bereich eingesetzt. Hier gilt es höchste Sicherheitsstandards einzuhalten und maximale Verfügbarkeit zu garantieren. Herr Fischer integriert die Modellierung von möglichen Fehlern in den Entwurfsprozess. Auf Grundlage des π-Kalküls entwickelt Herr Fischer ein formales Fehlermodell, das eine einheitliche Modellierung von Fehlerfällen unterstützt. Dabei werden interessante Bezüge zur Bi-Simulation sowie zu Methoden des Modell Checkings hergestellt. Die theoretischen Ergebnisse werden an einem komplexen Beispiel anschaulich illustriert. So kann der Leser die Mächtigkeit des entwickelten Ansatzes nachvollziehen und wird motiviert, die entwickelte Methodik auf weitere Anwendungsfälle zu übertragen. / The 4th volume of the scientific series Eingebettete, selbstorganisierende Systeme (Embedded Self-Organized Systems) outlines the design of fault models for embedded distributed multi processor systems. These multi processor systems will be connected to a hierarchical network to control airplanes (avionics) and also be used more and more in the automotive area. Here it is essential to meet highest safety standards and to ensure the maximum of availability. Mr Fischer integrates the modelling of potential faults into the design process. Based on the pi-calculus, he develops a formal framework, which supports a standardised modelling of faults. Thereby, interesting connections to the Bi-Simulation as well as to methods of the Model checking are established. The theoretical results are depicted on a complex example. So it is possible for the reader to understand the complexity of this approach and is motivated to use the developed methodology in other applications. I am glad that Mr Fischer publishes his important research in this scientific series.

Page generated in 0.0764 seconds