Back to site
index
Source: http://beru.univ-brest.fr/~singhoff/cheddar/

Праект чеддер: бясплатны аналізатар рэальнага планавання часу



Ангельская версія Version Française




Што такое чеддер?


Чеддер з'яўляецца свабодным рэальны інструмент планавання часу. Чеддер прызначаны для праверкі задачай часовых абмежаванняў у рэальным часе прыкладанняў / сістэмы. Сістэмы для аналізу могуць быць апісаны з AADL або з чеддер пэўным мове. З яго дапамогай можна хутка прататыпаў рэальных пляніроўнікі часу. Яна таксама можа быць выкарыстана ў адукацыйных мэтах. Чеддер распрацаваны і maintened ад каманды LISyC, Універсітэт Брэсце.

Чеддер належыць на Ocarina забяспечыць schedulability аналіз AADL мадэляў. Каманда S3/Télécom-Paris-Tech, які развіваецца Ocarinan, таксама выкарыстоўвае чеддер аналізатар для розных даследчых праектаў, і некаторыя Падручнік / лабараторыях. Дзве каманды супрацоўнічаюць у распрацоўцы інструментаў AADL распрацоўкі праграмнага забеспячэння. Гл. раздзел "Прыклад выкарыстання" падзел для атрымання дадатковай інфармацыі.

Чеддер можа быць запушчана як стаяў ці як TOPCASED убудова. Сумяшчальнасці стаялі / TOPCASED / чеддер кіруецца П'ер Dissaux (Ellidiss тэхналогій). Каманда чеддер і Ellidiss тэхналогіі таксама даследаваць, як чеддер можа эфектыўна аналізаваць AADL мадэлі, пабудаваныя з стаялі. Існуе партнёрства паміж камандай чеддер і Ellidiss тэхналогій: Ellidiss тэхналогій забяспечвае падтрымку прамысловых чеддер, удзельнічае ў набор інструментаў тэхнічнага абслугоўвання і падтрымлівае LISyC Team.

Наш сапраўдны сімулятар планавання часу складаецца з двух незалежных частак: графічны рэдактар, які выкарыстоўваецца для апісання рэальнага часу прыкладанняў / сістэмы і базы, якая ўключае ў сябе большасць класічных рэжыме рэальнага часу планаванне / мэтазгоднасці algotithms / тэстаў.

Чеддер напісана на Ада. Графічны рэдактар вырабляецца з GtkAda. Чеддер працуе на Solaris, Linux і win32 скрынкі і павінен працаваць на кожным GNAT / GtkAda падтрымоўваных платформаў ( гл. AdaCore вэб-сайт для падрабязнасцяў).

Чеддер мае два віды функцый: рухавік мадэлявання і тэхніка-эканамічных выпрабаванняў. Тэхніка-эканамічнае тэсты дазваляюць карыстачу вывучаць у рэальным часе прыкладанняў / сістэмы без вылічэнні планавання. У Наадварот, мадэляванне рухавік можа быць выкарыстаны па-першае, вылічальная планавання і, па-другое, аўтаматычна шукае абмежаванне задачы ўласцівасці ў планаванні вылічаюцца. Вялікую частку часу, тэхніка-эканамічныя тэсты менш складаныя прылады, але яны даступныя толькі для некалькіх пляніроўнікі задач і мадэляў. Каб вырашыць гэтую праблему, рухавік чеддер мадэлявання падае прылады для распрацоўкі канкрэтных пляніроўнікі і задачы мадэлі: сістэма затым аналізуюцца ў адпаведнасці з дадзенай планавання.

Для кожнага выніку аналізу, чеддер дае назву прымяняецца раўнанне і звязаных публікацыі. Глядзіце публікацый тэму гэтую вэб-старонку, каб атрымаць гэтыя выданні.


Асноўныя функцыі, якія прадстаўляюцца чеддер затым:



