Beispiel #1
0
        public SensoreSorgenteAdapter(ISensore sensore, GestoreEventi gestoreEventi)
        {
            _sensore            = sensore;
            this._gestoreEventi = gestoreEventi;

            // Aggiungo l'adapter ai ricevitori del sensore
            sensore.RicevitoriDatiSensore += OnRisultatiGrezziDisponibili;
        }
Beispiel #2
0
        public override void Analizza(int[] buffer)
        {
            // Trovo il tempo attuale
            long tempoAttuale = DateTime.Now.Ticks / TimeSpan.TicksPerMillisecond;

            // Trova il massimo elemento
            int max = -1;

            for (int i = 0; i < buffer.Length; i++)
            {
                if (buffer[i] > max)
                {
                    max = buffer[i];
                }
            }

            if (max > SogliaPicco && (tempoAttuale - TempoUltimoPicco) > TempoDistanzaMinimo)
            {
                codaPicchi.Enqueue(tempoAttuale);
                TempoUltimoPicco = tempoAttuale;
            }

            // Conto i picchi e dimensiono la coda
            if (codaPicchi.Count > 0 && (tempoAttuale - codaPicchi.Peek()) > TempoAnalisi)
            {
                codaPicchi.Dequeue();
            }

            int valoreFrequenza = codaPicchi.Count;

            // Verifico se il massimo supera una soglia
            int indiceSoglia = -1;

            for (int i = 0; i < Soglie.Length; i++)
            {
                if (valoreFrequenza > Soglie[i])
                {
                    indiceSoglia = i;
                }
            }

            // Se la supera, creo un evento
            if (indiceSoglia >= 0)
            {
                EventoSismico evento = new EventoSismico
                {
                    Messaggio = "Frequenza ha superato: " + valoreFrequenza,
                    Priorita  = (Priorita)indiceSoglia,
                    Stazione  = Stazione,
                    Tag       = "Frequenta",
                    Timestamp = DateTimeOffset.UtcNow.ToUnixTimeSeconds()
                };
                GestoreEventi.NotificaEventoAsync(evento);
            }

            // Notifica il risultato
            RicevitoriRisultato?.Invoke(valoreFrequenza);
        }
Beispiel #3
0
        public SorgenteFile(string percorsoFile, GestoreEventi gestoreEventi)
        {
            _percorsoFile  = percorsoFile;
            _gestoreEventi = gestoreEventi;

            // Verifico che il file esista
            if (!File.Exists(percorsoFile))
            {
                throw new FileNotFoundException("Il file non esiste");
            }
        }
Beispiel #4
0
        public override void Analizza(int[] buffer)
        {
            long tempoAttuale = DateTime.Now.Ticks / TimeSpan.TicksPerMillisecond;

            // Trova il massimo elemento
            int max = -1;

            for (int i = 0; i < buffer.Length; i++)
            {
                if (buffer[i] > max)
                {
                    max = buffer[i];
                }
            }

            // Converto in magnitudo
            double valoreMagnitudine = Math.Abs(max - 500) / 50f;

            // Verifico se il massimo supera una soglia
            int indiceSoglia = -1;

            for (int i = 0; i < Soglie.Length; i++)
            {
                if (valoreMagnitudine > Soglie[i])
                {
                    indiceSoglia = i;
                }
            }

            // Se la supera, creo un evento
            if (indiceSoglia >= 0 && (tempoAttuale - _tempoUltimoAvviso) > DistanzaMinimaTraAvvisi)
            {
                EventoSismico evento = new EventoSismico
                {
                    Messaggio = "Magnitudo ha superato: " + valoreMagnitudine,
                    Priorita  = (Priorita)indiceSoglia,
                    Stazione  = Stazione,
                    Tag       = "Magnitudo",
                    Timestamp = DateTimeOffset.UtcNow.ToUnixTimeSeconds()
                };
                GestoreEventi.NotificaEventoAsync(evento);
                _tempoUltimoAvviso = tempoAttuale;
            }

            // Notifica il risultato
            RicevitoriRisultato?.Invoke(valoreMagnitudine);
        }
