PAT Forum
Would you like to react to this message? Create an account in a few clicks or log in to continue.

Verifying nesC apps in PAT

Go down

Verifying nesC apps in PAT Empty Verifying nesC apps in PAT

Post  Manchun 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

Back to top Go down

Back to top


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