نتایج جستجو برای: جعبه ابزار Stateflow

تعداد نتایج: 54422  

ژورنال: :مهندسی حمل و نقل 0
بیژن معاونی استادیار، دانشکده مهندسی راه آهن، دانشگاه علم و صنعت ایران، تهران، ایران محمدعلی صندیدزاده استادیار، دانشکده مهندسی راه آهن، دانشگاه علم و صنعت ایران، تهران، ایران حمیدرضا کشاورز دانش آموخته کارشناسی ارشد، دانشکده مهندسی راه آهن، دانشگاه علم و صنعت ایران، تهران، ایران

سیستم های علائم الکتریکی و اینترلاکینگ نقشی حیاتی در ایجاد یک حمل و نقل ایمن در سیستم های راهآهن ایفا میکنند. از آنجایی که در این سیستمها رخدادن هیچ نوع خطایی حتی کوچک جایز نیست، استفاده از روشهای صوری برای طراحی، شبیه سازی، مدلسازی و ارزیابی، بسیار حائز اهمیت است. چندین روش صوری برای طراحی وجود دارد که یکی از ابزارهای مناسب، استفاده از جعبه ابزار stateflow نرم افزار matlab است. در این مقاله یک...

2014
Paolo Masci Yi Zhang Paul L. Jones Patrick Oladimeji Enrico D'Urso Cinzia Bernardeschi Paul Curzon Harold W. Thimbleby

An approach is presented to integrate PVS executable specifications and Stateflow models. It uses web services to enable a seamless exchange of simulation events and data between PVSio and Stateflow. The approach’s effectiveness is demonstrated on a medical device prototype. The prototype’s user interface is a PVS specification with its software controller implemented in Stateflow. Using the we...

2017
Hamza Bourbouh Pierre-Loïc Garoche Christophe Garion Arie Gurfinkel Temesghen Kahsai Xavier Thirioux

Stateflow is a widely used modeling framework for embedded and cyberphysical systems where control software interacts with physical processes. In this work, we present a framework and a fully automated safety verification technique for Stateflow models. Our approach is two-folded: (i) we faithfully compile Stateflow models into hierarchical state machines, and (ii) we use automated logic-based ...

2007
Lionel Morel Pontus Boström

As embedded control systems are becoming more complex, there is a need for new software development and structuring techniques. The combination Simulink/Stateflow has become a popular tool for model-based design for this type of hybrid systems, due to the simulation and analysis tools available. To enable design and validation of large complex systems in Simulink/Stateflow, an appropriate model...

ژورنال: مهندسی حمل و نقل 2015

سیستم های علائم الکتریکی و اینترلاکینگ نقشی حیاتی در ایجاد یک حمل و نقل ایمن در سیستم های راهآهن ایفا میکنند. از آنجایی که در این سیستمها رخدادن هیچ نوع خطایی حتی کوچک جایز نیست، استفاده از روشهای صوری برای طراحی، شبیه سازی، مدلسازی و ارزیابی، بسیار حائز اهمیت است. چندین روش صوری برای طراحی وجود دارد که یکی از ابزارهای مناسب، استفاده از جعبه ابزار Stateflow نرم افز...

2013
Adrian Beer Todor Georgiev Florian Leitner-Fischer Stefan Leue

In this paper we report on work in progress to extend the QuantUM approach to support the quantitative property analysis of Matlab Simulink / Stateflow models. We propose a translation of Simulink / Stateflow models to CTMCs which can be analyzed using the PRISM model checker inside the QuantUM tool. We also illustrate how the information needed to perform probabilistic analysis of dependabilit...

2006
Pontus Boström Lionel Morel

This paper presents an application of the mode-automata based design method to Stateflow/Simulink. The observation we make is two fold. First, we realized that modeautomata, being one of the most convincing proposition made recently to separate control from signal processing, is only starting to be applied to industrial tools. Second, although the separation of control and signal processing is ...

2011
Alvaro Miyazawa Ana Cavalcanti

Simulink/Stateflow charts are widely used in industry for the specification of control systems, which are often safety-critical. This suggests a need for a formal treatment of such models. In previous work, we have proposed a technique for automatic generation of formal models of Stateflow blocks to support refinement-based reasoning. In this article, we present a refinement strategy that suppo...

Journal: :Electronic Notes in Theoretical Computer Science 2009

2017
Debjyoti Bera Kees van Hee Henk Nijmeijer

The behavior of a hybrid system is a mixture of continuous behavior and discrete event behavior. The Simulink/Stateflow toolset is a widely used industrial tool to design and validate hybrid control systems using numerical simulation methods for the continuous parts and an executable Stateflow (combination of Statecharts and Flowcharts) for the discrete event parts. On the other hand, Colored P...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید