SinelaboreRT - de:wiki

Impressum

anonymous@undisclosed.example.com (Anonymous) — Sun, 19 Jan 2020 18:17:49 +0000

Impressum

Der bevorzugte Weg der Kontaktaufnahme ist per E-Mail

Haftung für Inhalte

Sinelabore Software Tools GmbH ist gemäß § 7 Abs.1 TMG für eigene Inhalte auf diesen Seiten nach den allgemeinen Gesetzen verantwortlich. Nach §§ 8 bis 10 TMG sind wir als Diensteanbieter jedoch nicht verpflichtet, übermittelte oder gespeicherte fremde Informationen zu überwachen oder nach Umständen zu forschen, die auf eine rechtswidrige Tätigkeit hinweisen. Verpflichtungen zur Entfernung oder Sperrung der Nutzung von Informationen nach den allgemeinen Gesetzen bleiben hiervon unberührt. Eine diesbezügliche Haftung ist jedoch erst ab dem Zeitpunkt der Kenntnis einer konkreten Rechtsverletzung möglich. Bei Bekanntwerden von entsprechenden Rechtsverletzungen werden wir diese Inhalte umgehend entfernen.

Haftung für Links

Unser Angebot enthält Links zu externen Webseiten, auf deren Inhalte wir keinen Einfluss haben. Deshalb können wir für diese fremden Inhalte auch keine Gewähr übernehmen. Für die Inhalte der verlinkten Seiten ist stets der jeweilige Anbieter oder Betreiber der Seiten verantwortlich. Die verlinkten Seiten wurden zum Zeitpunkt der Verlinkung auf mögliche Rechtsverstöße überprüft. Rechtswidrige Inhalte waren zum Zeitpunkt der Verlinkung nicht erkennbar. Eine permanente inhaltliche Kontrolle der verlinkten Seiten ist jedoch ohne konkrete Anhaltspunkte einer Rechtsverletzung nicht zumutbar. Bei Bekanntwerden von Rechtsverletzungen werden wir derartige Links umgehend entfernen.

Urheberrecht

Die durch die Seitenbetreiber erstellten Inhalte und Werke auf diesen Seiten unterliegen dem deutschen Urheberrecht. Die Vervielfältigung, Bearbeitung, Verbreitung und jede Art der Verwertung außerhalb der Grenzen des Urheberrechtes bedürfen der schriftlichen Zustimmung des jeweiligen Autors bzw. Erstellers. Downloads und Kopien dieser Seite sind nur für den privaten, nicht kommerziellen Gebrauch gestattet. Soweit die Inhalte auf dieser Seite nicht vom Betreiber erstellt wurden, werden die Urheberrechte Dritter beachtet. Insbesondere werden Inhalte Dritter als solche gekennzeichnet. Sollten Sie trotzdem auf eine Urheberrechtsverletzung aufmerksam werden, bitten wir um einen entsprechenden Hinweis. Bei Bekanntwerden von Rechtsverletzungen werden wir derartige Inhalte umgehend entfernen.

Datenschutz

Unsere Datenschutzerklärung finden Sie hier

Features

anonymous@undisclosed.example.com (Anonymous) — Sat, 13 Nov 2021 13:57:17 +0000

Features

Übersicht

Ein Zustandsdiagramm (oder Zustandsautomat) zeigt das dynamische Verhalten einer Anwendung. Es handelt sich um ein Diagramm mit Zuständen und Übergängen, die die Reaktion auf Ereignisse in Abhängigkeit vom aktuellen Zustand der Anwendung beschreiben. Zustandsautomaten werden seit Jahrzehnten im Hardware-Design verwendet. Und in den letzten Jahren auch mehr und mehr im Bereich der Softwareentwicklung. Besonders bei eingebetteten Echtzeitsystemen ist die Verwendung von Zustandsdiagrammen beliebt, da das Verhalten von Anwendungen und/oder Geräten in diesem Bereich oft sehr gut mit Zustandsdiagrammen beschrieben werden kann. Das Papier von D. Harel “Statecharts: A Visual Formalism for Complex Systems” aus dem Jahr 1987 ist immer noch eine Pflichtlektüre.

