Difference between revisions of "Declarative programming with MansOS"
(New page: = Overview = SeAdScript (Sensor Application Development Script) is a declarative aplication specification langauge. SeAdScript code is stored in files with the extension .sl. Source fil...) |
|||
Line 1: | Line 1: | ||
= Overview = |
= Overview = |
||
SeAdScript (Sensor Application Development Script) is a declarative |
SeAdScript (Sensor Application Development Script) is a declarative application specification language. |
||
SeAdScript code is stored in files with the extension .sl. |
SeAdScript code is stored in files with the extension .sl. |
||
Line 9: | Line 9: | ||
* statements describing actuators and other active agents (<code>use</code>), such as LEDs or debug output agents (<code>use Print</code>) |
* statements describing actuators and other active agents (<code>use</code>), such as LEDs or debug output agents (<code>use Print</code>) |
||
* statements describing sensors (<code>read</code>), such as temperature, voltage or light sensors |
* statements describing sensors (<code>read</code>), such as temperature, voltage or light sensors |
||
* <code>when</code> |
* <code>when</code> statements - code block that start with a conditional expressions and in turn can contain blocks of other statements |
||
* statements describing where the output of the system should go (<code>sendto</code>), such as serial port, radio, or network protocols |
* statements describing where the output of the system should go (<code>sendto</code>), such as serial port, radio, or network protocols |
||
Each of the <code>use</code>, <code>read</code>, and <code>sendto</code> statements has the following syntax: |
Each of the <code>use</code>, <code>read</code>, and <code>sendto</code> statements has the following syntax: |
||
<statement> <name>, <parameterN> [<parameter1 value>], <parameter2> [<parameter2 value>], ..., <parameter1> [<parameterN value>]; |
<statement> <name>, <parameterN> [<parameter1 value>], <parameter2> [<parameter2 value>], ..., <parameter1> [<parameterN value>]; |
||
For <code>sendto</code> statements, a list of packet fields can also be specified. |
For <code>sendto</code> statements, a list of packet fields can also be specified. |
||
Line 115: | Line 115: | ||
sendto Serial, baudrate 38400; |
sendto Serial, baudrate 38400; |
||
Examples for syntactic sugar for conditions. Base case syntax: |
|||
Basic syntax: |
|||
when System.time < 5s: |
when System.time < 5s: |
||
use BlueLed, period 100ms; |
use BlueLed, period 100ms; |
Revision as of 15:02, 29 November 2011
Contents
Overview
SeAdScript (Sensor Application Development Script) is a declarative application specification language.
SeAdScript code is stored in files with the extension .sl.
Source file can contain the following kind of statements:
- statements describing systems parameters (
parameter
), such as the routing protocol used or system's energy budget - statements describing actuators and other active agents (
use
), such as LEDs or debug output agents (use Print
) - statements describing sensors (
read
), such as temperature, voltage or light sensors when
statements - code block that start with a conditional expressions and in turn can contain blocks of other statements- statements describing where the output of the system should go (
sendto
), such as serial port, radio, or network protocols
Each of the use
, read
, and sendto
statements has the following syntax:
<statement> <name>, <parameterN> [<parameter1 value>], <parameter2> [<parameter2 value>], ..., <parameter1> [<parameterN value>];
For sendto
statements, a list of packet fields can also be specified.
SeAdScript supports C-style comments. Comments start with double slash ("//") and last until the end of the line.
The language at the moment is case partially-sensitive - i.e. all keywords must be in small case, while identifiers are not case sensitive.
Actuators
Specified with the use
keyword.
Examples:
- Led
- RedLed
- GreenLed
- BlueLed
- Print (NOT SUPPORTED YET!)
Parameters:
- period - toggle period
- on_time - time when turned on, seconds after system's start
- off_time - time when turned off, seconds after system's start
- blink, blinkTwice, blinkTimes <n> - for LEDs
Sensors
Specified with the read
keyword.
Examples:
- Light
- Humidity
- Temperature (NOT SUPPORTED YET!)
- InternalVoltage (NOT SUPPORTED YET!)
- InternalTemperature (NOT SUPPORTED YET!)
- ADC channels (NOT SUPPORTED YET!)
Parameters:
- period - read period
Outputs
Specified with the sendto
keyword.
Examples:
- Serial port (USB)
- Radio
- MAC protocol
- Network socket
Parameters:
- aggregate - whether to send all in one packet or each value individually
- baudrate - serial port baudrate, by default 38400
- crc - whether to add checksum for packets, by default on for radio
Specifying individual fields
The following syntax is supported: sendto <name> {field1, field2, ..., fieldWithConstantValue1 value1, fieldWithConstantValue2 value2, ...}, <parameter1> [<parameter1 value>], ..., <parameterN> [<parameterN value>];
In this case, not all sensors in the system are included in the packet, but only the ones specified in the field list. Each name of non constant-valued field must correspond to a sensor active on the system.
Also, if any fields with value are specified, then all packets are going to contain these fields and have them filled with the value specified.
Conditions (NOT SUPPORTED YET!)
Syntax:
when <condition>: statement1; statement2; elsewhen <condition>: statement1; statement2; end
Condition:
- System.time - time elapsed
- System.RTC - clock time, requires real time clock present on the mote
- System.isDaytime - whether the current time is in day, real time clock present on the mote
- MAC.isBaseStationNearby - whether as base station is reachable via radio
Code examples
Blink with some extras:
use RedLed, period 1s, on_at 1500ms, off_at 4500ms;
Conditional blink of all three leds:
// blink red led periodically use RedLed, period 1000ms; // blink green led; faster at the start when System.time < 5s: use GreenLed, period 100ms; else: use GreenLed, period 1000ms; // turn on blue led once the program has started use BlueLed, on_at 2000ms;
Light sensor reading:
read Light, period 2s; sendto Serial, baudrate 38400;
Examples for syntactic sugar for conditions. Base case syntax:
when System.time < 5s: use BlueLed, period 100ms; end
One-liner:
when System.time < 5s: use BlueLed, period 100ms;
Another one-liner:
use BlueLed, period 100ms, when System.time < 5s;
Else-when syntax:
when System.time < 2s: use BlueLed, period 100ms; use RedLed, period 200ms; elsewhen System.time < 6s: use BlueLed, period 500ms; use RedLed, period 1000ms; else: use BlueLed, period 2000ms; use RedLed, period 3000ms; end
Just turn on a led when a constant condition is true:
when 1 < 2 use BlueLed, turn_on;
A larger example:
// do nothing, just declare that red LED will be used in the program use RedLed; // red led is on when system starts use RedLed, turn_on; // red led is turned off when a condition is fullfilled // (conditions are checked in the main loop at least once per minute) use RedLed, turn_off, when 1 < 2; // blue led is always on in daytime when System.isDaytime: use BlueLed, turn_on; // blue led blinks periodically in night when System.isDaytime = false: use BlueLed, period 1000; // alternatively: when System.isDaytime: use BlueLed, turn_on; else: use BlueLed, period 1000; end // compilation error // when System.isDaytime = false use BlueLed, period 2000; // blink one time on radio rx use GreenLed, blinkOnce, when System.radioRx; // blink two times on radio rx error use GreenLed, blinkTwice, when System.radioRxError; // blink three times on radio tx use GreenLed, blinkTimes 3, when System.radioTx; // during daytime also read sensors when System.isDaytime read Light, period 2s; read Humidity, period 2s; end // send data to serial sendto Serial; // also send data to radio sendto Radio;
Another larger example:
// define system parameters parameter battery 2700mAh; parameter routingProtocol GPSR; // blink red led periodically use RedLed, period 1000ms; // turn green led on once the program has started use GreenLed, on_at 2000ms; // blink blue led; faster at the start when System.time < 5s: use BlueLed, period 100ms; else: use BlueLed, period 1000ms; end // read onboard light sensor once every 10 seconds read Light, period 10s; // read a specific sensor once every 10 seconds read APDS9300, period 10s; // define a constant time value const PERIOD 10s; read Humidity, period PERIOD; // by default, output all data read to serial port; the baudrate is 38400 by default, but specify it explicitly sink Serial, baudrate 38400; // also output to radio (aggregate=yes means put all data in one packet; by default on for radio, off for serial port) sink Radio, aggregate yes; // also output to MAC protocol, but only when a base station is detected nearby sink MAC, protocol CSMA, when MAC.baseStationIsReachable; // also output to higher level network-stack sink NetworkSocket, port 100; // save light sensor values (but not humidity sensor!) to flash in case battery voltage is above 2.7V sink Flash {Light, APDS9300}, when System.voltage > 2.7V;