Verifying nesC apps in PAT

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


Posts : 1
Join date : 2010-02-17

View user profile

Back to top Go down

Back to top

- Similar topics

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