Siker diplomaterv pályázaton

Kutatócsoportunk doktorandusza, Hajdu Ákos kapta november 3-án a Pro Progressio Alapítvány által odaítélt diplomaterv ösztöndíjat. Az ösztöndíjakat évente, műegyetemi karonként egy-egy BSc-s és MSc-s, végzős hallgató nyerheti el. Hajdu Ákos diplomatervének címe "A Survey on CEGAR-based Model Checking", konzulense Tóth Tamás és Vörös András.

Kiberfizikai rendszerek - Zárthelyi témakörök

A Kiberfizikai rendszerek zárthelyi témaköreit részben a 2016. évi segédanyagok (https://inf.mit.bme.hu/edu/courses/cps/materials Félév: 2016. ősz ) fedik le. Tovább »

Rendszermodellezés HF 2. fázis beadás (2016. ősz)

A beadó felületen megnyílt a lehetőség a HF 2. fázisának beadására. Ennek határideje 2016.11.13. (vasárnap) 23:59.

Ajánlott a HF tanácsok és feltételek oldal alapos átolvasása a leadás előtt.

BSc Önálló Laboratórium Félévközi beszámoló beosztása 2016 ősz

Tisztelt Hallgatók!

A BSc önálló laboratórium félévközi beszámolóinak beosztását a csatolmány tartalmazza. Aki nem szerepel a beosztásban, a két alkalom bármelyikére eljöhet - a részvétel kötelező annak, aki jegyet szeretne szerezni a tárgyból!

Köszönettel: Ráth István tárgyfelelős

Rendszermodellezés HF 1. fázis eredmények (2016. ősz)

A házi feladat 1. fázisának eredményei elérhetőek a feladatbeadó felületen.

BSc Önálló Laboratórium Félévközi beszámoló 2016 ősz

Tisztelt Hallgatók!

A BSc önálló laboratórium őszi félévközi beszámolóit a 2016. november 7-i héten tartjuk.  Tovább »

ReTe: 4. házi kiadva

Kiadtuk a 4. házi feladatot is a tárgyból. Részletek a házi feladatok oldalon.

Java alkalmazások párhuzamosítása pontszámok

Kikerültek a Java alkalmazások párhuzamosítása című mérés pontszámai, amely a tárgy eredménytáblázatában megtalálhatóak. Alapvetően szép megoldások születtek, mindenkinek sikerült a párhuzamos viselkedést és a kommunikációt megvalósítani. Tovább »

Kiberfizikai rendszerek - házi feladat információk

Követelmények a választott feladattal és megoldással kapcsolatban

Követelménymodellezés (1. fázis):

  • ReqIF

Hibatűrés:

  • Pl.: Mérés és külső adatforrás

Szenzorintegráció:

  • Ötletek: hőmérséklet, kamera, hang

Felhőben integráció: Tovább »

ReTe: házi feladat pontok, pótlás

Most már látnotok kell a házi feladat pontokat.

A pótbeadás mostantól egy hét múlva van: október 22 szombat este.

Tartalom átvétel