SIGNAL (бағдарламалау тілі) - SIGNAL (programming language)

Сигнал Бұл бағдарламалау тілі синхрондалған негізінде деректер ағыны (ағындар + синхрондау): процесс - бұл мәліметтер мен басқаруды сипаттайтын қарапайым ағындардағы теңдеулер жиынтығы.[1]

Сигнал ресми модель сипаттауға мүмкіндік береді жүйелер бірге бірнеше сағаттар [2][3] (полихронды жүйелер) сияқты реляциялық сипаттамалар. Қатынастар ішінара сипаттамалар және сипаттамалар ретінде пайдалы детерминистік емес құрылғылар (мысалы, детерминистік емес) автобус ) немесе сыртқы процестер (мысалы, қауіпті көлік жүргізушісі).

SIGNAL пайдалану мүмкіндік береді көрсетіңіз[4] қосымшасы, жобалау үшін сәулет, егжей-тегжейлі компоненттерді нақтылау үшін RTOS[түсіндіру қажет ] немесе аппараттық сипаттама. SIGNAL моделі a жобалау әдістемесі қайдан шығады сипаттама дейін іске асыру, бастап абстракция дейін бетондау, бастап синхронизм дейін асинхрония.

SIGNAL негізінен INRIAЭспрессо командасы 1980 жылдардан бастап, ұқсас бағдарламалау тілдерімен бір уақытта, Эстерель және Жылтыр.

Қысқаша тарих

SIGNAL тілі алдымен арналған сигналдарды өңдеуге арналған қосымшалар 1980 жылдардың басында. Жаңа сұранысқа жауап беру ұсынылды доменге тән дизайны үшін тіл сигналдарды өңдеуге арналған қосымшалар, қабылдау деректер ағыны және блок-схема стилі массив және жылжымалы терезе операторлар. П.Ле Гернич, А.Бенвенисте және Т.Готье тілдің анықтамасымен айналысқан. SIGNAL туралы алғашқы жұмыс 1982 жылы жарық көрді, ал SIGNAL туралы алғашқы толық сипаттама Т.Готьедің кандидаттық диссертациясында пайда болды. SIGNAL-ді z / 3z арқылы символдық бейнелеу ([-1,0,1] -ден жоғары) 1986 жылы енгізілді. Буль сағаттарының иерархиясындағы сағат есебіне негізделген SIGNAL толық компиляторы Л.Беснард өзінің 1992 ж. Кандидаттық диссертация. Сағат есебін кейіннен арборесценттік канондық формалармен Т.Амагбегнон жетілдірді.

1990 жылдары SIGNAL тілінің қолданылу домені жалпы ендірілген және нақты уақыт жүйелерінде кеңейтілді. Қатынасқа бағытталған спецификация стилі жүйелердің құрылысын арттыруға мүмкіндік берді, сонымен қатар Esterel және Luster-тің бастапқы бір сағаттық енгізілімімен салыстырғанда көп сағаттық жүйелерді ескере отырып жобалауға мүмкіндік берді. Сонымен қатар, SIGNAL-да үлестірілген ендірілген жүйелерді жобалау және енгізу назарға алынды. Тиісті зерттеулерге Б.Черон ұсынған оңтайландыру әдістері, Б.Ле Гофф анықтаған кластерлеу модельдері, О.Маффей ресімдеген абстракция мен жеке компиляция және П.Аубри әзірлеген үлестірілген бағдарламалар кіреді.

Полихрония құралдар жиынтығы

Полихрония құралдар жиынтығы - бұл ашық көздерді дамыту SIGNAL негізіндегі сыни / ендірілген жүйелер үшін орта, a шынайы уақыт полихронды деректер ағыны тіл. Бұл бірыңғай қамтамасыз етеді модельге негізделген орта жоғарыдан төмен және көмегімен жобалық барлау жүргізу Төменнен жоғары қарай жобалау әдістемесі бастап модельдік түрлендірулермен ресми қолдау көрсетіледі сипаттама дейін іске асыру және бастап синхронизм асинхронияға. Оны қосуға болады гетерогенді әр түрлі енгізу формализмдері мен шығыс тілдері бар жобалау жүйелері

