Reviews run for a minimum of one week. The outcome of the review is decided on this date. This is the last day to make comments or ask questions about this review.
Eclipse XSM
State machines are a common way to define behavior in safety relevant applications. Furthermore the source code of safety relevant applications often has to be certified by an authority.
Eclipse XSM (eXtensible State Machine) provides a middleware to implement state machines. It allows to alter an existing state machine without altering the existing code. As a middleware it does not provide a service to a user directly but helps developers to focus on business logic.
Eclipse XSM (eXtensible State Machine) provides a middleware to implement state machines. It allows to alter an existing state machine without altering the existing code. As a middleware it does not provide a service to a user directly but helps developers to focus on business logic.
An example:
Imagine a simple LIN node. The standard behavior might be, that if it cannot serve due to internal issues it signals no service to its master. A carmaker explicitly requires the LIN node to signal operating the first 2s after powering on. With Eclipse XSM you can add this custom behavior without touching the existing code.
This code is build from scratch
Governance done by EMO is good.
Scope 1 - documented runtime including a documented example
An ANSI C89 compliant source code of the runtime with inline comments. An additional printable documentation in PDF of the runtime which covers basic principles, rationale besides an API reference.
An ANSI C89 compliant source code of the example with inline comments. An additional printable documentation in PDF of the example which mainly how to run it.
Scope 2 - an Eclipse Papyrus & Eclipse Acceleo based generator.
A set of MOFM2T scripts to transform state machines modeled within Papyrus into ANSI C Code using the runtime. An additional printable documentation in PDF of the scripts which covers basic principles, rationale besides an API reference.
Scope 3 - further generators
-- to be defined after Scope 2 is mature --
tbd, initial contribution planned before OCX'24
safety critical embedded systems in general
automotive
medical devices
aerospace
documented runtime
- Log in to post comments
Eclipse XSM (eXtensible State Machine) provides a middleware to implement state machines. It allows to alter an existing state machine without altering the existing code. As a middleware it does not provide a service to a user directly but helps developers to focus on business logic.
An example:
Imagine a simple LIN slave. The standard behavior might be, that if it cannot serve due to internal issues it signals no service to its master. A carmaker explicitly requires the LIN slave to signal operating the first 2s after powering on. With Eclipse XSM you can add this custom behavior without touching the existing code.
- Log in to post comments
This project is in an early…
Submitted by Carsten Pitz on Thu, 08/22/2024 - 12:53
This project is in an early phase. First source code will be published as soon as a repository has been chosen. I already reserved a repository @ GitHub.
Updated proposal to fit…
Submitted by Carsten Pitz on Thu, 08/22/2024 - 12:54
Updated proposal to fit sanity checks
Florian Stechmann (fst98)…
Submitted by Carsten Pitz on Sun, 09/15/2024 - 06:34
Florian Stechmann (fst98) added as committer.