Metzner, Alexander (2007) Effizienter Entwurf verteilter eingebetteter Echtzeit-Systeme. PhD, Universität Oldenburg.
|
Volltext (2456Kb) |
Abstract
Eingebettete Systeme sind in immer größer werdendem Maße Teil moderner technischer Geräte. Viele Teilfunktionen dieser Systeme sind üblicherweise als sicherheitskritisch einzustufen und müssen daher innerhalb eines gegebenen Zeitintervalls funktional korrekte Ergebnisse produzieren. Gegenstand dieser Arbeit ist die Unterstützung eines Entwurfsprozesses unter dem Blickwinkel der Echtzeitfähigkeit. Dazu werden formale Analysemethoden verwendet, die ein verteiltes Echtzeitsystem ganzheitlich, d.h. sowohl hinsichtlich der Software-Ausführungszeiten als auch der Nachrichtenübertragungszeiten, betrachten. Während der Schwerpunkt im ersten Teil der Arbeit auf Analyse und Synthese von Deployments liegt, wird im zweiten Teil eine effizienzsteigernde Architekturerweiterung für Prozessoren von eingebetteten Systemen diskutiert, die es ermöglicht, die durch ein Echtzeitbetriebssystem bedingten Zeitverluste drastisch zu erniedrigen.
["eprint_fieldname_abstract_plus" not defined]
Embedded systems became an increasing part of modern complex technical systems. Typically, most subfunctions of such systems are working in a safety critical environment and therefore have to react within given time intervals. The contribution of this thesis is the support of such a process with regard to real-time properties. For this purpose we use formal methods that are able to consider real-time systems by considering software runtimes as well as message broadcast latencies on different communication media. The first part of this thesis focusses on real-time analysis and synthesis of deployment architectures. In the second part specific extensions of the hardware architecture are introduced which are capable of reducing operating system related timing overheads.
| Item Type: | Thesis (PhD) |
|---|---|
| Uncontrolled Keywords: | [Keine Schlagwörter von Autor/in vergeben.] |
| Controlled Keywords: | Eingebettete Systeme, verteiltes Echtzeitsystem |
| Subjects: | Generalities, computers, information > Computer science, internet |
| Divisions: | School of Computing Science, Business Administration, Economics and Law |
| Date Deposited: | 17 Jan 2013 14:12 |
| Last Modified: | 17 Jan 2013 14:12 |
| URI: | https://oops.uni-oldenburg.de/id/eprint/34 |
| URN: | urn:nbn:de:gbv:715-oops-648 |
| DOI: | |
| Nutzungslizenz: |
Actions (login required)
 |
View Item |
