Abstract
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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
