3 Home
killua edited this page 5 years ago

Welcome to the Wiki.

HW

Reqs.

MUSTHAVE

  • display (jméno uživatele, důvod odmítnutí, čas do odpojení bez pípnutí)
  • časovač (pípnutí po x minutách pro vybrané stroje)
  • tlačítko pro odlhášení
  • logování (usage log - kdo, odkdy, dokdy, z toho pak dopočítáme celkové motohodiny a který uživatel užívá které stroje jak moc - pokud bude nutná prevence resource hogging)
  • akustická a vizuální signalizace, že Ti dochází čas

LATER

  • odlišení, zda je stroj v zátěži či nikoliv (motohodiny, autologoff pro uživatele, co se zapomněli odlognout ze stroje bez timeru)
  • napojení na ovládání stroje (např. např. nebudem chít, aby se na surovo powerdownovala kvůli timeoutu fréza s nástrojem zakousnutým do materiálu) nebo na senzor (např. uvažujme nějaký tupý analogový stroj,který chceme vypnout pokud senzor ucítí kouř)
  • remote safety off (např. v případě požáru vypnem všechny stroje v celém labu, byť by toto asi bylo lepší řešit nějakým centrál stopem n rozvaděči)
  • teoreticky také otevírání dveří, či skříňky na klíče (co klíč to samostatně zavíratelný slot) kterou má v hlavě Zoid
  • napojení dodatečného senzoru/senzorů sledující machine abuse (např. pokračování v pálení laserem, když materiál hoří)

Nicetohave

  • estop/červené tlačítko pro případ, že zařízení za tím připojené ho mít nebude
  • certifikovaný estop

Precist ID z z karty a na zaklade neho

  1. Zapnout napajeni
  2. Zapnout napajeni na omezeny cas
  3. zobrazit, kdo to je
  4. u neautorizovanych osob odeprit pristup

Tools

DB schema

Notes

  • Mysql backend
  • Anonymization considered right from scratch (GDPR-compatible design)
    • uuids instead of int ids (obsfucating order in which users join, making device names hard to guess) - doest it help?

device_log

  • event_id [unsigned bigint, primary index] - logged event's id
  • device_id [unsigned int/uuid, index] - device id, which emmited the event
  • event_dt [varchar(255), index] - datetime (using datetime over timestamp for consistency, usage accross different timezones)
  • user_id [unsigned int/uuid, index] - NULL in case when noone uses a machine, but it still spawns information (i.e. logging a walk-through-a-door event)
  • event_type