Ein wichtiger Aspekt von Zustandsdiagrammen ist, dass der Entwurf direkt in ausführbaren Code umgewandelt werden kann. Das bedeutet, dass es keinen Bruch zwischen dem Entwurf und der Implementierung gibt. Dies ist umso wichtiger, wenn das zu entwickelnde Gerät bestimmte formale Qualitätskriterien erfüllen muss (z.B. nach IEC61508). Bitte beachten Sie, dass der Code-Generator selbst in keiner Weise zertifiziert ist. Es liegt in Ihrer Verantwortung zu überprüfen und zu validieren, dass der generierte Code Ihre Anforderungen erfüllt!

Ein Tool speziell für Embedded Software Entwickler

SinelaboreRT wurde speziell für Entwickler von eingebetteten Echtzeitsystemen entwickelt. Es konzentriert sich auf eine einzige Aufgabe: Codegenerierung aus Zustandsdiagrammen. Ein Kommandozeilenwerkzeug und eine Konfigurationsdatei sind alles, was benötigt wird.

Der generierte Code basiert auf verschachtelten switch/case und if/then/else Anweisungen. Er ist leicht zu lesen und zu verstehen. Der generierte Code bereitet bei der Verwendung von statischen Code-Analysatoren kein Kopfzerbrechen.

SinelaboreRT engt Sie in keiner Weise bei der Wahl der Systemarchitektur ein. Daher ist es kein Problem, den generierten Code im Kontext eines Echtzeitbetriebssystems oder innerhalb einer Interrupt-Service-Routine oder in einem Vordergrund-/Hintergrundsystem zu verwenden. Der Generierungsprozess kann beeinflusst werden, um spezifische Anforderungen zu erfüllen.

Wie arbeitet SinelaboreRT? Aus einer mit dem Cadifra UML-Editor, Enterprise Architect, UModel oder Magic Draw … erstellten Zustandsdiagramm generiert der Code-Generator die komplette Statemachine-Implementierung. Für eine Beispieldatei namens oven.cdd sieht die Befehlszeile wie folgt aus:

java -cp "path_to_coden_jar:*" codegen.Main -p CADIFRA -o oven oven.cdd

Als Ergebnis werden Dateien erzeugt:

oven.c implementiert die State-Machine, wie sie in der Datei oven.cdd grafisch dargestellt ist
oven_ext.h definiert die Ereignisse (Events), die an die State-Machine gesendet werden können
oven_dbg.h definiert Funktionen, die Sie beim Debuggen unterstützen
oven.h definiert die Funktionsprototypen, Zustände usw., die in der State-Machine verwendet werden.

Diese Dateien realisieren den kompletten Zustandsautomaten. Sie sind in klar lesbarem Zielsprachencode und können von jedem C/C++-Programmierer verstanden und überprüft werden.

Unterstützte Zustandsdiagrammelemente

Hierarchische Zustandsdefinition: Zustandsautomaten können hierarchisch oder flach sein. Ein Zustand mit Unterzuständen wird als hierarchischer Zustandsautomat bezeichnet. Zustände können einen Eintrittscode definieren (Entry Code), der immer ausgeführt wird, wenn ein Zustand betreten wird. Exit-Code wird ausgeführt, wenn der Zustand verlassen wird. Ein Zustand kann auch einen Aktionscode haben. Der Aktionscode wird immer dann ausgeführt, wenn der Zustand aktiv ist, kurz bevor Ereignisübergänge ausgewertet werden.

Regionen : Regionen ermöglichen die Modellierung parallelen Verhaltens innerhalb desselben Zustandsdiagramms. Der Vorteil der Verwendung von Regionen besteht darin, dass dieses parallele Verhalten explizit dargestellt werden kann, anstatt verschiedene Zustandsdiagramme zu erstellen.

Transitionen: Es gibt zwei Arten von Übergängen: a) ereignisbasierte Übergänge und b) bedingte Übergänge. Ereignisbasierte Übergänge sind Auslöser (Trigger), die von außerhalb einer State-Machine kommen. Ein ereignisbasierter Übergang hat die folgende Syntax: eventName[guardExpression]/action. Ein bedingter (oder wenn) Übergang wird nicht durch ein Ereignis ausgelöst, sondern durch einen C-Ausdruck, der zu wahr ausgewertet wird (z.B. Portpin gesetzt). Sie hat die Syntax: #condition/action.

Choice States: Die OMG UML-Spezifikation besagt: …Choice States, die, wenn sie erreicht werden, zu einer dynamischen Guard-Auswertung des Triggers der ausgehenden Transitionen führen. Damit wird eine dynamische bedingte Verzweigung realisiert. Es ermöglicht die Aufteilung von Transitionen in mehrere ausgehende Pfade, so dass die Entscheidung über den zu wählenden Pfad eine Funktion der Ergebnisse früherer Aktionen sein kann, die im selben Schritt der Ausführung durchgeführt wurden.

Historische Zustände: Wenn ein hierarchischer Zustand verlassen und das nächste Mal betreten wird, wird in der Regel der Standardzustand verwendet. Wenn stattdessen der letzte aktive Zustand betreten werden soll, kann ein History Marker (flat history) in den Zustand gesetzt werden. Wenn Sie die Historie für alle Unterzustände des Zustands aktivieren wollen, verwenden Sie stattdessen eine sog. tiefe Historienmarkierung (deep history). Es werden Makros bereitgestellt, um die Historie bei Bedarf zurückzusetzen.

Interaktiver Test und Simulation: Wenn das Kommandozeilenflag -s (für Simulation) verwendet wird, wechselt der Codegenerator nach dem Parsen der Eingabedatei in den interaktiven Modus. Es wird dann kein Code erzeugt. Nach dem Parsen der Eingabedatei können Sie Ereignisse eingeben und prüfen, wie der Zustandsautomat reagiert. Während eines Simulationsschritts wird der gesamte Code, der als Reaktion auf ein Ereignis ausgeführt wird, ausgedruckt (z. B. der OnEntry-Code). Bei Verwendung des Kommandozeilenflags -S wird die grafische Simulation gestartet.

Debugging / Trace-Unterstützung: In der Datei *_dbg.h werden Hilfsfunktionen bereitgestellt, die für das Debugging von Zustandsautomaten nützlich sind. Die Funktion *_GetNameByState(id) gibt den Namen des Zustands zurück, die Funktion *_GetNameByEvent(id) gibt den Namen eines Ereignisses zurück, das jeweils durch seine ID identifiziert wird. Trace-Anweisungen können der Maschine automatisch hinzugefügt werden. Dies ermöglicht es, den Fluss der Ereignisse zu verfolgen.

Integrierter Zustandsdiagramm-Editor: Mit dem Befehlszeilen-Flag -E wird der integrierte Zustandsdiagramm-Editor aufgerufen. Er bietet eine effiziente baumbasierte Eingabemethode. Die grafische Darstellung wird automatisch erstellt. So können Sie sich voll und ganz auf die Modellierungsaufgabe konzentrieren. Für Windows und Mac werden statt des Jar Files auch Exe Files bereitgestellt, die direkt den integrierten Editor starten.

Laden sie die Testversion direkt herunter und testen Sie den Generator. Ihr Feedback ist willkommen!

DATENSCHUTZERKLÄRUNG

anonymous@undisclosed.example.com (Anonymous) — Tue, 27 Mar 2018 17:59:58 +0000

DATENSCHUTZERKLÄRUNG

Erfassung allgemeiner Informationen

Wenn Sie auf unsere Webseite zugreifen, werden automatisch Informationen allgemeiner Natur erfasst. Diese Informationen (Server-Logfiles) beinhalten etwa die Art des Webbrowsers, das verwendete Betriebssystem, den Domainnamen Ihres Internet Service Providers und Ähnliches. Hierbei handelt es sich ausschließlich um Informationen, welche keine Rückschlüsse auf Ihre Person zulassen. Diese Informationen sind technisch notwendig, um von Ihnen angeforderte Inhalte von Webseiten korrekt auszuliefern und fallen bei Nutzung des Internets zwingend an. Anonyme Informationen dieser Art werden von uns statistisch ausgewertet, um unseren Internetauftritt und die dahinterstehende Technik zu optimieren.

SSL-Verschlüsselung

Um die Sicherheit Ihrer Daten bei der Übertragung zu schützen, verwenden wir dem aktuellen Stand der Technik entsprechende Verschlüsselungsverfahren (z. B. SSL) über HTTPS.

Kommentarfunktion

Wenn Nutzer Kommentare im Blog hinterlassen, werden neben diesen Angaben auch der Zeitpunkt ihrer Erstellung und der zuvor durch den Websitebesucher gewählte Nutzername gespeichert. Dies dient unserer Sicherheit, da wir für widerrechtliche Inhalte auf unserer Webseite belangt werden können, auch wenn diese durch Benutzer erstellt wurden.

