VDM projekt Bil Alarm Martin Vestergaard
Bil Alarm ● Om projektet ● Hvad det indeholder ● Formål med modellen
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.
Om projektet ● Eventuelle problem stilinger – Mange scenarier. – Mange input at tage stilling til. – Mange forskellige udfald/output.
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.
Projektets indhold ● Elementer og ”objekter” i opgaven – Input sensorer. – Output ”aktautorer”. – Systemet. – Centralen.
Projektets indhold ● Distributions og concurrency – Mange ens systemer samtidigt. – En central. – Telefonen = mediet
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?
Modellens formål ● Systemets respons skal svare til omstændighederne. ● Sikre at input har den rigtige prioritet for situationen.