SinelaboreRT - wiki

Imprint

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

Imprint

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

Download

anonymous@undisclosed.example.com (Anonymous) — Fri, 11 Mar 2022 21:27:54 +0000

Download

By downloading SinelaboreRT you accept the terms of use linked here.

I agree

Features of the Sinelabore state machine code generator

anonymous@undisclosed.example.com (Anonymous) — Wed, 08 Mar 2023 09:14:29 +0000

Features of the Sinelabore state machine code generator

A state machine diagram (or state chart) shows the dynamic behaviour of an application. It is a graph of states and transitions that describe the response to events depending on the current state that it is in. State machines are used for decades in hardware design. And during the last years also more and more in the area of software development. Especially in the embedded real-time domain the use of statecharts is popular because the behavior of applications and/or devices in this domain can be often described very well with statecharts. The paper of D. Harel „Statecharts: A Visual Formalism for Complex Systems“ published in 1987 is still a must read.

An important aspect of state diagrams is that the design can be directly transformed into executable code. This means that there is no break between the design and the implementation. This is all the more important if the device under development has to be developed e.g. according to IEC61508. Please note that the code-generator itself is not certified in any way. It is your responsibility to verify and validate that the generated code fulfills your needs!

SinelaboreRT was built especially for embedded real-time developers. It focuses on just one task: code generation from state diagrams. A command line tool and a configuration file is all what is needed.

The generated code is based on nested switch/case and if/then/else statements. It is easy to read and understand. The generated code will not create any headache when using static code analyzers.

SinelaboreRT does not force you in any way on how you design your system. Therefore it is no problem to use the generated code in the context of a real-time operating system or within an interrupt service routine or in a foreground / background system. The generation process can be influenced to meet specific needs.

How does SinelaboreRT work? From a state-chart design file created with the Cadifra UML editor, Enterprise Architect, UModel or Magic Draw the code-generator generates the complete statemachine implementation. For an example design file called oven.cdd the command line looks like

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

As an result files will be generated:

oven.c implements the state-machine as graphically specified in the oven.cdd file
oven_ext.h defines the events that can be sent to the state-machine
oven_dbg.h defines functions to support you during debugging
oven.h defines the function prototypes, states etc. used in the state-machine.

These files realize the complete state machine. They are in clearly readable target language code and can be understood and verified by every C/C++ programmer.

Supported State Diagram Design Elements

Hierarchical state definition: State machines can be hierarchical or flat. A state with sub-states is called a hierarchical state-machine. States can have entry code that is always executed if a state is entered. Exit code is executed whenever the state is left. A state can also have action code. The action code is executed whenever the state is active just before event transitions are evaluated.

Regions : Regions allow to model parallel behavior within the same state machine diagram. The benefit of using regions is to explicitly show the this parallel behavior instead of creating different state diagrams.

Transitions: There are two types of transitions a) event based ones and b) conditional ones. Event based transitions are triggers coming from the outside of a state-machine. An event based transition has the following syntax: eventName[guardExpression]/action. A conditional (or when) transition is not triggered from an event but a C expression that is evaluated to true (e.g. port pin set). It has the syntax: #condition/action.

Choices: The OMG UML specification states: …choice vertices which, when reached, result in the dynamic evaluation of the guards of the triggers of its outgoing transitions. This realizes a dynamic conditional branch. It enables splitting of transitions into multiple outgoing paths such that the decision on which path to take may be a function of the results of prior actions performed in the same run-to-completion step.

History States: When leaving a hierarchical state and entering it the next time the default state us usually entered. If the last active state should be entered instead a shallow history marker can be placed in the state. If you want to activate the history for all sub-states of the state then use the deep history marker instead. Macros are provided to reset the history if needed.

Interactive Test and Simulation: If the command line flag -s (for simulation) is used, the code generator turns into interactive mode after parsing the input file. No code is produced then. After parsing the input file you can type in events and check what the state machine’s reaction is. During a simulation step all code that is executed as the reaction to an event is printed out (e.g. the OnEntry code). When using the command line flag -S the graphical simulation is started.

Debugging / Trace Support: In the *_dbg.h file two helper functions are provided that are useful for debugging state machines. The function *_GetNameByState(id) returns the name of the state the function *_GetNameByEvent(id) returns the name of an event each identified by its id. Trace statements can be automatically added to the machine. This allows to follow the flow of events.

Integrated State-Diagram Editor: Using the command line flag -E brings up the integrated state diagram editor. It provides an efficient tree based entry method. The graphical representation is created automatically. So you can fully focus on the modeling task. For Windows and Mac, instead of the Jar file, Exe files are also provided, which directly launch the integrated editor.

