در این مطلب، ویدئو مقدمه ای بر ابزار مجموعه ANSYS SCADE (قسمت 2 از 5) با زیرنویس فارسی را برای دانلود قرار داده ام. شما میتوانید با پرداخت 15 هزار تومان ، این ویدیو به علاوه تمامی فیلم های سایت را دانلود کنید. اکثر فیلم های سایت به زبان انگلیسی می باشند. این ویدئو دارای زیرنویس فارسی ترجمه شده توسط هوش مصنوعی می باشد که میتوانید نمونه ای از آن را در قسمت پایانی این مطلب مشاهده کنید.
مدت زمان فیلم: 00:05:11
تصاویر این ویدئو:
قسمتی از زیرنویس این فیلم:
06 =>10
سلام در این ویدیو من
2
10 =>12
ابزار مجموعه اسکیت محیط توسعه مبتنی بر مدل را
3
12 =>13
برای
4
13 =>15
برنامه های کاربردی حیاتی ایمنی بر اساس
5
15 =>19
فرمالیسم اسکیت ارائه خواهم کرد. فرمالیسم اسکیت
6
19 =>21
از فعالیت طراحی نرم افزار
7
21 =>23
با یک زبان توصیف به طور رسمی تعریف شده پشتیبانی
8
23 =>25
می کند و از کامل بودن و عدم ابهام نرم افزار مهم اطمینان می دهد.
9
25 =>27
طراحیهای
10
27 =>30
مبتنی بر نمودارهای بلوک جریان دادهها و
11
30 =>34
ماشینهای حالت، زبان اسکیت بر
12
34 =>36
اهداف کلیدی
13
36 =>39
ایمنی متکی است.
14
39 =>41
15
41 =>45
16
45 =>48
17
48 =>50
18
50 =>53
کد خارجی محیط آن را می توان
19
53 =>54
از طریق واسط های کاملاً تعریف شده ادغام کرد
20
54 =>58
و آزادانه جریان داده
21
58 =>01:02
و جریان کنترل را مانند ماشین های حالتی برای
22
01:02 =>01:04
دستیابی به این اهداف با هم
23
01:04 =>01:06
24
01:06 =>01:08
25
01:08 =>01:11
26
01:11 =>01:14
ترکیب می کند.
27
01:14 =>01:16
پشتیبانی از ابزار زبان اسکی
28
01:16 =>01:18
نماها و خدمات متعدد را
29
01:18 =>01:20
با مجموعه ای از کتابخانه ها ادغام می کند تا
30
01:20 =>01:24
بلافاصله طراحی مدل ها را
31
01:24 =>01:26
با بلوک های گرافیکی و یا متنی در
32
01:26 =>01:29
مجموعه
33
01:29 =>01:32
اسکیت شده شروع
34
01:32 =>01:35
کند.
35
01:35 =>01:37
محیط اشکال زدایی که
36
01:37 =>01:39
امکان تعریف شرایط توقف را فراهم می کند
37
01:39 =>01:41
که نقاط شکست را در یک چرخه ساعت تنظیم می کند
38
01:41 =>01:44
، بررسی متغیرهای داخلی
39
01:44 =>01:47
و مقادیر
40
01:47 =>01:48
خروجی شبیه ساز اجازه می دهد تا تست های مبتنی بر الزامات را
41
01:48 =>01:51
در سطح مدل برای تشخیص
42
01:51 =>01:54
زودهنگام خطاهای مشخصات انجام دهد، همچنین
43
01:54 =>01:56
امکان ضبط و پخش
44
01:56 =>02:00
سناریوهای شبیه سازی وجود دارد. به
45
02:00 =>02:02
تابع جستجوگر، این یکی
46
02:02 =>02:05
تأیید یکپارچگی مشخصات را در
47
02:05 =>02:08
سطح مدل انجام میدهد و یک گزارش HTML
48
02:08 =>02:13
با لینکهایی ایجاد میکند تا خطاها را بیابید ببینید
49
02:13 =>02:15
یا کدی را اضافه کنید که میتوان از مدلهای SCAD تولید کرد،
50
02:15 =>02:17
به لطف این مجموعه گیت،
51
02:17 =>02:20
تولیدکننده کد kcg kcg
52
02:20 =>02:22
واجد شرایط است. یک ابزار توسعه برای
53
02:22 =>02:24
استانداردهای اجباری برای
54
02:24 =>02:28
برنامههای کاربردی نرمافزار حیاتی ایمنی، این
55
02:28 =>02:30
تولیدکننده کد، تلاشهای تأیید را در
56
02:30 =>02:33
مرحله کدگذاری ذخیره میکند، مانند کد بازنگری
57
02:33 =>02:35
کد به
58
02:35 =>02:37
قابلیت ردیابی نیازمندیهای سطح پایین و آزمایش سطح پایین روی
59
02:37 =>02:40
کد تولید شده،
60
02:40 =>02:42
فعالیتهای تأیید مربوطه سرکوب میشوند
61
02:42 =>02:44
و اهداف