Sökning: "Oskar Wibling"

Hittade 2 avhandlingar innehållade orden Oskar Wibling.

1. 1. Ad hoc routing protocol validation

   Författare :Oskar Wibling; Joachim Parrow; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Datavetenskap; Computer Science;

   Sammanfattning : We explore and evaluate methods for validation of ad hoc routing protocols which are used to set up forwarding paths in spontaneous networks of mobile devices. The focus is automatic formal verification but we also make an initial account of a protocol performance comparison using structured live testing. LÄS MER

3. 2. Creating Correct Network Protocols

   Författare :Oskar Wibling; Joachim Parrow; Parosh Abdulla; Ansgar Fehnker; Uppsala universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; network protocols; formal methods; verification; testing; routing protocols; wireless ad hoc networks; model checking; graph transformation; infinite-state systems; Computer science; Datavetenskap;

   Sammanfattning : Network protocol construction is a complex and error prone task. The challenges originate both from the inherent complexity of developing correct program code and from the distributed nature of networked systems. Protocol errors can have devastating consequences. LÄS MER