Verifying nesC apps in PAT

View previous topic View next topic Go down

Verifying nesC apps in PAT

Post  Manchun on Fri Jun 18, 2010 3:22 pm

Very Happy PAT is extended for verification in sensor network domain as well.
In version 2.9.0, available at PAT HOME.

In PAT 2.9.0, nesC is translated into RTS (timed-CSP with extentions), and the application can be simulated & verified.

In the future, PAT will coming out with direct verification of nesC apps, which will be more efficient and user-friendly. Wink

Manchun

Posts : 1
Join date : 2010-02-17

View user profile

Back to top Go down

View previous topic View next topic Back to top

- Similar topics

 
Permissions in this forum:
You cannot reply to topics in this forum