Vážení studenti,
s většinou z vás už jsem mluvil o tom, že bych chtěl v příštím semestru
obnovit tradici "reading group" a aktivně vás do ní zapojit. Pro ty, se
kterými jsem nemluvil stručné shrnutí:
Jedná se o akci organizovanou každých 14 dní naší skupinou sedící
převážně v G203. Cílem je se nenásilnou formou seznamovat se
zajímavými výsledky práce jiných lidí. To se děje tak, že pro každé
sezení se vybere jeden článek z konference či odborného časopisu,
všichni si ho přečtou a jeden člověk připraví krátkou 20-30 min
prezentaci. Na setkání se článek odprezentuje a pak následuje diskuze,
kde se o článku bavíme, rozebíráme jeho klady a zápory, co by šlo
udělat lépe atd. Moje představa je, že témata článků budou zahrnovat
embedded systémy, jejich software, real-time aplikace, verifikace
softwaru apod. Je na každém, co si konkrétně vybere; určitě bude
vhodné, když výběr vašeho článku bude souviset s vaší diplomkou či
bakalářkou.
Další informace můžete najít na http://rtime.felk.cvut.cz/reading-group/.
První článek bych prezentoval já. Zajímá mě jak funguje analyzátor kódu
ASTREE, který používají v Airbusu a vybral jsem následující článek:
Why does ASTRÉE scale up?
Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, Xavier Rival, 2009
http://www.di.ens.fr/~cousot/publications.www/CousotEtAl-FMSD-v35n3pp229-26…
Zbývá jen domluvit, kdy bychom se scházeli. Navrhuji první reading group
udělat ještě ve zkouškovém a pak pokračovat pravidelně každých 14 dní.
Vyplňte tedy prosím na http://doodle.com/4uri52mbimbu4i4a, kdy by se vám
to hodilo.
Pokud máte jakékoli otázky či připomínky, dejte vědět a rád to s vámi
proberu.
S pozdravem
-Michal Sojka
