Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
izvor podataka: crosbi !

Overview of novel protocol design and verification methods (CROSBI ID 664294)

Prilog sa skupa u zborniku | prošireni sažetak izlaganja sa skupa | međunarodna recenzija

Vlaović, Jelena ; Žagar, Drago ; Horvat, Goran Overview of novel protocol design and verification methods // Proceeding of Zooming Innovation in Consumer Electronics International Conference 2018. Novi Sad, 2018

Podaci o odgovornosti

Vlaović, Jelena ; Žagar, Drago ; Horvat, Goran

engleski

Overview of novel protocol design and verification methods

The development process, especially of complex software systems, is a sequence of different steps like conducting project feasibility studies, defining system requirements, prototyping, implementing, testing and verifying the code. The development process usually starts with the definition of several high-level description elements like finite state machines, communication paths, messages, etc. The developers tend to use different validation methods so that the faults in the design are found as early as possible. Previously the development process, verifications and validations were done with informal methods, but for many years now, they are done with formal methods. As opposed to formal methods, the informal methods like informal textual documentation and graphical description techniques have no means to verify consistency of the system design and implementation. Much progress has been made in the development of formal methods for different applications. Formal methods are mathematically-based (formal logic, automata theory, discrete mathematics, proofs) techniques that provide a basis for software development through various steps for specification, design, verification and development of different systems. Formal verification is used to verify if a design of the system satisfies all the requirements and properties listed in requirements. Formal methods ensure cost effective development process which results in reliable, reusable and low-maintenance software. For development process to be most affective, the characteristics of each formal method should be analyzed so that the most suitable method could be selected for every development phase.

protocol ; design ; verification ; formal methods

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

nije evidentirano

Podaci o prilogu

18

2018.

objavljeno

Podaci o matičnoj publikaciji

Proceeding of Zooming Innovation in Consumer Electronics International Conference 2018

Novi Sad:

Podaci o skupu

Zooming Innovation in Consumer Technologies Conference (ZINC 2018)

predavanje

30.05.2018-31.05.2018

Novi Sad, Srbija

Povezanost rada

Elektrotehnika, Informacijske i komunikacijske znanosti