Eintrag kommentierenErfahrung zum Thema berichtenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Verfahren
Qualität in der Fahrzeugtechnik
Methode/Technik:23727
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Beschreibung
Übersicht über Inhalte zum Thema Qualität in der Fahrzeugtechnik. Dieser Themenbereich umfasst sowohl Verifikations- wie Validationstechniken.

  • Verifikation (formal)
    Durch eine (formale) Verifikation im Software- und Hardwareengineering wird die Übereinstimmung der Eigenschaften der erstellten Artefakte (z.B. Dokumente, Modelle, Implementierungen) einer (Entwicklungs-)Phase gegenüber einer anderen (i.d.R. direkt anschließenden) sichergestellt (...)
  • Automatisches Beweisen im Bereich der Softwareentwicklung
    Automatisches Beweisen (engl. Automated Theorem Proving) ist eine Technik zur vollständigen, automatischen Verifikation. Das Forschungsgebiet des Automatischen Beweisens ist bereits relativ alt. Mitte der 50er Jahre wurden erste Automatische Beweiser entwickelt (...)
  • Einstieg zum Thema Testen
    Systematisches Testen von Software stellt, neben verifizierenden Aktivitäten wie z.B. Inspektionen und Reviews, einen wichtigen Beitrag zur Qualitätssicherung in der Software-Entwicklung dar (...)
  • Architektur von Testsystemen
    Es gibt unterschiedliche Anforderungen an Testsysteme, wenn man die Lebensphasen Entwicklung, Produktion und Betrieb des zu testenden Systems betrachtet (...)
  • Leistungsmessung
    Über Messungen an realen Systemen kann man einen Einblick in das Systemverhalten erlangen, sofern man mit der Messung bzw. der Instrumentierung das Systemverhalten nicht verändert (...)
  • Software Inspektionen
    Sowohl Software Inspektionen, (Peer) Reviews als auch Walkthroughs sind statische Methoden zur Softwarequalitätsverbesserung und Fehlerkostenreduktion (...)
  • Sicherheitsanalyse (Überblick)
    Unter der Sicherheitsanalyse eines komplexen sicherheitskritischen Systems versteht man eine systematische, nachvollziehbare Überprüfung des implementierten Systems daraufhin, dass dieses System die relevanten Sicherheitsanforderungen erfüllt (...)
Werkzeuge

  • Statemate Verifikation
    Mit Hilfe der vom OFFIS und der Universität Oldenburg entwickelten Verifikationsumgebung für Statemate kann die Erfüllung der Anforderungen einer in Symbolic Timing Diagrams vorliegenden Spezifikation durch ein als State-Chart vorliegendes Modellbildung nachgewiesen werden (...)
  • AutoFocus
    AutoFocus unterstützt die Entwicklung verteilter, eingebetteter Systeme auf der Grundlage formaler Techniken (SSD, STD, EET) durch den Einsatz integrierter, im wesentlichen graphischer, Beschreibungstechniken, mit deren Hilfe sowohl unterschiedliche Sichten (siehe Struktursicht, Verhaltenssicht und Interaktionssicht) als auch verschiedene Abstraktionsebenen eines Systems beschrieben werden (...)
Erfahrungen

  • Testautomatisierung in der Automobilbranche (Artikel-Überblick)
    Der Anteil der Elektronik im Auto steigt rapide an. Zur Absicherung der Qualität von Soft-und Hardware sind regressionsfähige Testprozesse erforderlich. Nur dadurch ist es Herstellen und Zulieferern möglich, die Funktionsfähigkeit ihrer Produkte zu gewährleisten. Die folgenden Bausteine beleuchtet diese Ausgangssituation und zeigen auf, wie UML-basierte Ansätze in der Testautomatisierung bei Audi verwendet werden (...)

Zurück zur Einstiegsseite Fahrzeugtechnik
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
 Eintrag kommentieren 
 Eintrag bewerten 
 Erfahrung zum Thema berichten 
Zu dieser Seite wurden noch keine Kommentare oder Bewertungen abgegeben.
 
Zum Seitenanfang Top Drucken Impressum AGB
Home

VSEK ©2001-2017