Eintrag kommentierenErfahrung zum Thema berichtenEintrag bewerten
Dieser Eintrag wurde im Schnitt mit 0 von 5 Punkten bewertet
Verfahren
Entwurf in der Fahrzeugtechnik
Methode/Technik:23176
Externe Quellen zum Thema NEU: Externe Quellen zum Thema suchen 
Beschreibung
Übersicht über bestehende Inhalte zum Thema Entwurf in der Fahrzeugtechnik.

  • Entwurf eingebetteter Systeme
    Der Entwurf eingebetteter Systeme ist ein Anwendungsgebiet, dessen besondere Anforderungen sich aus der Optimierung des Zusammenwirkens heterogener Teilsysteme ergeben (...)
  • Modellierung digitaler Schaltkreise
    Digitale Schaltkreise können mit Hilfe logischer Formeln beschrieben werden, wobei man der Einfachheit halber annehmen kann, dass sich der Zustand eines Schaltkreises vollständig durch boolesche Variablen beschreiben lässt (...)
  • Einführung in die MDA
    Die MDA ist die aktuelleste Strategie der OMG zur modellgetriebenen und generativen Soft- und Hardwareentwicklung (...)
  • Produktlinien (Einstieg)
    Schlüsselerfolgsfaktoren in der Softwaretechnik sind eine kurze Time-to-market, hohe Produktqualität und niedrige Kosten. Das Erzielen dieser scheinbar unvereinbaren Ziele wird durch systematische Wiederverwendung während der Entwicklung von Software möglich (...)
  • Petri-Netze (Übersicht)
    Dieser Baustein befasst sich einführend mit dem Formalismus der Petri-Netze. In diesem Zusammenhang werden wichtige Begriffe wie feuern, Hürde und Wechsel, sowie Lebendigkeit, Sicherheit und Invarianz erläutert (...)
Tutorials, Einführungen

Werkzeuge

  • 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 (...)
  • Statemate Verifikation
    Mit Hilfe der 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 (...)
Erfahrungen

  • Weitere Erfahrungsberichte finden Sie hier.
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