На малюнку ніжэй прадстаўлены скрыншот чеддер: у верхняй частцы фатаграфіі, расклад складаецца ў адпаведнасці з планавальнікам кожнага працэсара. На дне, нейкую задачу інфармацыя (час адказу, невыкананне ўстаноўленых тэрмінаў, каэфіцыент выкарыстання працэсара,...).


Навіны




Спампаваць чеддер



- Спампаваць чеддер файлы (бягучая версія чеддер-2.1, дата выпуску: Jully 1-й, 2008):

Чеддер з'яўляецца свабодным праграмным забеспячэннем, якое распаўсюджваецца па ліцэнзіі GNU General.
Вы можаце атрымаць бягучы стабільны зыходны код чеддер тут.

Папярэднія выпускі можна знайсці тут. Глядзіце ChangesLog.pdf файл мець гісторыю змяненняў. Размовы REQUESTED_FEATURES.pdf змяшчае новыя функцыі, неабходныя карыстачам і якія будуць рэалізаваны дын наступных рэлізах.

Вы таксама можаце атрымаць доступ да SVN-рэпазітар з чеддер. Калі ласка, звяжыцеся з намі, каб атрымаць уліковы запіс на гэтым рэпазітары SVN.





Устанавіць чеддер

1) пратэставаных платформаў:

Чеддер працуе на:


2) Што вам трэба?

На вокнах скрыні, дастаткова распакаваць ZIP файл. Для ўсталёўкі чеддер на Unix скрынь, вы павінны зрабіць GNU каманду (gmake).

Усё неабходнае праграмнае забеспячэнне выкарыстоўваецца для кампіляцыі ці ўсталяваць чеддер можна знайсці тут.

3) Асноўныя Unix Працэс усталёўкі:

