Die Tagung „Automotive - Safety and Security 2010“ stellt als 4. Veranstaltung dieser Reihe wiederum das deutsche Forum für alle Bereiche der Softwareherstellung zur Erreichung einer höheren Zuverlässigkeit in eingebetteten Systemen dar. Dass 2011 die ISO Norm 26269 für die gesamte Automobilindustrie verbindlich werden soll, zeigt den rapiden Fortschritt auf diesem Gebiet, wurde eine Orientierung an Sicherheitsnormen doch noch bei der Tagung 2004 eher als eine kostspielige Eigenart der Luftfahrtindustrie gesehen. Auch Themen der Datensicherheit und des Datenschutzes haben ihren Weg aus den Forschungslabors in die Realität zukünftiger Systeme im Automobil gefunden. Die Tagung präsentiert sich 2010 in einem neuen Umfeld. Die Tagungen "Automotive - Safety and Security 2010“ und „International SPICE Days“ haben sich unter dem Dach des Open Forum zu einer gemeinsamen Ausrichtung zusammen gefunden. Während letztere Veranstaltung die wichtigen Aspekte der Projektdurchführung behandelt, konzentrieren wir uns wiederum auf die technische Aspekte für die Zuverlässigkeit und Sicherheit der Systeme und insbesondere der Software. Für die gemeinsamen Hauptvorträge der beiden Konferenzen konnten wir sehr namhafte Persönlichkeiten gewinnen: Tom DeMarco, der seit Jahrzehnten zu den führenden Namen des Software Engineering zählt, Bjarne Stroustrup, der Vater von C++ und damit der Programmiersprache, die für die heute hergestellte automotive Software hochrelevant ist, Bernd Hindel, der SPICE in der Normung vorangetrieben hat, und Harald Heinecke, der die Vorausentwicklung der IT bei BMW leitend ausrichtet.
Hubert B. Keller Books





Reliable software technologies
- 177 pages
- 7 hours of reading
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and selected from various submissions. They are organized in topical sections on multi-core and distributed systems; Ada and Spark; dependability; and real-time systems.
Der Workshop „Zuverlässigkeit in eingebetteten Systemen“ fand am 13. und 14. Oktober 2005 an der Rheinisch-Westfälischen Technischen Hochschule Aachen als gemeinsame Veranstaltung statt. Fachliche Träger waren die Fachgruppe Ada Deutschland in den Fachbereichen Softwaretechnik sowie Sicherheit in der Gesellschaft für Informatik, der Förderverein Ada Deutschland e. V. sowie der Fachausschuss 5.11 Embedded Software der Gesellschaft Mess- und Automatisierungstechnik im VDI/VDE.
Entwicklung von Echtzeitsystemen
Einführung in die Entwicklung zuverlässiger softwarebasierter Funktionen unter Echtzeitbedingungen
- 287 pages
- 11 hours of reading
Ein hilfreicher Wegweiser zur Entwicklung von Echtzeitsystemen. Dieses Buch führt umfassend in die Entwicklung zuverlässiger softwarebasierter Echtzeitsysteme ein und beleuchtet alle Entwicklungsaspekte, darunter die Rolle von Automatisierungssoftware, Software-Engineering, Safety- und Security-Aspekte, Scheduling und Implementierung. Es vermittelt konstruktive Ansätze und zeigt, welche Anforderungen für eine erfolgreiche Implementierung von Realzeitsystemen in der Automatisierung gelten. Zudem bietet es eine konkrete Anleitung zu einer inkrementellen Vorgehensweise, um Fehler, Kosten und Risiken bei der Entwicklung zu minimieren. Die integrative Darstellung der notwendigen Randbedingungen und Methoden zur Realisierung von softwarebasierten Funktionen unter Echtzeitbedingungen macht das Buch zu einer wertvollen Ergänzung in der Berufspraxis. Zu Beginn werden die Grundlagen erläutert, gefolgt von der Motivation hinter der Entwicklung von Echtzeitsystemen, dem aktuellen Entwicklungsstand sowie der Rolle von Programmiersprachen und der Wertschöpfung durch Software. Weitere Themen sind Herstellungsprozesse für Software, Analyse von Konzepten zur Ereignisbehandlung, Prozesskonzept und Scheduling, Programmierung von Echtzeitsystemen, technische Sicherheit und Informationssicherheit sowie die Umsetzung der Entwicklungsmethodik. Abschließend gibt der Autor Empfehlungen für die Entwicklung zuverlässiger Automatisierungssoftware und ric
Dieses Buch eignet sich als Grundlage für einführende Vorlesungen auf den Gebieten der Künstlichen Intelligenz, des maschinellen Lernens, evolutionärer Algorithmen und neuronaler Netze. Es stellt unterschiedliche Lösungsmethoden und -algorithmen vor und ermöglicht einen Einblick in den angrenzenden Fachbereich der Kognitions- und Lernpsychologie.