نتایج جستجو برای: جعبه ابزار stateflow
تعداد نتایج: 54422 فیلتر نتایج به سال:
This paper focuses on the use of ISO Standard Z and CADiZ in the formal validation of Stateflow models against requirements-oriented assumptions. It documents some of what the Simulink/Stateflow Analyser tool does in support of the Practical Formal Specification method. The tool aims to automate the formal validations of the method, so that users of Simulink/Stateflow can benefit from them. The...
In this paper we describe a part of our work on the automatic generation of target code from Stateflow models. We focus on the flow diagrams from the Stateflow component of MATLAB and describe how flow diagram models can be compiled into target code for embedded systems. Moreover, the paper describes a method for analyzing flow diagrams, allowing an efficient code generation. The method describ...
Stateflow models are complex software models, often used as part of industrial safety-critical solutions designed with Matlab Simulink. Being solutions, these require the application rigorous verification techniques for assuring their correctness. In this paper, we propose a refutation-based formal approach analyzing against invariant properties, based on bounded model checking (BMC). The crux ...
Real-time mobility is important for many real-world applications, e.g., transportation, urban planning, given different level administrative jurisdiction. However, most of the existing work focuses at small scale with limited data samples (e.g. region or city level with samples over all the taxis). Recently, with upgrades of transportation infrastructures, we have new opportunities to capture r...
This report presents the approach experimented by a railway signaling manufacturer for the development of applications through Simulink/Stateflow in a standard–regulated industrial framework. The General Electric Transportation Systems (GETS) railway signaling division of Florence, inside a long-term effort of introducing formal methods to enforce product safety, decided to adopt the Simulink/S...
راهبردهای گفتمانی در اخبار محیط زیست صدا و سیما:چارچوب سازی در اخبار آلودگی هوای تهران( آذر 89 و 90)
هدف این تحقیق، شناخت راهبردهای گفتمانی در حوزه اخبار محیط زیست در سازمان صدا و سیما و خبرگزاری ج.ا.ا.(ایرنا) است. مطالعه موردی تحقیق، شناسایی این راهبردها در قالب «چارچوب سازی خبری» در انتشار اخبار آلودگی هوای شهر تهران از سایت واحد مرکزی خبر و خبرگزاری ایرنا در بازه زمانی آذر 89 و 90 است. 1- در انتشار اخبار محیط زیست، چه راهبردهای گفتمانی در صدا و سیما و ایرنا وجود دارد؟ و 2- در راهبردهای گفت...
در این مقاله طراحی و تهیه یک نرم افزار جامع کامپیوتری برای آموزش و تحلیل عملکرد انواع مختلف درایوهای موتور القایی توضیح داده شده است. برای این منظور از زبان مطلب 3/5 و جعبه ابزار سیمولینک استفاده شده است. در این نرم افزار اجزای مختلف یک درایو به صورت بلوک های مستقل وجود دارند. بعضی از این اجزا عبارت اند از : موتور القایی، اینورترهای csi ، اینورتر vsi ، تخمین گر شار و گشتاور، کنترل کننده های سرع...
نظریه به عنوان «رویکرد» به مثابه جعبه ابزاری برای ساختن و آزمون تجربی پرسش ها و مفاهیم مورد نظر قرار میگیرد. در دهههای گذشته، بحث دربارة جایگاه نظریه همواره محل مباحثه و مناظره فکری بوده است. آیا نظریه وجود دارد و اساساً ماهیت نظریه چیست؟ این که چگونه میتوان نظریه را عنوان جعبه ابزاری فراگیرتر برای مداخله در فرهنگ های معاصر مورد توجه قرار داد و چه کاری را میتوان با آن انجام داد؟ محور اصلی ...
1 .O Introduction The HiVy toolset provides model checking for statecharts ([SFUG]). This is achieved by translating statechart specifications into the input language of the Spin model checker ([Ho197]). The HiVy toolbox transforms output of the commercial tool Stateflow@ provided by The Mathworks. HiVy can also be used independently from Stateflow. An abstract syntax of hierarchical sequential...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید