 | ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Wissensbrowser starten | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| ||||||
|  | | | |  | |
| ||||||
| ||||||
|  | | ||||
| ||||||
Literatur |
|
Advanced Validation Techniques Meet Complexity in Embedded Software Development |
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Beschreibung | |||||||||
| |||||||||
| Im PC Software Bereich ist man oft gewillt, regelmäßige Abstürze in Kauf zu nehmen, wohingegen eingebettete Software in Produkten wie Autos, Zügen, Flugzeugen, Mobiltelefonen, Schaltsystemen, Fahrstühlen oder medizinischen Geräten einen signifikant höheren Qualitätsstandard aufweisen muss. Um in diesem Bereich die notwendige (Hoch-)Verfügbarkeit zu garantieren, muss der Entwicklungsprozess für eingebettete Software den immer kürzeren Time-to-Market- und Qualitätsanforderungen im Hinblick auf das exponentielle Wachstum bzgl. funktioneller Komplexität und Verteilung gerecht werden. Verifikationstechniken sind dabei im Begriff, ein wesentlicher Bestandteil bei der Erfüllung dieser Aufgabe zu werden. | |||||||||
| |||||||||
| Autoren | |||||||||
| |||||||||
| Werner Damm Moshe Cohen | |||||||||
| |||||||||
| Publikationstyp | |||||||||
| |||||||||
| Bericht | |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| |||||||||
| Downloads | |||||||||
| |||||||||
| |||||||||
| |||||||||
Eintrag kommentieren
| ||||
| ||||
| ||||
| ||||
| Advanced Validation... | ||||
| ||||
| ||||
| ||||
| ||||
 | Erläutert Technologien | | ||
| ||||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
|
| | ||
| ||||
| ||||
| Dokumentiert Erfahrungen | | ||
| ||||
|
| | ||
| ||||
| Adressiert Probleme | | ||
| ||||
|
| | ||
|
| | ||
| ||||
| ||||
| | | ||
| ||||||||||||||
|
