Date: Fri, 29 Mar 2024 13:23:51 +0000 (UTC) Message-ID: <1752513496.6511.1711718631393@2f9704fbf185> Subject: Exported From Confluence MIME-Version: 1.0 Content-Type: multipart/related; boundary="----=_Part_6510_437965109.1711718631393" ------=_Part_6510_437965109.1711718631393 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Content-Location: file:///C:/exported.html
Esterel-Studio is a IDE for Esterel . It con= tains a graphical interface to create Safe State Machines, an editor for Es= terel and several tools, e.g., for verification.
Our license for Esterel Studio is only valid inside the domain informati= k.uni-kiel.de. Therefore a client runnning Esterel Studio must have a perma= nent network connection inside that domain to be able to talk to the licens= e server. An independent home installation is not possible.
To start Esterel Studio just call
/home/esterel/bin/estudio
and the graphical modeling tool appears.
Observe that Esterel Studio uses Esterel V7.
The example project files delivered with Esterel Studio are located in= p>
/home/esterel/EsterelStudio/examples
They are organized in three hierarchies with different grades of complex= ity: "Basic", "Intermediate", and "Advanced":
/home/esterel/EsterelStudio/examples/Basic/Abro /home/esterel/EsterelStudio/examples/Basic/MooreMealy /home/esterel/EsterelStudio/examples/Basic/SimpleRam /home/esterel/EsterelStudio/examples/Intermediate/CRC /home/esterel/EsterelStudio/examples/Intermediate/Dopar /home/esterel/EsterelStudio/examples/Intermediate/Excel /home/esterel/EsterelStudio/examples/Intermediate/Fifo11 /home/esterel/EsterelStudio/examples/Intermediate/ReflexGame /home/esterel/EsterelStudio/examples/Intermediate/RegisterBank /home/esterel/EsterelStudio/examples/Advanced/Elevator /home/esterel/EsterelStudio/examples/Advanced/Fifo22 /home/esterel/EsterelStudio/examples/Advanced/Wristwatch
To try them out, copy a projects directory into a working directory of y= ours and start Esterel Studio:
mkdir abro cd abro cp -r /home/esterel/EsterelStudio/examples/Basic/Abro/* . /home/esterel/bin/estudio abro.etp &
There are two example directories prepared for use as templates for your= own projects:
Native compila= tion and execution on the host (Unix/Linux) architecture. o Makefile: Input file for the make command. o ABRO.etp: Project file for Esterel Studio. o ABRO.scg: SyncChart file containing the ABRO machine. o ABRO.h: C header file with interface declarations. o ABRO_data.c: C code with functions for signal interfacing an= d keyboard control.=20
Crosscomp= ilation for the LEGO Mindstorms system with the alternative operating syste= m legOS. o Makefile: Input file for the make command. o ABRO.etp: Project file for Esterel Studio. o ABRO.scg: SyncChart file containing the ABRO machine. o ABRO.h: C header file with interface declarations. o ABRO_data.c: C code with functions for data processing and l= egOS calls.=20
The compilation of a project into textual Esterel and C code is started = by
Project->Generate Code
The code for the former ABRO example is placed in the following director= ies (relative to the working directory):
Default/Code/Temp/ABRO.strl Default/Code/ABRO_strl.h Default/Code/ABRO.c
It is possible to perform this task on the command line without startup = of the full graphical interface:
/home/esterel/bin/estudio --embedded ABRO.etp
To compile the resulting Esterel file into C code execute:
/home/esterel/bin/esterel7 -v7 -Lc -W Default/Code/Temp/ABRO.strl
To Generate VHDL create a new "Configuration" with a handy name like "VH= DL" and choose "VHDL" as "Target Language". Follow the Compilation= steps.
Notes:
The Makefile in /home/esterel/estudio/example compiles esterel programs = for the Unix-Target.
The following targets are available (replace ABRO with the base name of = your project):
The Makefile in /home/esterel/estudio/example-legOS compiles esterel pro= grams for the legOS-Target. It is similar to the one for Unix with some add= itional targets for kernel and program upload into the RCX.
The following targets are available (replace ABRO-rcx with the base name= of your project):
Several documents are available: Manuals for EsterelStudio and textual E= sterel. For copyright reasons we can not provide HTTP links to these files.= Therefore they are only locally available in the directory /home/esterel/E= sterelStudio/doc.
Further information can be found at [www.esterel-technolgies= .de Esterel Technologies].
To animate a Safe State Machine while the program is executed, the esi f= ile format can be used.