Kiberfizikai rendszerek - Segédanyagok

Félév: 2020. ősz
Cím Egyedi szöveg
ZV tételsor 2021-től kezdve

Extra-functional Properties, Quantitative Analysis
High-level Models for Quantitative Analysis
Fault-tolerance Patterns
Virtualization, deployment
Cloud computing
Databases
Edge computing
Integration, communication, DDS
AI in/for CPS
Hybrid modeling and simulation

Félév: 2019. ősz
Cím Egyedi szöveg
Házi feladattal kapcsolatos segédanyagok (1. gyakorlat)

Az alábbiakban két adatforrást teszünk elérhetővé.

Az okos egyetem adataiban a mért (tantermi) adatok és a külső adatok (időjárás) egymás mellé vannak helyezve egy táblázatba.

A smart grid adatok két táblázatban vannak: egyik táblázat tartalmazza az áramtermelési adatokat, a másik táblázat pedig az időjárási adatokat.

Két mintaspecificikációt is biztosítunk kiindulásként (csatolva). Ezektől el lehet térni.


Energiafogyasztással kapcsolatos adatok és az ezeket feldolgozó cikkek, jól jöhetnek (aki smartgrid irányba indul el). Telemetria nincs benne, de irodák/háztartások/eszözök energiafogyasztása igen + elektromos/hibrid járművek kapacitás/fogyasztás/töltési adatai (névleges), EU energiafogyasztási adatok, részletes időjárás adatok (solar radiaton is, napenergia termeléshez pl.): http://sites.ieee.org/pes-iss/data-sets/

A Professzor Úr által előadáson mutatott template-ek itt érhetőek el: https://pages.nist.gov/smartcitiesarchitecture/

Kiberfizikai rendszerek 2. labor - DDS (Java)

A gyakorlaton vetített fóliák.

(A gyakorlaton nem mutattuk meg, hogy a Java kódon belülről hogyan lehet futás időben QoS-t beállítani. Ez a 36-os fólián szerepel, ez nem volt meg a gyakorlat végén.)

Kiberfizikai rendszerek 3. labor - Kubernetes + DDS

Kiberfizikai rendszerek – Kubernetes labor hasznos linkek:

Megajánlott jegyhez ajánlott: https://cloudblogs.microsoft.com/opensource/2019/10/16/announcing-open-application-model/

Cloud computing - a szolgáltatásmodell
Kiberfizikai rendszerek 4. labor - Kubernetes + DDS

A labor előadás fóliái és a projekt fájlok.

Kiberfizikai rendszerek 5. labor - Vizualizációs technológiák

Labor során használt segédlet.

Bevezető előadás fóliák

Prof. Pataricza András előadás fóliái

DDS előadás fóliái
Vizsga és záróvizsga témák

A vizsga/záróvizsga témák az alábbiak:

  • Edge, fog számítási modellek, definíció, referencia architektúra
  • DDS (felépítés, működés, használat)
  • ISO/IEC 25010
  • Laprie féle dependability taxonómia
  • Követelménytervezés, struktúra tervezés (SysML)
  • Felhő alapú számítástechnika
Cloud computing - "cloudonomics", alkalmazási minták, teljesítmény-megbízhatóság, IoT
Félév: 2018. ősz
Cím Egyedi szöveg
Bevezető előadások fóliái

Október közepéig lement anyagrészek

Házi feladat információk

A gyakorlaton elhangzott információk, frissítve a gyakorlathoz képest!

CPS 2. gyakorlat

Feladatleírás

DDS gyakorlat

A gyakorlatsorán felhasználható fájlok/vázak

Grafana labor

A laborhoz tartozó vázlat a Grafana és az InfluxDB használatáról itt érhető el.

Systems engineering és safety előadások

Az Informatikai Rendszertervezés tárgy CPS tervezéshez kapcsolódó előadásai mentek le: követelmény modellezés, stuktúrális modellezés és a hibatűrő architektúrák előadás.

