Date: Thu, 28 Mar 2024 17:34:39 +0000 (UTC) Message-ID: <658282906.6445.1711647279705@2f9704fbf185> Subject: Exported From Confluence MIME-Version: 1.0 Content-Type: multipart/related; boundary="----=_Part_6444_71433029.1711647279705" ------=_Part_6444_71433029.1711647279705 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Content-Location: file:///C:/exported.html
Sequentially Constructive Statecharts (SCCharts)
SCCharts [1] is a visual synchronous language that is designed for speci= fying safety-critical reactive systems. SCCharts uses a new statechart nota= tion similar to Harel Statecharts [3] and provides deterministic concurrenc= y based on a synchronous model of computation (MoC), without restrictions c= ommon to previous synchronous MoCs like the Esterel constructive semantics = [2]. Specifically, we lift earlier limitations on sequential accesses= to shared variables, by leveraging the sequentially constructive MoC [4]. = Thus SCCharts in short are SyncCharts [5] syntax plus Sequentially Construc= tive semantics.
The key features of SCCharts are defined by a very small set of elements= , the Core SCCharts, consisting of state machines plus fork/join concurrenc= y.
Conversely, Extended SCCharts contain a rich set of advanced features, s=
uch as different abort types, signals, history transitions, etc., all of wh=
ich can be reduced via semantics preserving model-to-model (M2M) transforma=
tions into Core SCCharts. Extended SCCharts features are syntactic sugar be=
cause they can be expressed by a combination of Core SCCharts features.
=
On the one hand this eases the compilation and makes it more robust because=
it reduces its complexity. On the other hand, using Extended SCCharts feat=
ures, a modeler is able to abstract away complexity of his or her SCCharts =
model which increases robustness and readability of a model. This approach =
enables a simple yet efficient compilation strategy and aids verification a=
nd certification.
The KIELER SCCharts =
Product includes the SCCharts editor and compiler.=
Release 1.2.0
KIELER SCCharts Product v. 1.2.0 (2021-07-05, based on Eclipse 2021-06). Ava= ilable platforms:
Nightly Builds
KIELER App on Mac OS
After downloading KIELER, Mac OS quarantines the application and, f=
or some reason, considers the app broken and wants you to move it into the =
Trash.
Hence, if you want to use KIELER on your Mac, you have to remove =
the quarantine flag manually. You can use the following command:
xattr -= rc com.apple.quarantine ./Kieler.app=20
or
xattr -= rd com.apple.quarantine ./Kieler.app=20
depending on the Mac OS version