2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010) Piscataway, NJ : IEEE, 2010 (2010), Seite 212-217 XII, 394 S.
Auch als elektronisches Dokument vorh ; Oldenburg, Univ., Diss., 2006
HochschulschriftEchtzeitverarbeitungEingebettetes SystemCyber-physisches System
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. <dt.>
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. <engl.>