Полихрония - бұл мыналардан тұратын құралдар жиынтығы.

ШОБ ортасы

ШОБ (SIGNAL Meta under Eclipse) ортасы a алғы жақ полихрония Тұтылу қоршаған орта Модельді басқару (MDE) технологиялары. Ол Eclipse плагиндер жиынтығынан тұрады, олар Тұтылуды модельдеу шеңбері (ЭМӨ). Қоршаған орта ШОБ айналасында салынған, а метамодель [7] кеңейтілген SIGNAL тілінің автоматты режим [8] ұғымдар.

ШОБ ортасы сәйкес келетін бірнеше қосылатын модульдерден тұрады:

  • A рефлексивті редактор: а ағаш модельдерді манипуляциялауға мүмкіндік беретін көрініс ШОБ метамоделіне сәйкес келеді.
  • Негізіндегі графикалық модельдеуші TopCased модельдеу құралдары (алдыңғы сурет).
  • Компиляция сценарийлерін құруға арналған рефлексивті редактор және Eclipse көрінісі.
  • Полихрония қызметіне тікелей қосылу (жинақтау, ресми тексеру және т.б.).
  • A құжаттама және мысалдар.

Сондай-ақ қараңыз

Ескертпелер мен сілтемелер

  1. ^ П.Ле Гернич, Т.Готье, М.Ле Борнге және Ш.Мейер. SIGNAL көмегімен нақты уақыттағы қосымшаларды бағдарламалау. IEEE материалдары, 79(9): 1321-1336, қыркүйек 1991 ж.
  2. ^ П. Ле Герник, Дж. Талпин және Дж. Ле Ланн. Жүйені жобалауға арналған полихрония. Схемалар, жүйелер мен компьютерлерге арналған журнал, Қолданбаның арнайы жабдықтарын жобалау жөніндегі арнайы шығарылым, World Scientific, сәуір 2003 ж. (Сонымен қатар INRIA Research Report 4715, 2003 қол жетімді).
  3. ^ А.Гаматие және Т.Готье. Таратылған ендірілген жүйелерді жобалауға арналған SIGNAL синхронды көп сағаттық тәсіл. Параллельді және үлестірілген жүйелердегі IEEE транзакциялары, 21(5): 641-657, мамыр 2010 ж.
  4. ^ А.Гаматие. SIGNAL бағдарламалау тілімен ендірілген жүйелерді жобалау: синхронды, реактивті сипаттама. ISBN  978-1-4419-0940-4. Кітап редакторы Спрингер - Нью-Йорк, 260 бет, 2010 ж.
  5. ^ А.Бенвенисте, П.Бурнай, Т.Готье, М.Ле Борнге, П.Ле Герник және Х.Марчанд. Синхронды декларативті синхронды тіл: контроллер синтезі және жүйелері / архитектуралық дизайны. Шешімдер мен бақылау бойынша 40-шы IEEE конференциясы, 2001 ж.
  6. ^ Х. Марчанд, П.Бурнай, М. Ле Борн, П. Ле Герник, Сигналдық ортаға негізделген дискретті-оқиғалық контроллерлер синтезі, Дискретті оқиғалардың динамикалық жүйесі: теория және қолданбалар, 10 (4): 325-346, қазан 2000 ж.
  7. ^ Брюнетка, Дж. Талпин, А.Гаматие және Т.Готье. Полихронды жүйелерді жобалауға арналған метамодель. Логика және алгебралық бағдарламалау журналы, 78(4): 233-259, Эльзевье, сәуір, 2009 ж.
  8. ^ Дж. Талпин, Брунетта, Т. Готье және А. Гаматие. Полихронды режим автоматтары. Кіріктірілген бағдарламалық жасақтама бойынша 6-шы ACM & IEEE Халықаралық конференциясының материалдары (EMSOFT '06), ACM Press, қазан, 2006 ж., 83-92.

Сыртқы сілтемелер