Abstrakt. Vi undersöker effekterna av nod- och kommunikationsbrister på möjligheten och komplexiteten av parametrisk verifiering av en formell modell av ad hoc-nät. Vi börjar med att överväga tre möjliga typer av nodfel: intermittens, omstart och krasch. Sedan går vi över till tre fall av kommunikationsfel: förlust av icke-deterministiska budskap, förlust av budskap på grund av motstridiga utsläpp och påvisbara konflikter. Intressant nog bevisar vi att det övervägda beslutsproblemet (uppnåbarheten hos en kontrollstat) är avgörande för intermittens och meddelandeförlust (antingen icke-deterministisk eller på grund av konflikter) medan det visar sig vara obeslutsamt för omstart/krasch av nod och upptäckt av konflikter.
I ett nyligen utfört arbete undersöker REF möjligheten att uppnå kontrolltillstånd för ad hoc-nätverk i närvaro av olika typer av nod- och kommunikationsfel.
Verification of Ad Hoc Networks with Node and Communication Failures
{'venue': 'FMOODS/FORTE', 'journal': None, 'mag_field_of_study': ['Computer Science']}