Aerotaxi
Firma AeroT chce mít podchycenu evienci: - letadel, - pilotů, - letových hodin jednotlivých letadel, která provozuje a pilotů, kteří pro firmu létají, - klientů, - servisních zásahů u letadel.
Letadla jsou různých typů, je snaha optimalizovat vytížení letadla dle jeho parametrů (takže velké letadlo se nenabízí jednomu klientovi, ale větší skupině ap.). U každého letadla se sleduje počet nalétaných hodin, který vede k vyžadovaným servisním zásahům. Každé letadlo může řídit libovolný pilot, nemusíme řešit typy pilotních zkoušek. U pilotů je nutno vést v patrnosti počty nalétaných hodin. Je možné si letadlo rezervovat s předstihem, pak se nejprve sleduje stav letu jako rezervovaný a teprve v případě, že klient je odbaven, přejde stav letu do realizace.
Ve výstupu ze systému chceme znát