Communication Systems in ClawZ

Communication Systems in ClawZ,10.1007/978-3-642-11811-1_25,Michael Vernon,Frank Zeyda,Ana Cavalcanti

Communication Systems in ClawZ  
BibTex | RIS | RefWorks Download
We investigate the use of ClawZ, a suite of tools for the verification of implementations of control laws, to construct formal models for control systems in the area of communications and signal-processing intensive applications. Whereas ClawZ has been successfully applied to verify control components in avionic systems, special requirements need to be identified and addressed to extend its use to the aforementioned application domain. This gives rise to several extensions, which we explain and subsequently validate by constructing the Z model of a software-defined radio communication device. The experience reported provides insight into general issues surrounding the use and extension of ClawZ.
Conference: Workshops on Abstract State Machines - ASM , pp. 334-348, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.