A current limitation of the Esterel language for reactive-systems design is its lack of support for accessing databases. This talk presents the results of a summer student project which investigated a way of integrating databases and Esterel by providing an API for database use inside Esterel. A case study, involving a warehouse storage system built using Lego Mindstorms robotics kits, demonstrates the utility of the API. This system employs an Esterel-programmed robot whose task it is to collect various items from a customer's order and assemble them in one place. To do so, the robot accesses customer-order data and floor-plan data stored in a database.
@InProceedings{white_et_al:DagSemProc.04491.3, author = {White, David and Luettgen, Gerald}, title = {{Accessing Databases within Esterel}}, booktitle = {Synchronous Programming - SYNCHRON'04}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4491}, editor = {Stephen A. Edwards and Nicolas Halbwachs and Reinhard v. Hanxleden and Thomas Stauner}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.04491.3}, URN = {urn:nbn:de:0030-drops-1619}, doi = {10.4230/DagSemProc.04491.3}, annote = {Keywords: database esterel lego mindstorms} }
Feedback for Dagstuhl Publishing