mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Hybrid rebeca: Modeling and analyzing of cyber-physical systems
School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.
School of Electrical and Computer Engineering, University of Tehran, Tehran, Iran.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. School of Computer Science, Reykjavik University, Reykjavik, Iceland.
2019 (English)In: Lect. Notes Comput. Sci., Springer Verlag , 2019, p. 3-27Conference paper, Published paper (Refereed)
Abstract [en]

In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other. The computational model of actor supports modeling distributed asynchronously communicating systems. We propose Hybrid Rebeca language to support modeling of cyber-physical systems. Hybrid Rebeca is an extension of actor-based language Rebeca. In this extension, physical actors are introduced as new computational entities to encapsulate physical behaviors. To support various means of communication among the entities, the network is explicitly modeled as a separate entity from actors. We derive hybrid automata as the basis for analysis of Hybrid Rebeca models. We demonstrate the applicability of our approach through a case study in the domain of automotive systems. We use SpaceEx framework for the analysis of the case study. 

Place, publisher, year, edition, pages
Springer Verlag , 2019. p. 3-27
Series
Lecture Notes in Computer Science, ISSN 0302-9743 ; 11615 LNCS
Keywords [en]
Actor model, Cyber-physical systems, Hybrid automata
National Category
Computer and Information Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-44935DOI: 10.1007/978-3-030-23703-5_1Scopus ID: 2-s2.0-85069162822ISBN: 9783030237028 (print)OAI: oai:DiVA.org:mdh-44935DiVA, id: diva2:1339926
Conference
CyPhy 2018, WESE 2018
Note

Export Date: 1 August 2019; Conference Paper; Correspondence Address: Ghassemi, F.; School of Electrical and Computer Engineering, University of TehranIran; email: fghassemi@ut.ac.ir

Available from: 2019-08-01 Created: 2019-08-01 Last updated: 2019-08-01Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Sirjani, Marjan

Search in DiVA

By author/editor
Sirjani, Marjan
By organisation
Embedded Systems
Computer and Information Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf