dSL is a programming language used to program industrial controllers. Industrial controllers have a processing unit, a central memory, and an interface to the environment. With dSL, the environment can be anything from traffic lights to tunnel ventilation systems or assembly lines. Each such a controller can observe the environment through sensors, calculate a reaction to what it sees from the environment and gives feedback through its actuators. Sensors may be of any kind : temperature, presence detection, speed, ... while actuators can change valves, run engines, etc.
Keywords for this software
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Kalyon, Gabriel; Massart, Thierry; Meuter, Cédric; Van Begin, Laurent: Testing distributed systems through symbolic model checking (2007)
- De Wachter, Bram; Genon, Alexandre; Massart, Thierry: From static code distribution to more shrinkage for the multiterminal cut (2005)
- Wachter, Bram; Massart, Thierry; Meuter, Cédric: dSL: An environment with automatic code distribution for industrial control systems (2004)