Cited By
View all- Filipovikj PUng GGurov DNyberg M(2022)Bounded Invariant Checking for StateflowElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.371.3371(38-52)Online publication date: 27-Sep-2022
A Stochastic Extension of Stateflow
Pages 211 - 222
Abstract
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.
References
[1]
Aditya Agrawal, Gyula Simon, and Gabor Karsai. 2004. Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. Electronic Notes in Theoretical Computer Science 109 (2004), 43--56. 3https://www.prismmodelchecker.org/
[2]
Adrian Beer, Todor Georgiev, Florian Leitner-Fischer, and Stefan Leue. 2013. Model-Based Quantitative Safety Analysis of Matlab Simulink/Stateflow Models. In MBEES.
[3]
MathWorks Advisory Board. 2020. Control algorithm modeling guidelines using MATLAB, Simulink, and Stateflow. Technical Report. SRI International. https://www.mathworks.com/solutions/mab-guidelines.html.
[4]
Pontus Boström. 2006. Mode-Automata in Simulink/Stateflow. Technical report. Turku Centre for Computer Science.
[5]
David Roxbee Cox. 1955. A use of complex probabilities in the theory of stochastic processes. Mathematical Proceedings of the Cambridge Philosophical Society 51(2) (1955), 313--319.
[6]
Matthias Gudemann and Frank Ortmeier. 2010. A framework for qualitative and quantitative formal model-based safety analysis. In 2010 IEEE 12th International Symposium on High Assurance Systems Engineering. IEEE, 132--141.
[7]
Grégoire Hamon. 2005. A Denotational Semantics for Stateflow. In Proceedings of the 5st International Conference On Embedded Software (EMSOFT). ACM press, New York, NY, 164--172.
[8]
Grégoire Hamon and John Rushby. 2007. An Operational Semantics for Stateflow. International Journal on Software Tools for Technology Transfer (STTT) 9 (2007), 447--456.
[9]
David Harel. 1987. Statecharts: a visual formalism for complex systems. Science of computer programming 8 (1987), 231--274.
[10]
David N. Jansen. 2003. Extensions of Statecharts with probability, time, and stochastic timing. Ph.D. Dissertation. University of Twente.
[11]
Anjali Joshi, Steven P. Miller, Michael Whalen, and Mats P.E. Heimdahl. 2005. A proposal for model-based safety analysis. In 24th Digital Avionics Systems Conference, Vol. 2. IEEE, 13--.
[12]
Stefan Kaalen, Mattias Nyberg, and Olle Mattsson. 2021. Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow. In Quantitative Evaluation of Systems: 18th International Conference, Proceedings, Springer Nature, 2021, p. 105--126. Springer nature, 105--126.
[13]
Paula J. Pingree, Erich Mikk, Gerard J. Holzmann, Margaret H. Smith, and Dennis Dams. 2002. Validation of mission critical software design and implementation using model checking. In Proceedings of the 21st Digital Avionics Systems Conference (DASC). IEEE.
[14]
Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, and Florence Maraninchi. 2004. Defining and translating a ´´safe" subset of Simulink/Stateflow into Lustre. In Proceedings of the 4th ACM international conference on Embedded software (EMSOFT). ACM press, New York, NY, 259--268.
[15]
Ashish Tiwari. 2002. Formal semantics and analysis methods for Simulink Stateflow models. Technical Report. SRI International. http://www.csl.sri.com/- ?tiwari/stateflow.html.
Index Terms
- A Stochastic Extension of Stateflow
Recommendations
Clone detection in MATLAB Stateflow models
MATLAB Simulink is one of the leading tools for model-based software development in the automotive industry. One extension to Simulink is Stateflow, which allows the user to embed Statecharts as components in a Simulink model. These state machines ...
Repository mining for changes in Simulink and Stateflow models
AbstractModel-Based Development (MBD) is widely used for embedded controls development, with MATLAB/Simulink/Stateflow being one of the most used development environments in the automotive industry. Simulink/Stateflow models are the primary design ...
A step towards verification and synthesis from simulink/stateflow models
HSCC '11: Proceedings of the 14th international conference on Hybrid systems: computation and controlThis paper describes a toolkit for synthesizing hybrid supervisory control systems starting from the popular Simulink/Stateflow modeling environment. The toolkit provides a systematic strategy for translating Simulink/Stateflow models to hybrid automata ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
April 2022
242 pages
ISBN:9781450391436
DOI:10.1145/3489525
- General Chairs:
- Dan Feng,
- Steffen Becker,
- Program Chairs:
- Nikolas Herbst,
- Philipp Leitner,
- Publications Chair:
- Alessandro Papadopoulos
Copyright © 2022 Owner/Author.
This work is licensed under a Creative Commons Attribution International 4.0 License.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 09 April 2022
Check for updates
Author Tags
Qualifiers
- Research-article
Funding Sources
Conference
ICPE '22
Sponsor:
ICPE '22: ACM/SPEC International Conference on Performance Engineering
April 9 - 13, 2022
Beijing, China
Acceptance Rates
ICPE '22 Paper Acceptance Rate 14 of 58 submissions, 24%;
Overall Acceptance Rate 252 of 851 submissions, 30%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 284Total Downloads
- Downloads (Last 12 months)105
- Downloads (Last 6 weeks)17
Reflects downloads up to 09 Nov 2024
Other Metrics
Citations
Cited By
View all- Filipovikj PUng GGurov DNyberg M(2022)Bounded Invariant Checking for StateflowElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.371.3371(38-52)Online publication date: 27-Sep-2022
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in