AADL的代碼生成工具OCARINA的安裝和使用教程


OCARINA是法國ENST開發的AADL自動生成代碼工具,能夠將AADL模型自動生成POLYORB中間件及其上的C、ADA代碼。下面將詳細介紹OCARINA的安裝和使用方法。

一、Ocarina源碼安裝教程

1.安裝ada編譯器

因為ocarina是用Ada開發的,所以需要用Ada的編譯器才能運行。在安裝GCC的基礎上,還需要安裝gcc-gnat和GNAT.

Ocarina支持編譯器版本:gcc-gnat 4.4.0以上

            GNAT 2006以上,因此老系統(比如redhat9等)就不適用了

GNAT目前最新版本見http://libre.adacore.com/libre/

下載后tar壓縮,執行doinstall即可安裝。

而對於gcc-gnat一般還需要依賴包libgnat,在linux盤中可以找到(如果找不到,可以在rpmfind.net網站下載),先用rpm命令安裝libgnat后,再安裝gcc-gnat,到此編譯器安裝完成。

2.Ocarina的安裝

我下載的是ada源碼,所以源碼安裝一般都是先configure,再make,再make install。下面是詳細的命令(>是命令提示符,不需要輸入):

>tar -xzvf ocarina-2.0w-suite-src-20120203.tar.gz

>cd ocarina-2.0w

>./configure --enable-debug --prefix=/where/you/want/ocarina/to/install

>make

>make install

 

3.Ocarina的使用

#首先配置Ocarina的環境變量

>export PATH=$PATH:/where/you/intall/ocarina/bin

#使用Ocarina,將aadl文件轉換成代碼(必須在aadl文件目錄下進行)

>ocarina -g generator_name -f list_of_aadl_files 

 #generator_name是指Ocarina支持的三種中間件,可以是polyorb_hi_ada, polyorb_hi_c或pok-c

#-f后面可以有多個aadl文件,支持批量生成

4.Ocarina安裝過程中可能出現的問題

4.1./configure階段提示找不到ada編譯器

解決方案:在出現的信息中查找,哪個編譯器不存在,在rpmfind.net下載對應版本安裝

4.2../configure階段提示找不到C頭文件,即“What is the location of the directory of C header files that match your running kernel?”,這是當前kenel與kernel_devel版本不匹配,這種網上解決方案很多

二、Ocarina的二進制版本安裝

相比於源碼安裝,binary版本省略了編譯環節,也就省略了下載安裝編譯器的步驟,只需要解壓並進行簡單配置即可用。

>tar -xzvf ocarina-2.0w-suite-20120203.tar.gz

>cd ocarina-2.0w

>./configure --enable-debug --prefix=/where/you/want/ocarina/to/install
#下面這一步必須在aadl文件目錄下進行
>ocarina -g generator_name -f list_of_aadl_files 
 

 三、除此之外,官網還提供了eclipse版本和其它操作系統下的安裝文件,在此省略。


免責聲明!

本站轉載的文章為個人學習借鑒使用,本站對版權不負任何法律責任。如果侵犯了您的隱私權益,請聯系本站郵箱yoyou2525@163.com刪除。



 
粵ICP備18138465號   © 2018-2025 CODEPRJ.COM