Case studies with Process Analysis Toolkit (PAT)

K. L. Man, T. Krilavičius, H. L. Leung

Research output: Chapter in Book or Report/Conference proceedingConference Proceedingpeer-review

4 Citations (Scopus)


Ad-hoc approach for the development of electronic systems does not satisfy current needs of industry. Therefore, new approaches and techniques are required. Formal Methods are well-known in Software Engineering for a long time, as a potential tool for a faultless development of safety critical systems. Moreover, Process Algebras are one of the most successful techniques that allow formally specifying and analyzing diverse systems. We exemplify application of formal methods by applying Process Analysis Toolkit (PAT), a toolset based on a CPS-style process algebra, to model and analyze a pipeline process and a TLM buffer. In addition, we present the analysis results of several benchmark systems using PAT, namely asynchronous arbiter, hazardous circuit and four-tap FIR filter.

Original languageEnglish
Title of host publication2009 International SoC Design Conference, ISOCC 2009
Number of pages4
Publication statusPublished - 2009
Event2009 International SoC Design Conference, ISOCC 2009 - Busan, Korea, Republic of
Duration: 22 Nov 200924 Nov 2009

Publication series

Name2009 International SoC Design Conference, ISOCC 2009


Conference2009 International SoC Design Conference, ISOCC 2009
Country/TerritoryKorea, Republic of

Cite this