Bei der Anmeldung zum Bezug unseres Newsletters werden die von Ihnen angegebenen Daten ausschließlich für diesen Zweck verwendet. Abonnenten können auch über Umstände per E-Mail informiert werden, die für den Dienst oder die Registrierung relevant sind (Beispielsweise Änderungen des Newsletterangebots oder technische Gegebenheiten). Für eine wirksame Registrierung benötigen wir eine valide E-Mail-Adresse. Die Daten werden ausschließlich für den Newsletterversand verwendet und nicht an Dritte weitergegeben. Die Einwilligung zur Speicherung Ihrer persönlichen Daten und ihrer Nutzung für den Newsletterversand können Sie jederzeit widerrufen.

Eingebettete YouTube-Videos

Auf einigen unserer Webseiten betten wir Youtube-Videos ein. Betreiber der entsprechenden Plugins ist die YouTube, LLC, 901 Cherry Ave., San Bruno, CA 94066, USA. Wenn Sie eine Seite mit dem YouTube-Plugin besuchen, wird eine Verbindung zu Servern von Youtube hergestellt. Dabei wird Youtube mitgeteilt, welche Seiten Sie besuchen. Wenn Sie in Ihrem Youtube-Account eingeloggt sind, kann Youtube Ihr Surfverhalten Ihnen persönlich zuzuordnen. Dies verhindern Sie, indem Sie sich vorher aus Ihrem Youtube-Account ausloggen. Wird ein Youtube-Video gestartet, setzt der Anbieter Cookies ein, die Hinweise über das Nutzerverhalten sammeln. Wer das Speichern von Cookies für das Google-Ad-Programm deaktiviert hat, wird auch beim Anschauen von Youtube-Videos mit keinen solchen Cookies rechnen müssen. Youtube legt aber auch in anderen Cookies nicht-personenbezogene Nutzungsinformationen ab. Möchten Sie dies verhindern, so müssen Sie das Speichern von Cookies im Browser blockieren. Weitere Informationen zum Datenschutz bei „Youtube“ finden Sie in der Datenschutzerklärung des Anbieters unter: https://www.google.de/intl/de/policies/privacy/

Google AdWords

Unsere Webseite nutzt das Google Conversion-Tracking. Sind Sie über eine von Google geschaltete Anzeige auf unsere Webseite gelangt, wird von Google Adwords ein Cookie auf Ihrem Rechner gesetzt. Das Cookie für Conversion-Tracking wird gesetzt, wenn ein Nutzer auf eine von Google geschaltete Anzeige klickt.

Änderung unserer Datenschutzbestimmungen

Wir behalten uns vor, diese Datenschutzerklärung gelegentlich anzupassen, damit sie stets den aktuellen rechtlichen Anforderungen entspricht oder um Änderungen unserer Leistungen in der Datenschutzerklärung umzusetzen, z. B. bei der Einführung neuer Services. Für Ihren erneuten Besuch gilt dann die neue Datenschutzerklärung.

Die Datenschutzerklärung wurde mit dem Datenschutzerklärungs-Generator der activeMind AG erstellt.

Vertrags- und Lizenzbedingungen Sinelabore Software

anonymous@undisclosed.example.com (Anonymous) — Sun, 01 Sep 2019 10:22:05 +0000

Vertrags- und Lizenzbedingungen Sinelabore Software

Bedinungen

In allen Vertragsbeziehungen, in denen Peter Müller („Sinelabore“) für andere Unternehmen („Kunden“) Leistungen erbringt, gelten ausschließlich die hier verlinkten Vertrags- und Lizenzbedingungen („AGB“). Im Übrigen gelten die gesetzlichen Vorschriften.

Trademarks

Java is a registered trademark of Sun Microsystems, Inc. in the United States and/or other countries.
Microsoft, Windows Vista, Windows XP, Windows 2000, Windows, Microsoft Word, Word 97 and Word 2003 are trademarks or registered trademarks of Microsoft Corporation.
Cadifra is a registered trademark Adrian & Frank Buehlmann.
Enterprise Architect is a trademark of Sparx Systems Pty Ltd
Magic Draw is a trademark of No Magic, Inc.
UModel is a trademark of Altova GmbH and Altova Inc.
ArgoUML is made available under the BSD Open Source License
UML and Unified Modeling Language are trademarks or registered trademarks of Object Management Group, Inc.
Other trademarks or registered trademarks mentioned on this web site are the property of their respective owners and no rights are claimed for these.