Hier werden die Unterschiede zwischen zwei Versionen angezeigt.
| Beide Seiten der vorigen Revision Vorhergehende Überarbeitung Nächste Überarbeitung | Vorhergehende Überarbeitung | ||
|
lehre:sose15:safetyreliability [2015/03/13 13:13] chomicz [Safety & reliability of software-controlled systems (SRES)] |
lehre:sose15:safetyreliability [2015/03/23 11:43] (aktuell) chomicz [Termine] |
||
|---|---|---|---|
| Zeile 1: | Zeile 1: | ||
| - | ====== Safety & reliability of software-controlled systems (SRES) ====== | + | ====== Funktionale Sicherheit und Systemzuverlässigkeit ====== |
| + | |||
| + | (Alter Titel: Sicherheit und Zuverlässigkeit softwaregesteuerter Systeme) | ||
| + | |||
| + | ===== Inhalt ===== | ||
| \\ | \\ | ||
| - | Dt.: Betriebssicherheit und Zuverlässigkeit softwaregesteuerter Systeme\\ | + | Softwaregesteuerte, eingebettete Systeme sind allgegenwärtig. Dort, wo deren Verhalten und Interaktion mit Menschen, Gütern oder der physikalischen Umgebung zu gefährlichen Situationen führen kann, haben diese Systeme noch dazu sicherheitskritische Aspekte. Beispiele für solche Systeme sind Servolenkungen, elektronische Stabilitätsprogramme (engl.: Electronic stability programs (ESP)), Bremssysteme von Zügen, medizinische Geräte und Flugregelsysteme. |
| \\ | \\ | ||
| - | |||
| - | ===== Content ===== | ||
| \\ | \\ | ||
| - | Software-controlled, embedded systems are ubiquitous. In cases where their behaviour and interaction with people, assets or the physical environment can lead to hazardous situations they are also safety critical: power steerings and Electronic stability programs (ESP) in vehicles, the braking system of trains, medical devices, in-flight control of airplanes, to name just a few. | + | Es existieren zahlreiche Beispiele, wo falsches oder unerwartetes Verhalten von Software Menschenleben gefährdet. Laut dem Bundesinstitut für Arzneimittel und Medizinprodukte waren in den Jahren 2005-06 Fehler in der Software für mehr Risikomeldungen verantwortlich (22 %) als jede andere Ursache wie Fehler im Design, physische Fehler, Kompatibilitätsprobleme etc. |
| \\ | \\ | ||
| \\ | \\ | ||
| - | There are numerous examples where wrong or unforeseen software behaviour has put lives or values at risk and even damaged them. According to the Bundesinstitut für Arzneimittel und Medizinprodukte (Federal institute for drugs and medical devices), in the years 2005-06 software faults were responsible for more risk incidence reports (22%) than any other causal category such as design faults, physical faults, compatibility problems etc. | + | Diese Vorlesung bietet eine Einführung in die Zuverlässigkeitstheorie und in Methoden, die in der Forschung und Industrie genutzt werden, um funktionale Sicherheit und Zuverlässigkeit von softwaregesteuerten Systemen sicherzustellen, zu verbessern und zu beurteilen:\\ |
| \\ | \\ | ||
| + | * Design- und Analysemethoden zur Unterstützung der Zuverlässigkeit und funktionale Sicherheit eingebetteter Systeme | ||
| + | * Zuverlässigkeits-/Sicherheits-Modellierung | ||
| + | * Zuverlässigkeits-/Sicherheits-Maße und -Analysen | ||
| + | * Softwarefehler, Softwareversagen | ||
| + | * Mechanismen der HW-/SW-Fehlertoleranz | ||
| + | * Risikoanalyse, Risiko-Akzeptanzkriterien | ||
| + | * Funktionale Sicherheits-Normen | ||
| \\ | \\ | ||
| - | This lecture gives an introduction to dependability theory and to methods used in research and industry to assure, improve and assess the dependability and safety of software-controlled systems:\\ | + | Die Vorlesung wird auf Englisch gehalten. |
| \\ | \\ | ||
| - | * Design and analysis methods supporting the dependability and safety of embedded systems | + | ===== Termine ===== |
| - | * Dependability/safety modelling | + | |
| - | * Dependability/safety measures and analyses | + | |
| - | * Software faults, software failure | + | |
| - | * Mechanisms of HW/SW fault tolerance | + | |
| - | * Risk analysis, risk acceptance criteria | + | |
| - | * Safety norms | + | |
| \\ | \\ | ||
| - | The lecture is held in English. Die Vorlesung wird auf Englisch gehalten. | + | * Dienstags 14:15-15:45 Uhr (AH III) |
| + | * Mittwochs 10:15-11:45 Uhr (AH III) | ||
| + | * Klausur: 22. Juli, Wiederholungsklausur: 12. August | ||
| \\ | \\ | ||
| - | ===== Dates ===== | + | **Die erste Vorlesung dieses Semesters findet am Mittwoch, den 8. April 2015, statt.** |
| \\ | \\ | ||
| - | * Tuesdays 14:15-15:45 hrs (AH III) | + | |
| - | * Wednesdays 10:15-11:45 hrs (AH III) | + | ===== Ankündigungen und Kursmaterial ===== |
| - | * Written examination: 22 July, retake: 12 August | + | |
| \\ | \\ | ||
| - | ===== Campus ===== | + | Ankündigungen, Folien, Videos und alle anderen Materialien können auf [[https://www3.elearning.rwth-aachen.de/ss15/15ss-04237/ | der L2P Seite des Kurses]] gefunden werden. |
| \\ | \\ | ||
| - | The Campus page of this course is at https://www.campus.rwth-aachen.de/rwth/all/event.asp?gguid=0x8DC1FC0A6866944FA30D113BD3818A89&tguid=0xBA76F399D1893541BFCF7CBC6BAFE455. | + | ===== Campus ===== |
| \\ | \\ | ||
| + | Die Campus Seite von dieser Veranstaltung ist unter folgendem Link zu finden https://www.campus.rwth-aachen.de/rwth/all/event.asp?gguid=0x8DC1FC0A6866944FA30D113BD3818A89&tguid=0xBA76F399D1893541BFCF7CBC6BAFE455. | ||
| \\ | \\ | ||
| - | ===== Tutor ===== | + | ===== Betreuer ===== |
| - | * \\ | + | |
| \\ | \\ | ||
| + | * [[:lehrstuhl:mitarbeiter:chomicz]] | ||
| \\ | \\ | ||