 |
Udruga Alumni FER, u suradnji s Odjelom za pouzdanost i Odjelom za računarstvo Hrvatske sekcije IEEE, vas poziva na predavanje: Predavanje možete pratiti i putem Interneta. Nakon predavanja, druženje će se nastaviti u Alumni klubu. Više informacija o predavanju pročitajte u nastavku obavijesti. |
Sažetak predavanja
S povećanjem složenosti sklopovskih i programskih računalnih artefakata tradicijska provjera ispravnosti rada ispitivanjem (testiranjem) i simulacijom više nije dovoljna. Postoji uvjerenje da uporaba formalnih metoda može ostvariti valjano pronalaženje duboko skrivenih pogrešaka a bez bitnog produljenja vremena od zamisli do stavljanja proizvoda na tržište. U ovom prikazu definirat će se formalne metode kao matematičke tehnike specifikacije i verifikacije složenih računalnih sustava. Prikazat će se nekoliko najpopularnijih metoda bez dubokih i detaljnih razmatranja teoretskih temelja. Pokušat će se odgovoriti na pitanje oko mogućeg normativnog prihvaćanja formalnih metoda u okviru uobičajenih modela procesa oblikovanja sklopovskih i programskih artefakata. Navest će se neke formalne metode koje su danas u standardnoj uporabi u najvećim svjetskim informatičkim tvrtkama.
