kth.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
A Stochastic Extension of Stateflow
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics. Scania.ORCID iD: 0000-0001-7972-8843
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.ORCID iD: 0000-0002-3939-3919
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics. Scania.ORCID iD: 0000-0001-6667-3783
Scania.
2022 (English)In: ICPE 22: Proceedings of the 2022 ACM/SPEC on International Conference on Performance Engineering / [ed] Association for Computing Machinery, New York, NY, United States, Association for Computing Machinery (ACM) , 2022, p. 211-222Conference paper, Published paper (Refereed)
Abstract [en]

Although commonly used in industry, a major drawback of Stateflow is that it lacks support for stochastic properties; properties that are often needed to build accurate models of real-world systems. In order to solve this problem, as the first contribution, Stochastic Stateflow (SSF) is presented as a stochastic extension of a subset of Stateflow models. As the second contribution, the tool SMP-tool is updated with support for SSF models specified in Stateflow. Finally, as the third contribution, an industrial case study is presented.  

 

Place, publisher, year, edition, pages
Association for Computing Machinery (ACM) , 2022. p. 211-222
Keywords [en]
Stateflow, SSF, SMP-tool, Stochastic, Model-based
National Category
Computational Mathematics
Identifiers
URN: urn:nbn:se:kth:diva-313247DOI: 10.1145/3489525.3511679ISI: 000883411400023Scopus ID: 2-s2.0-85128682345OAI: oai:DiVA.org:kth-313247DiVA, id: diva2:1662663
Conference
13th ACM/SPEC International Conference on Performance Engineering
Projects
SafeDim
Funder
Vinnova, 2020-05131
Note

Part of proceedings: ISBN 978-1-4503-9143-6

QC 20220621

Available from: 2022-06-01 Created: 2022-06-01 Last updated: 2023-01-16Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopushttps://doi.org/10.1145/3489525.3511679

Authority records

Kaalen, StefanHampus, AntonNyberg, MattiasMattsson, Olle

Search in DiVA

By author/editor
Kaalen, StefanHampus, AntonNyberg, MattiasMattsson, Olle
By organisation
Mechatronics
Computational Mathematics

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 141 hits
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