JACoW logo

Journals of Accelerator Conferences Website (JACoW)

JACoW is a publisher in Geneva, Switzerland that publishes the proceedings of accelerator conferences held around the world by an international collaboration of editors.


RIS citation export for S15CSE02: Automation from Pictures: Producting Real Time Code from a State Transition Diagram

TY  - CONF
AU  - Kozubal, A.J.
ED  - Pak, Cheol-on
ED  - Kurokawa, Shin-ichi
ED  - Katoh, Tadahiko
ED  - Furukawa, Kazuro
ED  - Schaa, Volker RW
TI  - Automation from Pictures: Producting Real Time Code from a State Transition Diagram
J2  - Proc. of ICALEPCS1991, Tsukuba, Japan, 11-15 November 1991
CY  - Tsukuba, Japan
T2  - International Conference on Accelerator and Large Experimental Physics Control Systems
T3  - 3
LA  - english
AB  - The state transition diagram (STD) model has been helpful in the design of real time software, especially with the emergence of graphical computer aided software engineering (CASE) tools. Nevertheless, the translation of the STD to real time code has in the past been primarily a manual task. At Los Alamos we have automated this process. The designer constructs the STD using a CASE tool (Cadre Teamwork) using a special notation for events and actions. A translator converts the STD into an intermediate state notation language (SNL), and this SNL is compiled directly into C code (a state program). Execution of the state program is driven by external events, allowing multiple state programs to effectively share the resources of the host processor. Since the design and the code are tightly integrated through the CASE tool, the design and code never diverge, and we avoid design obsolescence. Furthermore, the CASE tool automates the production of formal technical documents from the graphic description encapsulated by the CASE tool.
PB  - JACoW Publishing
CP  - Geneva, Switzerland
SP  - 535
EP  - 537
KW  - controls
KW  - database
KW  - real-time
KW  - interface
KW  - software
DA  - 1992/12
PY  - 1992
SN  - 2226-0358
SN  - 978-3-95450-254-7
DO  - doi:10.18429/JACoW-ICALEPCS1991-S15CSE02
UR  - https://jacow.org/icalepcs1991/papers/s15cse02.pdf
ER  -