ATS programing on Arduino 
Paper
Kiwamu Okabe and Hongwei Xi. Arduino programing of ML-style in ATS. ML workshop, 2015.
Application Design
Demo code
Greating on LCD display
Show greeting message on LCD display that is available at LinkSprite. The source code is found at demo/lcd_greeting/DATS/main.dats.
Examples on Book "Getting Started with Arduino"
This project includes ATS code for Book "Getting Started with Arduino".
The ATS code is found at following.
- Example 01: Blinking LED
- Example 02: Turn on LED while the button is pressed
- Example 03C: Turn on LED when the button is pressed
- Example 04: Fade an LED in and out like on a sleeping Apple computer
- Example 05: Turn on LED when the button is pressed. Brightness changes
- Example 06A: Blink LED at a rate specified by the value of the analogue input
- Example 06B: Set the brightness of LED to a brightness specified by the value of the analogue input
- Example 07: Send to the computer the values read from analogue input 0
Hardware: Arduino Uno
- CPU: ATmega328 (Atmel AVR 8-bit)
- Flash ROM: 32 kB
- SRAM: 2 kB
Also you could get compatible boards
Setup environment
Debian GNU/Linux
Install some packages.
$ sudo vi /etc/apt/preferences.d/avr
Package: avrdude
Pin: version 6.1*
Pin-Priority: 1001
$ sudo apt-get install binutils-avr gcc-avr avr-libc avrdude libgmp-dev
Mac OS X
Install gmp package.
$ brew install gmp
Install AVR toolchain http://www.obdev.at/products/crosspack/index.html, and set PATH env.
$ export PATH=$PATH:/usr/local/CrossPack-AVR/bin
$ which avr-gcc
/usr/local/CrossPack-AVR/bin/avr-gcc
Windows
Install following package on cygwin.
- git
- gcc-core
- libgc-devel
- libgmp-devel
- make
Install AVR toolchain http://winavr.sourceforge.net/.
T.B.D.
How to build
Install ATS2 http://www.ats-lang.org/.
$ tar xf ATS2-Postiats-X.Y.Z.tgz
$ export PATSHOME=`pwd`/ATS2-Postiats-X.Y.Z
$ export PATH=${PATSHOME}/bin:${PATH}
$ tar xf ATS2-Postiats-contrib-X.Y.Z.tgz
$ export PATSHOMERELOC=`pwd`/ATS2-Postiats-contrib-X.Y.Z
$ cd ${PATSHOME}
$ ./configure
$ make
Compile the ATS source code for Arduino.
$ cd arduino-ats/01_blink
$ make
$ file main.elf main.hex
main.elf: ELF 32-bit LSB executable, Atmel AVR 8-bit, version 1 (SYSV), statically linked, not stripped
main.hex: ASCII text, with CRLF line terminators
Write to the flash
Connect Arduino board to your PC using USB cable. And run following commands.
$ ls -l /dev/ttyACM0
crw-rw---- 1 root dialout 166, 0 May 8 15:59 /dev/ttyACM0
$ cd arduino-ats/blink_ats
$ make write
avrdude -c stk500v2 -p atmega2560 -b 115200 -P /dev/ttyACM0 -U flash:w:main.hex
avrdude: AVR device initialized and ready to accept instructions
Reading | ################################################## | 100% 0.01s
--snip--
avrdude: verifying ...
avrdude: 2850 bytes of flash verified
avrdude: safemode: Fuses OK (E:00, H:00, L:00)
avrdude done. Thank you.
How to debug using gdb
T.B.D.