Connect, monitor and control your (embedded) systems remotely. m2m/IoT
Connect, monitor and control your systems or embedded devices remotely (m2m/IoT) - for example your Raspberry Pi. The communication interface is defined in XML automatically providing a REST interface. NexusDataLink integrates smoothly in existing software or firmware and significantly reduces connection- or communication-related source code.
...
- can be operated without a central station
- no complex binary protocols
- communications via multicast UDP messages
- decoders can advertise their capabilities via zeroconf/avahi/bonjour protocol.
- raspberry pi as one hardware platform
- tinkerforge IO bricklets for turnout and signal control
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.