Odjel za pouzdanost

 

Odjel za pouzdanost okuplja stručnjake iz raznih disciplina, kojima je zajedničko nastojanje da učine "stvari" pouzdanima. Aktivnosti odjela u raznim poljima tehnologije povezana su s pojmovima pouzdanosti, raspoloživosti, sigurnosti i povjerenja.

Web sjedište matičnog društva IEEE Reliability Society je https://rs.ieee.org/.

 

 

 

 
Vodstvo odjela
Mandat do 31.12.2023.
 
 
Istraživački seminar iz računarske znanosti 1
Vlado Sruk 
predsjednik
 
 
Željko Hocenski
dopredsjednik

Poziv na predavanje: Formalne metode-...

Odjel za računarstvo u suradnji s Udrugom AMAC-Alumni FER i Odjelom za pouzdanost Hrvatske sekcije IEEE poziva Vas na predavanje

 

Formalne metode - mitovi i stvarnost

 

koje će održati prof. dr. sc. Nikola Bogunović, u srijedu 14. ožujka 2018. u 17.00 sati u Sivoj vijećnici Fakulteta elektrotehnike i računarstva Sveučilišta u Zagrebu, Unska 3.

Predavanje će biti na hrvatskom jeziku, predviđeno trajanje s raspravom je 60 minuta, otvoreno je za sve zainteresirane te se posebno pozivaju studenti.

Više o predavanju i predavaču pročitajte u opširnijem sadržaju 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.

 

O predavaču

Nikola Bogunović je diplomirao (1963.) i magistrirao (1971.) na polju elektrotehnike te doktorirao (1984.) u polju računarstva na Elektrotehničkom fakultetu Sveučilišta u Zagrebu. Od 1968. do 1999. bio je zaposlen na Institutu Ruđer Bošković u Zagrebu kao voditelj Zavoda za elektroniku i Laboratorija za informacijske sustave. Kao gostujući znanstvenik od 1971. do 1972. boravio je u Culham Laboratoryju u Ujedinjenom Kraljevstvu te od 1985. do 1987. kao gostujući profesor na Sveučilištu Vanderbilt u SAD-u. Tijekom 1999. godine prelazi na Fakultet elektrotehnike i računarstva Sveučilišta u Zagrebu, gdje je izabran u znanstveno-nastavno zvanje "redoviti profesor". Postaje nositeljem više predmeta na dodiplomskom i poslijediplomskom (doktorskom) studiju. Sadržaji predmeta usmjereni su na postupke oblikovanja složenih računalnih sustava te na tehnike predstavljanja, obrade i uporabe znanja. Bio je mentorom brojnih završnih, diplomskih, magistarskih i doktorskih radova. Znanstveni interesi fokusirani su na formalne metode u provjeri programskih artefakata te na otkrivanje znanja u skupovima podataka i signala s primjenom u biomedicinskoj i financijskoj domeni. Nikola Bogunović objavio je preko 100 znanstvenih i stručnih radova te održao više javnih predavanja. Doživotni je član IEEE udruge te član emeritus Akademije tehničkih znanosti Hrvatske.

Autor: zhocenski
Popis obavijesti

Forum

>> / Sve diskusijske grupe / Odjel za pouzdanost

Br. poruka:    Prikaz: (1 - 25)  Ukupno: 25

Sortiraj prema: naslovu | vremenu zadnjeg odgovora | autoru

Napomena:
* - oznaka za nove poruke

Predavanja