Case studies with Process Analysis Toolkit (PAT)

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

doi:10.1109/SOCDC.2009.5423889

Case studies with Process Analysis Toolkit (PAT)

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

Department of Computing

Research output: Chapter in Book or Report/Conference proceeding › Conference Proceeding › peer-review

4 Citations (Scopus)

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.

Original language	English
Title of host publication	2009 International SoC Design Conference, ISOCC 2009
Pages	133-136
Number of pages	4
DOIs	https://doi.org/10.1109/SOCDC.2009.5423889
Publication status	Published - 2009
Event	2009 International SoC Design Conference, ISOCC 2009 - Busan, Korea, Republic of Duration: 22 Nov 2009 → 24 Nov 2009

Publication series

Name	2009 International SoC Design Conference, ISOCC 2009

Conference

Conference	2009 International SoC Design Conference, ISOCC 2009
Country/Territory	Korea, Republic of
City	Busan
Period	22/11/09 → 24/11/09

Access to Document

10.1109/SOCDC.2009.5423889

Cite this

@inproceedings{49edde0fb70443f3b55cbfeb9570ff59,

title = "Case studies with Process Analysis Toolkit (PAT)",

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.",

author = "Man, {K. L.} and T. Krilavi{\v c}ius and Leung, {H. L.}",

year = "2009",

doi = "10.1109/SOCDC.2009.5423889",

language = "English",

isbn = "9781424450343",

series = "2009 International SoC Design Conference, ISOCC 2009",

pages = "133--136",

booktitle = "2009 International SoC Design Conference, ISOCC 2009",

note = "2009 International SoC Design Conference, ISOCC 2009 ; Conference date: 22-11-2009 Through 24-11-2009",

}

TY - GEN

T1 - Case studies with Process Analysis Toolkit (PAT)

AU - Man, K. L.

AU - Krilavičius, T.

AU - Leung, H. L.

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=77951477564&partnerID=8YFLogxK

U2 - 10.1109/SOCDC.2009.5423889

DO - 10.1109/SOCDC.2009.5423889

M3 - Conference Proceeding

AN - SCOPUS:77951477564

SN - 9781424450343

T3 - 2009 International SoC Design Conference, ISOCC 2009

SP - 133

EP - 136

BT - 2009 International SoC Design Conference, ISOCC 2009

T2 - 2009 International SoC Design Conference, ISOCC 2009

Y2 - 22 November 2009 through 24 November 2009

ER -

Case studies with Process Analysis Toolkit (PAT)

Abstract

Publication series

Conference

Access to Document

Other files and links

Cite this