Übersicht über bestehende Inhalte zum Thema Entwurf in der Fahrzeugtechnik.
Modellbildung Die Modellbildung ist ein typischer Abstraktionsprozess in der Informatik und der Mathematik, mit dem man versucht, die Komplexität eines Systems auf ein „bewältigbares“ Maß zu reduzieren (z.B. Modellierung mittels der Unified Modeling Language UML Einführung, UML 1.0 (Überblick), UML-RT, State-Chart, (...)
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
Aktivitäten UML 2.0 (Überblick) Bei den folgenden Bausteinen handelt es sich um das Kapitel 11 (Aktivitäten) aus dem Buch "UML 2 für Studenten" von Dr. H. Störrle (...).
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 (...)
Meteor: Erfahrungen zur B-Methode Die Firma Matra Transport International (Siemens Transportation Systems) hat die erste automatische Steuerung für führerlose Züge entwickelt (...)
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren