VDM projekt Bil Alarm Martin Vestergaard. Bil Alarm ● Om projektet ● Hvad det indeholder ● Formål med modellen.

Præsentationer af emnet: "VDM projekt Bil Alarm Martin Vestergaard. Bil Alarm ● Om projektet ● Hvad det indeholder ● Formål med modellen."— Præsentationens transcript:

1 VDM projekt Bil Alarm Martin Vestergaard

2 Bil Alarm ● Om projektet ● Hvad det indeholder ● Formål med modellen

3 Om projektet ● Kort introduktion – At modellere en moderne bil alarm med diverse input og output. – Input = sensorer: GPS, Bevægelse, Påtvungen fysisk adgang, Ændring i elektriske tilslutninger. – Output = Låse, Vinduer, Elektriske tilslutninger (tænding, startspærre), Sirene, Lys, Telefon.

4 Om projektet ● Eventuelle problem stilinger – Mange scenarier. – Mange input at tage stilling til. – Mange forskellige udfald/output.

5 Om projektet ● Krav til projektet – Ulovlig indtrængen skal detekteres. – Tilkendegives med Lyd og Lys. – Skal forsøges forhindret/forsinket. – Kontakt til centralen skal foretages.

6 Projektets indhold ● Elementer og ”objekter” i opgaven – Input sensorer. – Output ”aktautorer”. – Systemet. – Centralen.

7 Projektets indhold ● Distributions og concurrency – Mange ens systemer samtidigt. – En central. – Telefonen = mediet

8 Projektets indhold ● Overvejelser. Centralens rolle. – Melder bilen sig ikke stjålet eller stjålet? – Ringer centralen ved indtrængen eller går de ud fra den er stjålet? – Kan man ringe og sige falsk alarm? – Meldes bilen automatisk stjålet? – Hvordan håndteres flere stjålne biler på samme tid?

9 Modellens formål ● Systemets respons skal svare til omstændighederne. ● Sikre at input har den rigtige prioritet for situationen.