Beispiel #5
0
        public Login(AutenticazioneController controller, IGestioneUtentiController gestioneUtentiController,
                     IGestioneStazioniController stazioniController, IStoricoController storicoController,
                     SorgenteFactory factory, GestoreEventi gestoreEventi)
        {
            InitializeComponent();
            _controller = controller;
            _gestioneUtentiController = gestioneUtentiController;
            _stazioniController       = stazioniController;
            _storicoController        = storicoController;
            _factory       = factory;
            _gestoreEventi = gestoreEventi;

            var materialSkinManager = MaterialSkinManager.Instance;

            materialSkinManager.AddFormToManage(this);
            materialSkinManager.Theme       = MaterialSkinManager.Themes.LIGHT;
            materialSkinManager.ColorScheme = SismioColor.Scheme;
            this.background.BackColor       = SismioColor.Scheme.DarkPrimaryColor;
            //
            // Load Font
            //
            byte[] fontData = Properties.Resources.RobotoMono_Bold;
            IntPtr fontPtr  = System.Runtime.InteropServices.Marshal.AllocCoTaskMem(fontData.Length);

            System.Runtime.InteropServices.Marshal.Copy(fontData, 0, fontPtr, fontData.Length);
            uint dummy = 0;

            fonts.AddMemoryFont(fontPtr, Properties.Resources.RobotoMono_Bold.Length);
            AddFontMemResourceEx(fontPtr, (uint)Properties.Resources.RobotoMono_Bold.Length, IntPtr.Zero, ref dummy);
            System.Runtime.InteropServices.Marshal.FreeCoTaskMem(fontPtr);

            robotoMono = new Font(fonts.Families[0], 14.0F);

            this.textUsername.Font = robotoMono;
            this.title.Font        = new Font(fonts.Families[0], 56.0F);

            // Focus at the startup
            this.ActiveControl = this.textUsername;

            // Precompilo il form
            this.textUsername.Text = "admin";
            this.textPassword.Text = "admin";

            // Carico la combo box
            CaricaSorgenti();
        }
Beispiel #6
0
        public MainForm(IGestioneUtentiController gestioneUtentiController,
                        IGestioneStazioniController gestioneStazioniController,
                        IStoricoController storico,
                        ISorgente sorgente, GestoreEventi gestoreEventi,
                        AutenticazioneController autenticazioneController)
        {
            InitializeComponent();

            this.homeDashboard1.Sorgente      = sorgente;
            this.homeDashboard1.GestoreEventi = gestoreEventi;
            this.homeDashboard1.GestioneStazioniController = gestioneStazioniController;

            this.storico1.StoricoController               = storico;
            this.homeGestioneUtenti1.UtentiController     = gestioneUtentiController;
            this.homeGestioneStazioni1.StazioniController = gestioneStazioniController;

            var materialSkinManager = MaterialSkinManager.Instance;

            materialSkinManager.AddFormToManage(this);
            materialSkinManager.Theme       = MaterialSkinManager.Themes.LIGHT;
            materialSkinManager.ColorScheme = SismioColor.Scheme;
            this.navbar.BackColor           = SismioColor.Scheme.DarkPrimaryColor;
            //this.BackColor = SismioColor.BackColor;

            this.tabControl.SelectedTab = this.tabDashboard;

            this.tabDashboard.BackColor        = SismioColor.BackColor;
            this.tabGestioneStazioni.BackColor = SismioColor.BackColor;
            this.tabGestioneUtenti.BackColor   = SismioColor.BackColor;
            this.tabStorico.BackColor          = SismioColor.BackColor;

            // Nascondo i pulsanti in base ai permessi
            IUtente utenteCorrente = autenticazioneController.UtenteAttivo;

            if (utenteCorrente == null)
            {
                this.navGestioneStazioni.Visible = false;
                this.navGestioneUtenti.Visible   = false;
            }
            else
            {
                this.navGestioneStazioni.Visible = utenteCorrente.PuoModificareStazioni();
                this.navGestioneUtenti.Visible   = utenteCorrente.PuoModificareUtenti();
            }
        }
Beispiel #7
0
        public void TestEventManager()
        {
            EventoSismico e = EventoSismicoTest.createMockEvent();

            // Create a mock EventoSismico Repository
            Mock <IStoricoController> eventRepository = new Mock <IStoricoController>();

            GestoreEventi gestoreEventi = new GestoreEventi(eventRepository.Object);

            // Register two event receivers and make sure they are all called
            bool firstReceived  = false;
            bool secondReceived = false;

            gestoreEventi.RicevitoriEventoSismico += (evnt) =>
            {
                // Make sure the received
                Assert.AreEqual(e, evnt);
                firstReceived = true;
            };

            gestoreEventi.RicevitoriEventoSismico += (evnt) =>
            {
                // Make sure the received
                Assert.AreEqual(e, evnt);
                secondReceived = true;
            };

            // Register the event
            gestoreEventi.NotificaEvento(e);

            Assert.IsTrue(firstReceived);
            Assert.IsTrue(secondReceived);

            // Check if the event controller has been called
            eventRepository.Verify(x => x.RegistraEvento(e), Times.Once());
        }
