ada在单片机的运用

关于Ada:Ada语言最早是针对嵌入式和实时系统设计的，并且在今天依然在这方面使用广泛。Ada95版，是由INTERMETRICS公司的塔克·塔夫特于92到95年间设计的，当时主要是希望改进对于 系统，数字，财务软件编程的支持。

Ada语言的重要特征就是其嵌入式风格，模块化设计，编译检查，平行处理，异常处理及泛型编程。Ada在95年加入了对面向对象设计的支持，包括动态分配等。

Ada的编译检查主要是针对没有分配的内存读写的保护，堆栈溢出错误，单个错误空闲，队列读写错误以及其他可以避免的小问题。这些检查可以在为增加效率的情况下被取消，但是在编译的时候他们却能带来很高的效率。同样它也包括对程序的严正的设置。因为这些原因，它被广泛应用于一些非常重要的系统中，例如航空电子学，武器及航天飞行器的操作系统中。

同样它支持很多的编译时间检查，这些检查被用来避免一些错误的发生。这种错误往往是在其他语言中在运行以前都不能被察觉到的，需要在源码中加入特殊的检查设置才能被发现。

Ada的动态内存管理非常安全和高规格，它类似于JAVA语言却不同于C语言的。这种特殊功能并不需要特殊的运行设置。尽管这种语言的语意结构允许对于不能读写的目标进行自动的碎片搜集，但是大多数运行都不支持它。Ada却支持有限形式基于区域的存储管理。无效的读写常在运行时候被检查出来（除非这种检测被人为关闭）并且有时候在编译时候就被发现。

Ada语言的定义同国际标准化组织（ISO）的标准有很大不同，因为他是一个自由内容形式的。这种做法的后果是被广大程序员只能从它的标准化文档（普遍认为是Ada的参考使用手册（ARM））寻找细节性的技术问题，但是普遍情况是一本标准教科书却可以在其他不同语言上使用。

Ada语言由严格的巴斯特范式定义,但是不适合一般人阅读.它是第一种同时拥有IEC/ISO/美国军用标准认证的语言.其编译器经过严格的审查,以确保同样的代码在任一编译器上产生同样的可执行效果.并且保证并行性在代码级可以在无操作系统下同样运行。

关于AVR:

Atmel AVR系列是一种基于哈佛结构、精简指令集（Reduced Instruction Set Computing， RISC）的微控制器，由Atmel公司于1996年研发。AVR系列是首次采用闪存（Flash Memory）作为数据存储介质的单芯片微控制器之一。

同时AVR不仅可以用C、汇编，在GCC的强力下，也支持C++、Python、Java、ADA等。

关于我的板子：

机电实验室的51开发板+AVR最小系统(Atmega16)。

关于开发环境：

WIN7+Emacs+Cygwin+Mingw+Win-AVR+AVR-ADA+USBAsp

我的Emacs的配置，

1、cd 到你的文件夹(比如，C:\Users\gmszone)

2、如果安装有git的话：

    git clone https://github.com/gmszone/Phodal-emacs.git

  其它的：

    打开迅雷下载：https://nodeload.github.com/gmszone/Phodal-emacs/zipball/master

3、复制出.emacs到个人文件夹

Win-AVR下载地址:

http://sourceforge.net/projects/winavr/files/

AVR-ADA下载地址：

http://sourceforge.net/projects/avr-ada/files/

OK：


流水灯，，，，核心代码如下，

1. with Interfaces;                   use Interfaces;
   
2. with AVR;                          use AVR;
   
3. with AVR.MCU;
   
4. with AVR.Interrupts;
   
5. with AVR.Timer0;
   
6. with AVR.Wait;
   
7. 
   
8. package body Walking_LED is
   
9. 
   
10.    --
    
11.    --  constant definitions
    
12.    --
    
13.    XTAL        : constant := 12_000_000;  -- Crystal frequency in Hz
    
14.    Timer_Clock : constant :=         2;  -- LED flashing frequency in 1Hz
    
15. 
    
16.    Count_Cmp   : constant := XTAL / 1024 / 256 / Timer_Clock - 1;
    
17. 
    
18. 
    
19.    --
    
20.    -- use volatile if variable is accessed from interrupts and in the
    
21.    -- main program.  No volatile if accessed in interrupt only.
    
22.    LED : Unsigned_8;
    
23. 
    
24.    Count : Unsigned_8;
    
25. 
    
26. 
    
27.    procedure Sig_Compare;
    
28.    pragma Machine_Attribute (Entity         => SIG_Compare,
    
29.                              Attribute_Name => "signal");
    
30.    pragma Export (C, Sig_Compare, Timer0.Signal_Compare);
    
31. 
    
32.    procedure Wait_1ms is new
    
33.      AVR.Wait.Generic_Wait_Usecs(Crystal_Hertz=>8_000_000,
    
34.                                  Micro_Seconds=>1000);
    
35.    
    
36.    procedure Wait_Long is
    
37.    begin
    
38.       --delay 0.8;
    
39.       for J in 1..80 loop
    
40.            Wait_1ms;
    
41.       end loop;
    
42.    end Wait_Long;
    
43.    
    
44.    procedure Sig_Compare is
    
45.    begin
    
46.       Count := Count + 1;
    
47. 
    
48.       if Count > Count_Cmp then
    
49.          -- invert the output since a zero means: LED on
    
50.          MCU.PORTA := not LED;
    
51. 
    
52.          -- move to next LED
    
53.          LED := Rotate_Left (LED, 1);
    
54. 
    
55.          Count := 0;
    
56.       end if;
    
57.    end Sig_Compare;
    
58. 
    
59. 
    
60.    procedure Main is
    
61.    begin
    
62.       -- use all pins on PortB for output
    
63.       MCU.DDRA_Bits := (others => DD_Output);
    
64.       -- and turn off all LEDs
    
65.       MCU.PORTA := 16#FE#;
    
66.       
    
67.       for I in 1..8 loop
    
68.          Wait_Long;
    
69.          MCU.PORTA:=Rotate_Left(MCU.PORTA,1);
    
70.       end loop;
    
71.       
    
72.       -- use CLK/1024 prescale value, clear timer/counter on compareA match
    
73.       Timer0.Init_CTC (Prescaler => Timer0.Scale_By_1024);
    
74. 
    
75.       -- enable Output Compare 1 overflow interrupt
    
76.       Timer0.Enable_Interrupt_Compare;
    
77. 
    
78.       -- init variable representing the LED state
    
79.       LED := 1;
    
80. 
    
81.       -- generally enable interrupts
    
82.       AVR.Interrupts.Enable;
    
83. 
    
84.       -- loop forever
    
85.       loop null; end loop;
    
86.    end Main;
    
87. 
    
88. end Walking_Led;
    

复制代码

详细代码见附件：

烧录到AVR单片机上：
1、敲入make，编译
2、敲入make program,烧录
      如果用的不是USBAsp只需，修改Makefile


(PS:ADA的书——详情请去图书馆负一层
       还有一本详细的AVR-GCC的书——《AVR-GCC与AVR单片机C语言开发》）