29. DASC konferencia Salt Lake Cityben

A 2010. október 3. és 7. között Salt Lake City (USA) megrendezett  29th AIAA & IEEE Digital Avionics Systems Conference (DASC) konferencián a csoport kutatási eredményeit mutatta be Horváth Ákos tudományos munkatárs, aki az ARINC 653 szabványnak megfelelő repülőgépeken használt valós idejű operációs rendszerekhez történő konfigurációs fájlok modell alapú generálásával foglalkozott a DIANA projekt keretében.

 

ICGT10 konferencia Enschedeben

Hegedüs Ábel és Ujhelyi Zoltán doktoranduszok, valamint Varró Dániel, egyetemi docens részt vettek a 5th International Conference on Graph Transformations konferencián 2010. szeptember 27 - október 1. között Enschedeben (Hollandia). Tovább »

Nikolas Nehmer: Enforcing consistency in the presence of exceptions

Okt.1-én (pénteken) 13:00-kor az I.L. 405.-ben Nikolas Nehmer (TU Kaiserslautern) "Enforcing consistency in the presence of exceptions" címmel előadást tart. Tovább »

SEFM 2010 konferencia Pisaban

A 2010. szeptember 13. és 16. között Pisaban (Olaszország) megrendezett  8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) konferencián a csoport kutatási eredményeivel szerepelt Hegedüs Ábel doktorandusz, aki a szimulációs utak modelltranszformáció alapú visszavetítésének kihívásait vizsgálta. A prezentáció mellett poszterrel és eszköz demonstrációval is részt vett a csoport a konferencián.

ERCIM/DECOS/MOGENTES workshop Bécsben

 2010. szeptember 14-én a SAFECOMP 2010 konferencia keretében kerültek bemutatásra a MOGENTES projekt eredményei. Az ERCIM/DECOS/MOGENTES workshopon Polgár Balázs és Kövi András adtak elő a BME-n elért eredményekről: a Mogentes tool integrációs platformjáról és a kvalitatív hibamodellezésről. Tovább »

GRABATS 2010 nemzetközi workshop

2010. szeptember 28-án, a hollandiai Enschede-ben kerül megrendezésre Varró Dániel társszervezésében a GRABATS 2010 (4th International Workshop on Graph Based Tools) nemzetközi workshop. A workshopon bemutatásra kerül Hegedüs Ábel, Ujhelyi Zoltán, Horváth Ákos és Ráth István "Visualization of Traceability Models with Domain-specific Layouting" című cikke is.

 

e-Freight meeting (Roosendaal, Hollandia)

Az e-Freight projekt WP1 (Work Package) keretein belül a projekt érintett partnerei találkoztak Roosendaalban, Hollandiában, hogy a BC3 - Road Transport Business Case business case követelményeit megvitassák. Ebben a business case-ben a Jan de Rijk Logistics és a PTV partnerek segítségével demonstráljuk a projekt hasznosságát a közúti szállítmányozásban. A csoport részéről Kövi András vett részt a megbeszélésen. Tovább »

Tanévnyitó tanszéki értekezlet

A mai napon tartotta a tanszék a szokásos tanévnyitó értekezletét. Külön meghívott vendégeink voltak Péceli Gábor rektor úr és Vajta László dékán úr, akik az egyetem kutatóegyetemmé válásának fontosságáról és részleteiről tartottak előadást. Emellett bemutatkoztak az új doktoranduszok, előadásokat hallottunk az új projektekről, valamint a folyamatban lévő tanszéki web-portál továbbfejlesztésről. Tovább »

A SecureChange EU projekt Budapesten

A SecureChange EU projekt következő megbeszélését Budapesten tartja szeptember 13-15 között, melynek az FTSRG csoport ad otthont. A megbeszélés során az informatikai rendszerekben bekövetkező változások biztonsági hatásait kiértékelő módszereket és eszközöket fejlesztik tovább a 10 országból ide érkező kutatók és szakemberek. Bővebb információ: http://www.securechange.eu

Autonóm rendszerek tesztelése - R3-COP megbeszélés Erlangenben

A májusban elindult R3-COP ARTEMIS projekt WP4.2-es és WP4.3-as munkacsoportjának első megbeszélését az Universität Erlangen-Nürnberg szervezte. A megbeszélés során a résztvevők a V&V részfeladatokkal foglalkozó munkacsoport céljait tekintették át, majd ezután a partnerek (Austrian Institute of Technology GmbH, BME, Brno University of Technology, Friedrich-Alexander Universität Erlangen-Nürnberg, Inst. of Mathematics and Computer Science of the University of Latvia, Siemens AG) bemutatták korábbi kapcsolódó kutatási eredményeiket. Tovább »

Tartalom átvétel