Cloud és vizuális adatelemzés előadás

Kocsis Imre előadásai felhő alapú számítástechnika és vizuális adatelemzés témákból.

Félév: 2017. ősz
Cím Egyedi szöveg
Bevezető előadások 2017-09-05, 2017-09-07, 2017-09-12

Kiberfizikai rendszerek - Bevezető

  • Oktatók
  • Tárgykövetelmények
  • Challenges in Cyber-Physical Systems
    • Cloud Customer Architecture for IoT
    • Edge & Fog Computing
  • NIST CPS Framework
    • domains, aspects, facets, concerns
    • CPS property tree
  • CPS-ek kompozíciója
    • kritikus rendszerek fejlesztési folyamata (hagyományos V-modell)
    • modellvezérelt fejlesztés (Y-modell)
    • rekonfiguráció
    • felépíthetőség/összeépíthetőség (composabilty)
  • Sensor Observation Service (SOS)
  • Semantic Sensor Network (SSN) ontológia
  • Resilience
    • self-* tulajdonságok
    • biztonságosság
  • Breadth Assesment Tool
Specifikáció előadás 2017-09-19

Specifikáció

  • Az iparszerű termelés alapja a folyamat alapú működés
    • a különböző fajta hibák számának változása a folyamat során
    • a különböző fajta hibák számának változása különböző projektekben
    • ICONIX roadmap
  • Követelmények dokumentálása forgatókönyvekkel
    • Gherkin nyelv
  • A folyamat alapú működés hatásai a költségekre
    • COCOMO, COSYSMO, CECRISMO
    • költségfaktorok, újrahasznosítás
  • ReqIF
    • célja, alapkoncepciója
    • használati esetek, forgatókönyvek (követelmények átadása a felelk között)
      • követelmény analízis
    • ReqIF metamodell
    • ReqIF szerkesztők
      • Eclipse ProR, Rational DOORS,
Gyakorlat 2017-09-21: Követelménykezelés

NIST CPS framework leírás:

Gherkin nyelv leírása:

ReqIF Studio tool:

SysML előadás 2017-09-26

Modeling Requirements in SysML

  • Aspects of SysML
  • 4 Pillars of SysML
    • Structure, Behavior, Requirements, Parametrics
  • SysML Diagram Taxonomy
    • Subclassing the SysML
  • Modeling System Functions with Use Cases
    • Traceability of Use Cases in SysML Models
  • Modeling Physical Properties
    • Controller Design
  • Constraints and Physical Parameters in SysML
    • Units and Quantity Kinds
    • Constraint Blocks, Constraint Definitions
  • Parametric Diagram
    • Bindings and Applications of Parametrics
Adat- és jelfeldolgozás előadás (Péceli Gábor) 2017-10-03

Kiberfizikai rendszerek: Az adat- és jelfeldolgozási vonatkozásokról ...

  • Adatfajták
  • Mérőeszközök pontossága
  • Mennyiségek, változók valós idejű rendszerekben
  • Digitális jelfeldolgozási alapok
  • CPS rendszerek modellezési kérdései (feszültségosztó)
  • Irányítástechnikai alapok
Gyakorlat 2017-10-05: Követelményanalízis, SysML

Rhapsody modellezőeszköz: http://www-03.ibm.com/software/products/hu/ratirhapfami

"Shall"/"Should"/"Will"/"May" témában:

Szemantikus integráció előadás 2017-10-10

Szemantikus integráció

  • CPS-ek dinamikus kompozíciója
  • Erőforrások dinamikus rekonfigurációja
  • Egységesítés
    • plug and play
    • elektronikus adatlapok
    • IEEE 1451
  • Fogalmak formalizálása
    • ontológiák
      • Resource Description Framework (RDF)
  • Szemantikus adatreprezentáció
    • Semantic Sensor Network (SSN)
Tartalom átvétel