Formális módszerek HOWTO

A tárgyról

• Régi, elavult linkek
  • Wiki: https://wiki.inf.mit.bme.hu/twiki/bin/view/Form/WebHome

Segédanyagok

Segédanyag az MSc-s 1. ZH-ra

• FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
  • Temporális logika - LTL, CTL és társai
  • Modellellenőrzés
  • Bináris döntési diagramok - ROBDD
  • Állapottérképek
• Bevezetés(TK 9-29)
• LTL operátorok, és kapcsolatuk

Segédanyag az MSc-s 2. ZH-ra

• FormModVizsgaTananyag-ból az ide vonatkozó részek átemelve
  • Petri Hálók
• Definíciók
• 2. Petri Hálók (TK 31-108)
  • 2.1 Bevezetés
  • 2.2 A petri hálók struktúrája
  • 2.3 A Petri hálók dinamikus viselkedése
  • 2.4 Token Játékok
  • 2.5 Alkalmazási mintapéldák
  • 2.6 Tulajdonság modellek
  • 2.7 A Petri hálók analízis módszerei
  • 2.8 Petri háló alosztályok
  • 2.9 Analitikusan vizsgálható Petri háló alosztályok
  • 2.10 Strukurális tulajdonságok
  • 2.11 Invariánsok és alkalmazásaik
  • 2.12 Kibővített értelmezésű Petri hálók
• FormModZH2Ossz

Tapasztalatok a segédeszközökkel

• DnaNet+Ina (Windows)
• Ped+Ina-t (Linux)
• SpinEdit

UPPAAL

• UPPAAL 4.0.14

UPPAAL academic. Java VM szükséges a futtatásához.

Régi anyagok

• Mi volt az órán?

ZH

2003

ZH 2003.03 A csoport
ZH 2003.03 B csoport
ZH 2003.03 C csoport
ZH 2003.03 D csoport

2004

ZH 2004.03 A csoport

2005

ZH 2005.04 B csoport

2009

ZH2 2009.05 A csoport

2010

ZH1 2010.03 A csoport
ZH1 2010.03 B csoport

2011

ZH1 2011 minta megoldás ötletek
ZH1 2011 minta
ZH2 2011 minta PN feladattípusok

Ismeretlen

ZH kérdések
ZH megoldások

Vizsga - Régi

MSc-n a tárgy nem vizsgás, de érdemes csemegézni az alábbi feladatokból.
2006-os tananyaggal kapcsolatos hivatalos információk

• Formális módszerek 2002. jún. 11-i vizsga
• Formális módszerek 2004. máj. 26-i vizsga
• Formális módszerek 2004. jún. 2-i vizsga
• Formális módszerek 2006. máj. 31-i vizsga feladatok
• Formális módszerek 2006. jan. 18-i vizsga megoldása
• Formális módszerek 2007. jan. 17-ei vizsga
• FormModVizsga20070613
• FormModVizsga20080528
• FormModVizsga20080611

Házi feladat - Régi

Elérhetőek az új tanszéki weblapról: Kiírás - Segédeszközök

Bartha Tamás levele a házi feladattal kapcsolatban

Szöveges leírással megadott rendszert kell egyrészt Petri hálók segítségével modellezni és elemezni, másrészt modellellenőrzési módszerekkel verifikálni.

SAL telepítés Cygwinnel: http://sal-wiki.csl.sri.com/index.php/Cygwin_installation

Tapasztalatok az egyes feladatokkal

"A modellezés fázisában nem tiltott a feladatok szakmai konzultációja egymás közt, de kérjük, hogy alapvetően egyedül dolgozzanak."

• Házi 1-7
• Házi 8-14
• Házi 15-21
• Házi 22-28
• Házi 29-35

Talált oldalak

Ezt az árva lapot találtam. A használhatóságában nem vagyok biztos, egy hozzáértő nézze át - Koza (vita) 2014. június 9., 19:35 (UTC)

• Formális_módszerek_vizsga_tool

Mérnökinformatikus MSc
1. félév (tavasz)	Adatbiztonság  •  Formális módszerek  •  Rendszeroptimalizálás  •  Analízis  •  Tömegkiszolgálás
2. félév (ősz)	Alkalmazott algebra és matematikai logika  •  Információelmélet  •  Nyelvek és automaták  •  Szoftverarchitektúrák  •  Sztochasztika I.  •  Sztochasztika II.
Egyéb	Kötelezően választható tárgyak  •  Mérnöki menedzsment  •  Befektetések  •  Érvelés, tárgyalás, meggyőzés  •  Információs társadalom joga  •  Minőségmenedzsment  •  Projektmenedzsment  •  Vállalati jog  •  Vezetői számvitel
Szakirányok	Alkalmazott informatika  •  Autonóm irányító rendszerek és robotok  •  Hálózatok és szolgáltatások  •  Hírközlő rendszerek biztonsága  •  Intelligens rendszerek  •  Médiainformatika  •  Rendszerfejlesztés  •  Számításelmélet  •  Szolgáltatásbiztos rendszertervezés