Differences

This shows you the differences between two versions of the page.

--- sidebar [2019/05/01 20:59] – pmueller
+++ sidebar [2019/12/04 17:43] – [Examples] pmueller
@@ Line 1: / Line 1: @@
-==== Navigation ====
-  * [[wiki:Features|Features]]
-  * [[wiki:download| Download (Latest is 3.7.3)]]
-  * [[wiki:Purchase|Purchase]]
-  * {{:wiki:downloads:sinelaborert.pdf|Manual}}
-  * [[wiki:tools:Supported UML Tools|Supported UML Tools]]
-  * [[wiki:issues:Known Issues|Known Issues]]
-  * Examples on [[https://github.com/sinelabore/examples|GitHub]]
-  * [[history|News History]]
-----
-  * [[wiki:Contact|Contact]]
-  * [[wiki:Terms of use|Terms of use]]
-  * [[wiki:Privacy Statement|Privacy Statement]]
-==== UML-Tool specific Intro ====
-  * [[wiki:landing pages:ea|Enterprise Architect]]
-  * [[wiki:landing pages:Modelio|Modelio]]
-  * [[wiki:landing pages:Metamill|Metamill]]
-  * [[wiki:news:16april2016|Astah*]]
-==== How-To ====
-  * [[wiki:howto:ArgoUML How-To|ArgoUML How-To]]
-  * [[wiki:howto:Enterprise Architect How-To|Enterprise Architect How-To]]
-  * [[wiki:howto:Astah*|Astah* How-To]]
-  * [[wiki:howto:Modelio|Modelio How-To]]
 ==== Examples ====
+  * [[wiki:examples:msp430_tl_tutorial|Getting started with a MSP430FR2355 Traffic Light based on State Machines]]
   * [[wiki:examples:pic_tutorial|Getting started with the PIC16F18446 and State Machines]]
   * [[wiki:news:11aug2015 | Building a ModbusRTU server with state machines, activity diagrams and minimal runtime environment ]]
@@ Line 43: / Line 14: @@
   * [[wiki:news:02jan2015|Wireless temperature sensor]]
   * [[https://github.com/sinelabore/examples|Energia example on GitHub]]
-==== Designers Toolbox ====
-  * [[wiki:toolbox:Features for High-Availability and Safety Systems|High-Availability and Safety Systems]]
-  * [[wiki:toolbox:Model-based testing of state machines I|Model-based testing of state machines I]]
-  * [[wiki:toolbox:Model-based testing of state machines II|Model-based testing of state machines II]]
-  * [[wiki:toolbox:trace-the-event-flow|Create nice looking state flow diagrams using Mscgen]]<wrap hi>  New!</wrap>
-  * [[wiki:toolbox:Using State-Machines with a Real-Time Operating System (RTOS)|Using State-Machines with a Real-Time Operating System (RTOS)]]
-  * [[wiki:news:02jan2015|Using State-Machines in a main-loop system (without RTOS)]]<wrap hi>  New!</wrap>
-  * [[wiki:toolbox:Event-based versus polling|Event-based versus polling]]
-  * [[http://www.embedded.com/design/prototyping-and-development/4008341/State-charts-can-provide-you-with-software-quality-insurance | Article on www.embedded.com]] State charts can provide you with software quality insurance.
-==== Integrated state-chart editor with auto-layout ====
-Focus on modeling and not on moving states around to create a nice looking diagram! Syntax aware text fields offer a comfortable way to specify actions, guards etc. When the diagram passed the model checker it can be directly simulated. Connect the diagram to the real hardware to monitor the state machine in action.
-{{:builtin_editor.jpg?direct&200|}}
-==== There are better ways to model state machines than using spread sheets! ====
- In the past different μC manufacturers have published application notes about the benefit of using state machines for the design of embedded software. An example is  the application note SLAA402 from Texas Instruments (TI). It suggests to generate source code based on a spread sheet table. Nowadays several affordable UML modeling tools are available supporting the efficient design of state machines in a graphical way. SinelaboreRT generates production quality source code from state diagrams created with many different UML tools. Give it a try!
-====== Latest Changes ======
-{{changes>render = pagelist}}