Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/41787
Type of publication: Straipsnis kitose duomenų bazėse / Article in other databases (S4)
Field of Science: Informatika / Informatics (N009)
Author(s): Man, Ka Lok;Krilavičius, Tomas;Leung, H. L
Title: Case studies with Process Analysis Toolkit (PAT)
Is part of: SoC Design (ISOCC 2009) : international conference, 22-24 November 2009, Busan, South Korea : proceedings. Piscataway, N.J. : IEEE, 2009
Extent: p. 133-136
Date: 2009
Note: E-ISBN : 978-1-4244-5035-0
Keywords: Safety critical systems;Software engineering;Process Algebras;process analysis toolkit
ISBN: 9781424450343
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
Internet: https://hdl.handle.net/20.500.12259/41787
Affiliation(s): Informatikos fakultetas
Taikomosios informatikos katedra
Vytauto Didžiojo universitetas
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications

Files in This Item:
marc.xml7.96 kBXMLView/Open

MARC21 XML metadata

Show full item record

Page view(s)

150
checked on Mar 30, 2020

Download(s)

12
checked on Mar 30, 2020

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.