Repository logo
Author Profile

Matyasik, Piotr

Profile Picture

Email Address

Employee

nieaktywny

Alternative name

OrgUnit Logo
Item type:Organizational Unit,

Discipline

Author Profiles
ORCID: 0000-0001-5003-2439 
Systemy AGH
Bibliografia: BaDAP AGH 
Full item page

Filters

20111

Advanced Search

Filter by

Settings

Author of publication: search.filters.isAuthorOfPublication.eebcc977-f048-467c-9c67-eb5bb67775d4

Search Results

Now showing 1 - 2 of 2
  • thumbnail.journal.alt
    Item type:Article, Access status: Open Access ,
    Introduction to modelling embedded systems with Alvis
    (Wydawnictwa AGH, 2011) Szpyrka, Marcin; Matyasik, Piotr; Mrówka, Rafał; Witalec, Wojciech; Baniewicz, Jarosław; Kotulski, Leszek
    Alvis jest językiem modelowania rozwijanym z myślą o systemach współbieżnych w szczególności systemach wbudowanych. Łączy on w sobie graficzny język modelowania, przeznaczony do definiowania połączeń komunikacyjnych między agentami, z językiem programowania wysokiego poziomu, przeznaczonym do definiowania zachowania poszczególnych agentów. W artykule przedstawiono wybrane aspekty modelowania systemów wbudowanych z użyciem języka Alvis.
  • thumbnail.journal.alt
    Item type:Doctoral Dissertation, Access status: Open Access ,
    Modelowanie i analiza systemów wbudowanych z zastosowaniem algebry procesów XCCS
    (Data obrony: 2009) Matyasik, Piotr
    Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki
    In dissertation an algebraic/visual modeling language XCCS based on CCS was introduced, both elementary and extended version (with value passing). This language is an extension of CCS algebras and can be automatically transformed to CCS model. Presented language was designed for modeling and verification of embedded systems. Dissertation consists of CSS and XCCS algebras description, both basic and value passing extended versions. Moreover the Inez software is presented which is a tool for editing and transforming XCCS models. Last part of a dissertation is a practical application of presented methods and tools. An internal controller of the Hexor II robot is modeled and verified. Also an example implementation based on developed model is introduced.