Grundlagen des Autonomen Rechnens

Das vegetative Nervensystem (engl. autonomous nervous system) des Menschen kann das, wovon in der IT-Industrie noch geträumt wird. Abhängig von der aktuellen Umgebung und Tätigkeit reguliert das vegetative Nervensystem mandatorische Körperfunktionen wie Herzfrequenz und Atmung. Reflexe, die dem Selbstschutz dienen, werden automatisch ausgelöst. Verletzungen heilen von selbst, ohne dass man seine normalen Tätigkeiten dafür unterbrechen müsste. Im Rahmen des Seminars „Autonomic Computing“ im Sommersemester 2003 am Institut für Programmstrukturen und Datenorganisation der Universität Karlsruhe wurden Grundlagen dieses Autonomen Rechnens besprochen. Als Basis für Selbstkonfiguration und Selbstoptimierung werden in „Kontextbewusstsein: Ein Überblick“ Techniken zur Erfassung des physischen und sozialen Kontexts einer Anwendung erläutert. Die dienstorientierte Architektur und konkrete Implementierungen wie z.B. UPnP, Jini oder Bluetooth werden in „Aktuelle Technologien zur Realisierung dienstorientierter Architekturen“ behandelt. Die Arbeit „Service- Orientierung und das Semantic Web“ beschreibt, wie Semantic Web Technologien zur Beschreibung von Web Services verwendet werden können mit dem Ziel der automatischen Dienstfindung. Danach wird der Begriff „Selbstbewusstsein“ in bezug auf Software anhand zweier komplementärer Forschungsprojekte definiert. Technologien zur Überwachung des Laufzeitverhaltens von Rechnersystemen mit dem Ziel der selbstständigen Optimierung sind Gegenstand der Arbeit „Selbst-Überwachung und Selbst-Optimierung“. Der Artikel „Selbst-Schutz“ fasst die Sicherheitsanforderungen zusammen, die an ein autonomes Computersystem gestellt werden müssen und die Techniken, um solche Anforderungen zu erfüllen. Ansätze aus dem Bereich wiederherstellungsorientiertes- und fehlertolerantes Rechnen werden in „Selbst-Heilung“, „ROC – Recovery Oriented Computing“ und „Recovery Oriented Computing: Modularisierung und Redundanz“ vorgestellt. Alle Ausarbeitungen und Präsentationen sind auch elektronisch auf der diesem Band beiliegenden CD oder unter www.autonomic-computing.org verfügbar

ARCH+ : Studienhefte für Planungspraxis und Planungstheorie

ARCH+ : STUDIENHEFTE FÜR PLANUNGSPRAXIS UND PLANUNGSTHEORIE ARCH+ : Zeitschrift für Architektur und Urbanismus (-) ARCH+ : Studienhefte für Planungspraxis und Planungstheorie (1972, Jg. 4, H. 15-16) (-) Heft 15: Bedingungen und Perspektiven der Stadtteilarbeit (-) Editorial. (Was heißt "fortschrittlich" in Bezug auf Planungstheorie und Planungsmethoden) (1) Thesen zu einer Theorie der Raumplanung (3) Die gesellschaftliche Organisation der Produktion in der DDR im Spiegelbild der territorialen Entwicklung (9) Bedingungen und Perspektiven der Stadtteilarbeit (21) Anmerkungen zu Leonardo Benevolo: "Die sozialen Ursprünge des modernen Städtebaus" (78) Grundzüge einer operationalen Theorie der ästhetischen Funktion (83) Heft 16: Städtebauförderungsgesetz (-) Editorial. (Umstrukturierung der Redaktion) (1) Zur Entstehung und Funktion des Städtebauförderungsgesetzes (3) Anhang: Gesetz über städtebauliche Sanierungs- und Entwicklungsmaßnahmen in den Gemeinden (Städtebauförderungsgesetz) vom 27. Juli 1971 (47) Register für den 4. Jahrgang 1971/72, Hefte 13-16 (79

Temporal verification of software components

Im Fokus dieser Arbeit steht die Einführung der Entwicklung von Software-Funktionen durch den Fahrzeughersteller und die damit verbundenen Anforderungen an eine teilweise fremdentwickelte Software für Steuergeräte. Das konkrete Ziel dieser Arbeit ist, die analytische Qualitätssicherung so zu erweitern, dass durch dynamische, strukturorientierte Tests vollständige und verlässliche Ergebnisse zur Bewertung des zeitlichen Verhaltens von Software-Funktionen möglich sind, ohne den Aufwand etablierter Test wesentlich zu erhöhen. Dafür werden die Elemente der analytischen Qualitätssicherung untersucht sowie der organisatorische und technische Rahmen, in dem sich die Laufzeitanalyse einbetten muss, betrachtet. Der Stand der Technik zum Software-Test wird vorgestellt und die bestehenden Unzulänglichkeiten zu-sammengefasst. Das Prüfkonzept stellt eine Vorgehensweise zur Lösung dieser Problemstellung bereit. Ziel ist es, das zeitliche Verhalten der Software frühzeitig abzusichern. Hieraus wird eine Strategie zum temporalen, dynamischen, strukturorientierten Test formuliert und die notwendigen Anforderungen an den Software-Modultest abgeleitet. Es wird als neuer Ansatz ein temporaler Regressionstest eingeführt, um die Aufwendungen für das Testen zu reduzieren. Dazu wird ein Messprozess zur Erfassung der Laufzeit definiert und ein eigenständiges Konzept zur Analyse von Laufzeitmessdaten vorgestellt. Die Implementierung dieses Prüfkonzeptes in Form von Verfahren und Werkzeugen wird für das Referenzbeispiel eines Motorsteuergerätes zur Verfügung gestellt, um eine Evaluierung des Prüfkonzeptes zu ermöglichen. Hierfür werden übertragbare Ansätze zur Datengewinnung und zur Datenanalyse entworfen, die an ausgewählten Fallstudien diskutiert werden. Das Ziel der hier dargestellten Fallstudien ist es, die Wirksamkeit des temporalen Prüfkonzeptes und dessen Implementierung in Techniken und Werkzeuge zu demonstrieren.The key focus of this work is the introduction of the development of software components by the vehicle manufacturer and the associated requirements for software for engine control units (ECU) partly developed elsewhere. The main aim of this work consists of the expansion of the analytical quality assurance in such a way that complete and reliable evaluation of runtime behaviour of software components is achieved by dynamic, structure-oriented tests without considerably increasing the hard work needed to create elaborate tests. Therefore, the details of the analytical quality assurance as well as the organizational and technical framework, in which the execution time analysis has to be embedded, are examined. The current techniques for software tests will be presented and existing deficiencies summarized. This verification concept presents a procedure to eliminate existing deficiencies. The key is to collect the execution time characteristics of the software components in the early stages of development, that serves as the base for deducing a strategy for the temporal, dynamic, structure-oriented tests and the necessary requirements for the software module test. As a new approach, a temporal regression test is introduced to reduce test efforts. A measurement procedure to measure the execution time and an independent concept to analyze measured data is presented. The verification concept is evaluated by implementing it as a tool for a reference ECU example. For this purpose, portable approaches are developed for obtaining and analysing data and discussed for selected case studies. The selected case studies focus on demonstrating the efficiency of the temporal verification concept and its application in practice as a tool