Please use this identifier to cite or link to this item:https://hdl.handle.net/20.500.12259/41787
Full metadata record
DC FieldValueLanguage
dc.contributor.authorMan, Ka Lok-
dc.contributor.authorKrilavičius, Tomas-
dc.contributor.authorLeung, H. L-
dc.coverage.spatialUS-
dc.date.accessioned2018-10-06T19:07:19Z-
dc.date.available2018-10-06T19:07:19Z-
dc.date.issued2009-
dc.identifier.isbn9781424450343-
dc.identifier.otherVDU02-000016284-
dc.identifier.urihttps://hdl.handle.net/20.500.12259/41787-
dc.descriptionE-ISBN : 978-1-4244-5035-0-
dc.description.abstractAd-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 filteren
dc.description.sponsorshipInformatikos fakultetas-
dc.description.sponsorshipTaikomosios informatikos katedra-
dc.description.sponsorshipVytauto Didžiojo universitetas-
dc.format.extentp. 133-136-
dc.language.isoen-
dc.relation.ispartofSoC Design (ISOCC 2009) : international conference, 22-24 November 2009, Busan, South Korea : proceedings. Piscataway, N.J. : IEEE, 2009-
dc.relation.isreferencedbyIEEE Xplore-
dc.relation.isreferencedbyScopus-
dc.subjectSafety critical systemsen
dc.subjectSoftware engineeringen
dc.subjectProcess Algebrasen
dc.subjectprocess analysis toolkiten
dc.subject.otherInformatika / Informatics (N009)-
dc.titleCase studies with Process Analysis Toolkit (PAT)en
dc.typeStraipsnis kitose duomenų bazėse / Article in other databases (S4)-
dc.identifier.doihttps://doi.org/10.1109/SOCDC.2009.5423889-
dcterms.bibliographicCitation13-
dc.date.updated2014-10-28T13:02Z-
local.object{"source": {"code": "vdu", "handle": "16284"}, "publisher": {"name": "IEEE Press", "list": true}, "db": {"clarivate": false, "scopus": true, "list": true}, "isbn": ["9781424450343"], "doi": "10.1109/SOCDC.2009.5423889", "code": "S4", "subject": ["N009"], "country": "US", "language": "en", "area": "N", "original": true, "pages": 4, "sheets": 0.286, "timestamp": "20141028130235.0", "account": {"year": 2009, "late": false}, "na": 3, "nip": 2, "affiliation": [{"contribution": 0.33333333333333, "aip": 1, "country": ["CN"], "rel": "aut", "lname": "Man", "fname": "Ka Lok", "status": "0", "name": "Man, Ka Lok"}, {"contribution": 0.33333333333333, "aip": 1, "country": ["LT"], "rel": "aut", "org": [{"create": true, "contribution": 0.33333333333333, "name": "Vytauto Didžiojo universitetas", "id": "111950396", "level": "0", "type": "uni", "research": "1", "status": "1", "unit": {"name": "Informatikos fakultetas", "id": "04", "level": "1", "type": "fak", "research": "1", "status": "1", "unit": {"name": "Taikomosios informatikos katedra", "id": "0401", "level": "2", "type": "kat", "research": "1", "status": "1"}}}], "id": "DD5A5F9F9ADFA0BC37D24E1184ED5391", "lname": "Krilavičius", "fname": "Tomas", "status": "1", "name": "Krilavičius, Tomas"}, {"contribution": 0.33333333333333, "aip": 1, "country": ["TW"], "rel": "aut", "lname": "Leung", "fname": "H. L", "status": "0", "name": "Leung, H. L"}]}-
local.typeS-
item.grantfulltextopen-
item.fulltextWith Fulltext-
crisitem.author.deptFizikos katedra-
crisitem.author.deptTaikomosios informatikos katedra-
crisitem.author.deptFizikos katedra-
Appears in Collections:Universiteto mokslo publikacijos / University Research Publications
Files in This Item:
marc.xml7.96 kBXMLView/Open

MARC21 XML metadata

Show simple item record
Export via OAI-PMH Interface in XML Formats
Export to Other Non-XML Formats

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.