Для Unix, самы просты спосаб устаноўкі гэтай праграмы:

  1. Змяніць Makefile, каб даць імя каталога, у якім чеддер павінен быць усталяваны. Для гэтага абнаўлення CHEDDAR_ROOT зменнай. Калі вы не зменіце CHEDDAR_ROOT, чеддер будзе ўсталяваны ў / USR / мясцовыя
  2. Набярыце `gmake ', каб усталяваць пакет.
  3. Абнаўленне PATH і LD_LIBRARY_PATH зменныя (гл. HOWTO_INSTALL.txt файл для больш падрабязнай інфармацыі).
  4. Гуляйце і атрымлівайце задавальненне.




Апошні патч

Існуе н.у.к. патч ў цяперашні час распаўсюджваюцца...
Глядзіце FIXED_BUGS.pdf файл мець падрабязны спіс выпраўленых памылак. Спіс памылак павінна быць усталяваная можна прачытаць тут (файл BUGS_TO_FIX.pdf).


Незавершанае вытворчасць


Мы выпусцім новую версію чеддер на верасень / лістападзе 2007 года з наступнымі характарыстыкамі:
  1. Працягвайце павялічваць частка чеддер аўтаматычна генеруецца з сваёй мадэлі / мета-мадэль з качканоса. Гэтая праца павінна павялічыцца чеддер effiency і модульнасці.
  2. Паляпшэнне Іерархічная падтрымка пляніроўнікі.
  3. Паляпшэнне карыстацкага планавальнік паслуг.
  4. Абнаўленне графічнага рэдактара для таго, каб ўлічыць GtkAda 2,10
  5. Паляпшэнне планавання паведамленне з:
    • Адбой для завяршэння часу водгуку з паведамленнем планавання.
    • Дазвол адпраўкі паведамлення ў любы час задача магутнасці
    • Прадастаўленне спосаб вызначаюцца карыстальнікам адсутнасці сувязі паведамленне заданнем пэўны карыстальнікам паведамленне планавання (як вызначаныя карыстачом раскладзе)
  6. Забяспечыць глабальны аналіз памяці (стэка задачы, тэкст / сегментаў дадзеных...)

Спіс адрасатаў

Чеддер карыстачы і распрацоўнікі могуць абменьвацца інфармацыяй з рассылання па запрашэнні Універсітэта Брэсце.
Каб адправіць паведамленне ў спіс, адпраўце па электроннай пошце cheddar@listes.univ-brest.fr. Папярэджанне: гэта прыватныя спіс рассылкі (да паведамлення на гэтым спіс рассылкі, вы павінны быць падпісаны).


Каб падпісацца на спіс: адправіць запыт на sympa@listes.univ-brest.fr з наступным тэкстам у целе:

ПАДПІСКА чеддер foo@bar.com

дзе foo@bar.com з'яўляецца запыт.


Для адмовы ад падпіскі спіс: адправіць запыт на sympa@listes.univ-brest.fr з наступным тэкстам у целе:

SIGNOFF чеддер




Дакументы і публікацыі

Самае галоўнае чеддер публікацый:



Прыклады выкарыстання: прымяненне аналізу, навучальныя матэрыялы і ўклады ад карыстачоў чеддер ў

Мы распаўсюджваем чеддер з наборам AADL і XML прыклады. Але гэты падзел таксама ўтрымлівае набор узносаў ад карыстачоў чеддер у:



Аўтараў, удзельнікаў, і спонсары


Гэтая праграма ў асноўным распрацавана і maintened Алёна Plantec, П'ер Dissaux, Стэфан Рубіні, Жэром Legrand і Фрэнк Singhoff.

Праект фінансуецца Ellidiss тэхналогій і Conseil régional дэ Брэтань.

Праект чеддер было пачата ў 2002 годзе каманды LISyC, Універсітэт Брэсце. З 2008 года Ellidiss тэхналогій таксама спрыяе развіццю чеддер і дае прамысловым падтрымкі.

Наступныя людзі таксама ўнеслі ўклад у праект: М. Ауэр, С. Bothorel, М. Баерт, Ф. Charlet, Н. Chauvin, Р. Couillet, В. Cuiec, С. Demurget, С. Edzang, Р. Frin, H. Ihamouten, Д. Geffroy, М. Gning, В. Guillo, С. Херри, Т. Huertas, Дж. Гуга, А. Huopana, Х. Lapinoja, Г. Ларан, А. Ле бот, Г. Марцін, L. Moal, Л. Марэн, К. Mouden, П. Normand, М. Ніва, Г. Аліва, Р. Прэво, Д. Saulnier, М. Штраўса, Э. Томас, Н. Вене, Э. Vilain і Б. Zalila.

Дзякуючы людзям, якія даслалі нам паведамленні аб памылцы і / або саветаў: Б. Барон, П. Мюлер, Х. Боннин, Т. Рэн, Браян К. М. Hoogland, В. Hugel, Дж. Stemerdink, Т. Vergnaud, F. Радрыгес дэ ла Роча, Г. Ларан, В. Hugel, К. Валле Су Маладыя Лі, Вонг П. і М. Zanconi.

Дзякуючы людзям, што мы забыліся...




Чеддер распрацоўнік праграмнага забеспячэння працоўнага месца: для атрымання інструкцыі кампіляцыі, каб паведаміць памылак, каб атрымаць дакументацыю для распрацоўнікаў...



Для робяць паведамленні пра памылку, выбарка інструкцыі кампіляцыі і распрацоўшчыкам дакументацыі, праца месцы для чеддер распрацоўнікаў праграмнага забеспячэння ў гэтай вікі.

Вы можаце таксама паведаміць памылак і новыя выпрабаванні платформы для cheddar@listes.univ-brest.fr (Папярэджанне:. Гэта асабістае спіс рассылкі Каб адправіць паведамленне, вам неабходна падпісацца на рассылку першым).











Кантакты: Фрэнк Singhoff MAILTO: singhoff@univ-brest.fr
Апошняе абнаўленне: Верасень 2010
Popular Links
Published (Last edited): Jul 28 , source: http://beru.univ-brest.fr/~singhoff/cheddar/
index