www.ebookaktiv.de


  
FREE DOWNLOAD e-book eBook  Größe: 9.5 MB
   FREE DOWNLOAD Beispiele  Größe: 100 k

 

Ver. 1.0 / 2005        eBooks nur für WINDOWS!

 Nr.10         (Endpreise, keine weitere Kosten)

KAUFEN 5.0€

 
Wollen Sie die Grundlagen über Statecharts bzw. Zustandsautomaten (engl. Finite State Machine FSM) erlernen?
Super, dann bekommen Sie in diesem eBook mit über 90 Seiten die Grundlagen über die mächtige Modellierungssprache

      
Statecharts

Statecharts sind eine Erweiterung der klassischen Zustandsautomaten. Damit lassen sich reaktive Systeme (Steuerungen) elegant grafisch und übersichtlich modellieren, um anschließend daraus automatisch einen C-Code für Mikrocontroller oder PC zu generieren.

 

Am Beispiel einer Bügeleisen-Steuerung, wird ein Projekt mit dem Entwicklungstool visualSTATE
schrittweise durchgeführt und ausführlich mit Filmen, Animationen, Bildern und Text erklärt.

Das Tool visualSTATE ist free for Download bei www.iar.com, und lediglich auf 20 Zustände begrenzt.

Angefangen mit den Anforderungen (engl. requirement) über das Modellieren mit Statecharts, Simulieren (Validieren), Verifizieren (formale Verifikation) gelangen wir mit der automatischen C-Code-Generierung zu dem endgültigen Produkt = Echtzeitsoftware.

Modelliert werden einfache Zustandsautomaten, Hierarchien sowie parallele Automaten.

Für die Inputs werden Events sowie Bedingungen benutzt. Als Output werden eine LED, Heizung und Pumpe für Dampf als Aktionen benutzt.

Es werden Timer und Junction benutzt und alles was nicht in der Steuerung benutzt wird aber zu Statecharts dazugehört wird selbstverständlich nebenbei ebenfalls erklärt.  

Inhalt


Grundlagen Statecharts

Einführung
Verschiedene Verhaltensweisen
Geschichte
Wofür Statecharts?
Zeit- oder Ereignisgesteuert
Funktionsweise
Was ist besser in Statecharts?
Anforderung
Anforderung an die Bügeleisen-Steuerung
Navigator
Start neues Projekt
Zustände modellieren
Was ist ein Zustand?
Transitionen modellieren
Was ist eine Transition?
Transitions-Event
Was ist ein Event?
Transitions-Aktion
Was ist eine Aktion?
Zustands-Aktion
Zustandsaktionen
Verifikation
Fehler Beispiele
Validierung = Simulation
Virtuelle Prototypen
Code-Generierung
C-Code selber schreiben
Implementierung und in-Target Test
Dokumentation

Event, Bedingung und Aktion

Schalter und Taste
Event und Bedingung
Event mit Parameter und Bedingung
Simulation
Event und Variable in Bedingung
Simulation
Wie werden Events abgearbeitet?
Signale
Aktionen und Aktivität
Aktionen und Aktivität
Default-Transition Aktion

Hierarchie

Einführung
Was bedeutet Hierarchie?
Wasser Ein-Aus
Simulation
Fehler!
Hierarchie verstecken
Zu heiß
Fehler!
UND/ODER Transition
Transitionen zu/von Hierarchie

Parallele Automaten

Neue Anforderung
Wie mache ich mehrere Sachen gleichzeitig!
Parallele Regionen
Wasser und Dampf
Simulation
2-Punkt-Regler
2-Punkt-Regler
Innere- und äußere Transition
Zustandsabhängigkeit
Zustand erzwingen
Synchronisation mit Signalen
Transitionen zwischen parallelen Zuständen
Mehrere Statecharts

Junction und Timer

Timer und Zähler
Dampf Auszeit
Simulation
das grafische Element Kreis
Kreuzung oder Entscheidung
Junction
Join und Fork
Auswahl speichern
History
Start- und Endzustand
Connector und Kommentar

Testen und C-Code Generierung

Testen, testen, testet ....
Start Verifikation
Verifikation wiederholen
Event Fehler
Alles OK
Testsequenzen und Testabdeckung
Testabdeckung
Test automatisieren
Die Zeit vor den C-Code-Generatoren
C-Code-Generatoren
C-Code-Generator in visualSTATE
C-Code-Generator in visualSTATE
Die Datei Bugeleisen.c und Bugeleisen.h
Die Datei BugeleisenData.c und BugeleisenData.h
Prototypen für Aktionen
API
EventHandler
Endlosschleife
Compilieren
Grundlagen C und Mikrocontroller

ENDE

 


email@ebookaktiv.de


© 2003-2017
    eBookAktiv.de

Last Update: 22.06.2015


 

---------------------------
eBooks      Preise
---------------------------

  1               5,0€
  3             10,0€

  6             15,0€
  9             20,0€

ALLE download
30,0€
ALLE auf CD
35,0€
(Deutschland+Europa)
----------------------------

 

Statecharts

Zustandsautomaten

Finite State Machine

FSM

formale Verifikation

Validieren

Steuerung

visualSTATE

Zustand

Transition

Event

Ereignis

Hierarchie

Automat

parallele Automaten

Simulation

C-Code Generierung

Stateflow

Simulink

Harrel