Verifying nesC apps in PAT
PAT Forum :: Support :: Using PAT :: NesC Module
Page 1 of 1
Verifying nesC apps in PAT
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.
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.
Manchun- Posts : 1
Join date : 2010-02-17
PAT Forum :: Support :: Using PAT :: NesC Module
Page 1 of 1
Permissions in this forum:
You cannot reply to topics in this forum
|
|