Download the trial version and test the generator.

DATENSCHUTZERKLÄRUNG

anonymous@undisclosed.example.com (Anonymous) — Sat, 03 May 2025 13:29:37 +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.

MathJax

Wir verwenden den Online Service der Seite MathJax zum Online-Rendern von Latex Formeln. Die Datenschutzerklärung diese Anbieters finden sie unter https://www.mathjax.org/#privacy-statement

Ä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.

Erwerb einer Lizenz

Zum Erwerb einer Lizenz wird die Dienstleistung der Fa. ShareIt zum Abwickeln der Zahlung und Auslieferung des Lizenzfiles verwendet. Die Datenschutzerklärung der Fa. ShareIt ist über folgenden Link abrufbar.

Purchase

anonymous@undisclosed.example.com (Anonymous) — Thu, 25 Jul 2024 19:44:14 +0000

Purchase

Customer Type	Price
Price per license for individual users or small businesses.	Purchase: 149€
Price per license for business/enterprise customers. Also allows to use the license on CI servers or similar.	Purchase: 490€
Non-Commercial Use and Education License	If you wish to use Sinelabore for educational purposes or as part of a university project, please request an educational licence by emailing info@sinelabore.com

We offer a very user friendly license model. Please note hat every user calling the code generator requires an own license. Be fair and buy the correct number of needed licenses. Thank you

By purchasing this product you agree to the license terms (follow link for details).

Licenses are sold to you by digistore24 (our reseller). All prices listed are subject to the applicable sales tax/VAT. Since taxes are determined by the customer's location, the final selling price will be displayed after the customer enters a shipping address (TAX/VAT may apply for certain countries. Exact details are provided before the order is completed).

Order Processing

We do not physically ship the software to you. Please download the software from our download page. We expect you to try the software before you purchase. You can access a temporary licence file immediately after your purchase. A personalised licence file will be sent to the email address you provided with your order. Please keep a copy of the licence file in a safe place for backup purposes.

Upgrades and Future Releases

Minor upgrades and bug-fix releases are free for current customers within the first year. No new license files are needed. Just download the new package when available on our download page. After the first year you have to buy a new license.

Customer specific Variants

There exists customer specific versions with special features that require a special license. To simply order processing please request such a license by mail.

anonymous@undisclosed.example.com (Anonymous) — Thu, 25 Jul 2024 20:24:25 +0000

Trademarks and Terms of Use

anonymous@undisclosed.example.com (Anonymous) — Sat, 29 Nov 2025 13:13:13 +0000

Trademarks and Terms of Use

I refer to the Contract and License Conditions SINELABORE Software / Vertrags- und Lizenzbedingungen Sinelabore Software, which apply insofar as nothing to the contrary results from the following conditions.

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.
SysML and SysML v2 are trademarks or registered trademarks of OMG 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.

Terms of Use, License Agreement

This software and its associated documentation are the intellectual property of Peter Mueller.

This Software is Licensed, not Bought

The licensee obtains the non-exclusive, non-transferable right, to use the software under the conditions given below. The license remains valid for an unlimited period of time.

Storage and Network Use

Each licensed copy of the software may either be used by a single person who uses the software personally on one or more computers, or installed on a single workstation used non-simultaneously by multiple people, but not both. Each licensed copy may be accessed through a network, provided that you have purchased the rights to use a licensed copy for each workstation that will access the software through the network. You may make copies of the Software for backup purpose. The Software may be installed and used on an unlimited number of computers, provided the software is used in evaluation mode (i.e. without the license file). Evaluation mode of the software may only be used for evaluation or demonstration purposes, not for development or production.

No Derivative Works

The licensee agrees not to translate, disassemble, de-compile or in any other way create derivative works of the software.

No Resale

The licensee agrees not to rent, sell, lend, license or otherwise distribute the software to any third party without the prior written consent of Peter Mueller. (However, the licensee is encouraged to recommend the software.)

Limitation of Liability

The software is provided “as is”, without warranty of any kind, express of implied, including but not limited to the warranties of merchantability, fitness for a particular purpose and non-infringement. In no event shall Peter Mueller or any other contributor be liable for any claim, damages or other liability, whether in an action of contract, tort or otherwise, arising from, out of or in connection with the software or the use of other dealings in the software. In no event shall Peter Mueller‘s liability arising out of the use or inability to use the software exceed the amount that you have actually paid for the software.

General

Place of performance and place of jurisdiction for all disputes arising from and in connection with this contract are the headquarters of Sinelabore Software Tools GmbH.

For questions write to