Case studies with Process Analysis Toolkit (PAT)

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.