Beispiel #8
0
 public SorgenteFactory(CreatoreConnessioni creatoreConnessioni, ISensore sensore, GestoreEventi gestoreEventi)
 {
     this.creatoreConnessioni = creatoreConnessioni;
     _sensore       = sensore;
     _gestoreEventi = gestoreEventi;
 }
Beispiel #9
0
 public SorgenteRemota(SslStream connessione, IStazione stazione, GestoreEventi gestoreEventi)
 {
     _connessione        = connessione;
     this._gestoreEventi = gestoreEventi;
     Stazione            = stazione;
 }
Beispiel #10
0
        static void Main()
        {
            // Inizializzo il sensore
            ISensore sensore = new MockSensore();
            //ISensore sensore = new SensoreSeriale("COM10", 74880);
            //sensore.RicevitoriDatiSensore += dati => Console.WriteLine(String.Join(",", dati));

            // Creo il thread del sensore e lo avvio
            Thread threadSensore = new Thread(() => sensore.CicloPrincipale());

            threadSensore.Name = "Thread Sensore";
            threadSensore.Start();

            IGestioneStazioniController stazioniController = new GestioneStazioniController(PERCORSO_DATABASE);

            Stazione stazione = new Stazione
            {
                Nome                   = "BolognaA1",
                Locazione              = "Bologna",
                IndirizzoDiRete        = IPAddress.Parse("127.0.0.1"),
                Porta                  = 8001,
                ImprontaChiavePubblica = "E2C9153221FE658AFDCEBE095EE5D2392AF8C4AE"
            };

            /*
             * // Inizializzo il gestore delle stazioni
             *
             * IGestioneStazioniController stazioniController = new GestioneStazioniController(PERCORSO_DATABASE);
             * stazioniController.Registra(stazione);
             *
             * stazione.Nome = "ReggioEmiliaA1";
             * stazione.Locazione = "Reggio Emilia";
             * stazione.IndirizzoDiRete = IPAddress.Parse("10.1.45.230");
             * stazione.Porta = 5555;
             *
             * stazioniController.Registra(stazione);*/

            // Inizializzo il gestore utenti

            IGestioneUtentiController gestioneUtentiController = new GestioneUtentiController(PERCORSO_DATABASE);
            AutenticazioneController  autenticazioneController = new AutenticazioneController(gestioneUtentiController);

            // Aggiungo l'utente tizio
            Utente utente = new UtenteNormale
            {
                Nome        = "tizio",
                Cognome     = "caio",
                Email       = "*****@*****.**",
                LoginRemoto = true,
                Username    = "******"
            };

            utente.ImpostaPasswordDaOriginale("password");
            if (gestioneUtentiController.ValidaCredenziali("tizio", "password") == null)
            {
                gestioneUtentiController.Registra(utente);
            }

            EventoSismico evento = new EventoSismico
            {
                Messaggio = "Frequenza",
                Priorita  = Priorita.Fatal,
                Stazione  = stazione,
                Tag       = "Frequenza",
                Timestamp = 1234
            };
            IStoricoController storicoController = new StoricoController(PERCORSO_DATABASE);

            storicoController.RegistraEvento(evento);

            GestoreEventi gestoreEventi = new GestoreEventi(storicoController);

            gestoreEventi.RicevitoriEventoSismico += sismico => Console.WriteLine(sismico);

            // Avvio il server della stazione
            ServerStazione server = new ServerStazione(sensore, gestioneUtentiController, Sismio.CertificatoResource.certificato, "passwordsismio");

            server.IndirizzoServer = "127.0.0.1";  // TODO: cambiare con il proprio locale ( tipo 192.168.1.105 )
            server.Avvia();

            CreatoreConnessioni creatore = new CreatoreConnessioni(stazioniController);
            SorgenteFactory     factory  = new SorgenteFactory(creatore, sensore, gestoreEventi);

            Application.EnableVisualStyles();
            Application.SetCompatibleTextRenderingDefault(false);

            Form loginForm = new Login(autenticazioneController, gestioneUtentiController, stazioniController, storicoController, factory, gestoreEventi);

            Application.Run(loginForm);
        }