ارائه دهنده: رضوان شیروی خوزانی استاد راهنما: دکتر عبداله زاده بارفروش

1. دانشگاه صنعتی امیرکبیر دانشکده مهندسی کامپیوتر و فناوری اطلاعات ارائه یک مدل فرآیند جدید جهت پردازش نیازمندی‌ها برای سیستم‌های حساس با تاکید بر صحت‌سنجی و اعتبارسنجی آزمایشگاه سیستم‌های هوشمند ارائه دهنده: رضوان شیروی خوزانی استاد راهنما: دکتر عبداله زاده بارفروش

2. 1 2 3 4 5 مقدمه تکنیک‌های صحت‌سنجی و اعتبارسنجی روش پیشنهادی ارزیابی نتیجه‌گیری و پیشنهادات فهرست مطالب آزمایشگاه سیستم‌های هوشمند

3. مقدمه آزمایشگاه سیستم‌های هوشمند

4. تعاریف • سیستم حساس • بروز هرگونه اختلال در عمکردهای محوله منجر به بروز خطر و وقوعخسارت‌های مالی و جانی زیاد و خرابی‌های فیزیکی می‌گردد که بعضا جبران‌ناپذیر می‌باشند. • مهندسی نیازمندی • شناسایی و توصیف نیازمندی‌ها • پلی بین نیازهای مشتری و کاربران در دنیای واقعی، و عوامل و محدودیت‌های تاثیرگذار بر روی سیستم آزمایشگاه سیستم‌های هوشمند

5. تعاریف • صحت‌سنجی • درستی عملکرد، پیاده سازی و برآورده شدن نیازمندی‌های کارکردی و غیرکارکردی تعریف شده را بررسی می‌نماید. • اعتبارسنجی • برآورده شدن نیازمندی‌های مشتری در نرم افزار را مورد بررسی قرار می‌دهد. آزمایشگاه سیستم‌های هوشمند

6. جایگاه سیستم‌های حساس دسته‌بندی انواع سیستم‌های نرم افزاری از دیدگاه‌های مختلف آزمایشگاه سیستم‌های هوشمند

7. آزمایشگاه سیستم‌های هوشمند

8. هدف پروژه • ارائه تکنیکی مناسب جهت اجرای صحت‌سنجی و اعتبارسنجی در فرایند مهندسی نیازمندی با توجه به ویژگی‎های سیستم‌های حساس و کیفیت موردانتظار در آن‌ها. • مشخص نمودن جایگاه تکنیک پیشنهادی در مدل فرایند مهندسی نیازمندی. آزمایشگاه سیستم‌های هوشمند

9. جایگاه پروژه مهندسی نرم افزار آنالیز طراحی پیاده سازی تست نگهداری مدل کردن مهندسی نیازمندی آزمایشگاه سیستم‌های هوشمند استخراج آنالیز و امکان سنجی مستند کردن صحت‌سنجی و اعتبارسنجی استخراج

10. در راستای انجام پروژه کارهای ذیل انجام شد: • دسته‌بندی سیستم‌های نرم افزاری • دسته‌بندی تکنیک‌های صحت‌سنجی و اعتبارسنجی • ارائه یک چارچوب جهت ارزیابی و مقایسه تکنیک‌های صحت‌سنجی و اعتبارسنجی • مقایسه تطبیقی تکنیک‌های صحت‌سنجی و اعتبارسنجی • طراحی چک لیست برای انجام مراحل مختلف • دستاوردها آزمایشگاه سیستم‌های هوشمند

11. تکنیک ‌های صحت‌سنجی و اعتبارسنجی • ارائه چارچوب جهت ارزیابی و مقایسه تکنیک‌ها آزمایشگاه سیستم‌های هوشمند

12. کارهای انجام شده آزمایشگاه سیستم‌های هوشمند

13. تکنیک‌های مورداستفاده در مهندسی نیازمندی دسته‌بندی تکنیک‌های صحت‌سنجی و اعتبارسنجی آزمایشگاه سیستم‌های هوشمند

14. آزمایشگاه سیستم‌های هوشمند

15. مهارت تکنیکی • ابزار • خوانایی • دقت • میزان کشف خطا • میزان بررسی سازگاری • زمان مصرفی • پیچیدگی • هزینه مصرفی • بهره‌وری • میزان پوشش‌دهی ویژگی‌های سیستم‌های حساس • ارائه چارچوب جهت ارزیابی و مقایسه تکنیک‌ها آزمایشگاه سیستم‌های هوشمند

16. دقت • زمان مصرفی • مهارت تکنیکی • ارائه چارچوب جهت ارزیابی و مقایسه تکنیک‌ها آزمایشگاه سیستم‌های هوشمند

17. تکنیک‌های انتخاب شده جهت مقایسه تطبیقی: • تکنیک بازرسی • تکنیک گراف علت و معلول • تکنیک اثبات تئوری • تکنیک اعتبارسنجی سطحی • تکنیک بررسی مدل • تکنیک بررسی مدل به هنگام اجرا • تکنیک مبتنی بر هدف • مقایسه تطبیقی تکنیک‌ها آزمایشگاه سیستم‌های هوشمند

18. تکنیک پیشنهادی • دستاوردها • مدل فرایند مهندسی نیازمندی روش پیشنهادی آزمایشگاه سیستم‌های هوشمند

19. تکنیک پیشنهادی • تکنیک پیشنهادی در راستای برآوردن ویژگی‌های سیستم‌های حساس از 3 فاز تشکیل شده است: • فاز اول: برگزاری یک جلسه با استفاده از مجموعه‌ای از چک لیست‌ها • فاز دوم: ‌رسم گراف علت و معلول • فاز سوم: استفاده از تکنیک صوری آزمایشگاه سیستم‌های هوشمند

20. تکنیک پیشنهادی آزمایشگاه سیستم‌های هوشمند

21. فاز اول آزمایشگاه سیستم‌های هوشمند

22. تکنیک پیشنهادی فاز اول آزمایشگاه سیستم‌های هوشمند

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

24. فاز دوم آزمایشگاه سیستم‌های هوشمند

25. اهداف فاز دوم • اعتبارسنجی نیازمندی‌ها • بررسی صحت نیازمندی‌های حساس مشخص شده • کشف بخشی از ناسازگاری‌ها در نیازمندی‌ها • امکان ردیابی بعضی از نیازمندی‌ها • شناسایی نیازمندی‌های مرتبط به نیازمندی‌های غیرکارکردی به صورت انتزاعی آزمایشگاه سیستم‌های هوشمند

26. تکنیک پیشنهادی فاز سوم آزمایشگاه سیستم‌های هوشمند

27. اهداف فاز سوم • توصیف دقیق نیازمندی‌های حساس • کشف بسیاری از خطاها و ناسازگاری‌‌ها • ایجاد پایه‌ای صحیح برای اجرای صحت‌سنجی در مراحل بعدی دوره حیات آزمایشگاه سیستم‌های هوشمند

28. مدل فرایند مهندسی نیازمندی آزمایشگاه سیستم‌های هوشمند

29. امکان‌سنجی روش پیشنهادی • ارزیابی تحلیلی • ارزیابی کمی ارزیابی آزمایشگاه سیستم‌های هوشمند

30. امکان‌سنجی روش پیشنهادی • سیستم کنترل ترافیک به عنوان مطالعه موردی • هدف: بهبودکارایی سیستم حمل و نقل و وضعیت ترافیک • سیستم کنترل ترافیک، یک سیستم حساس • وضعیت ترافیک تاثیر مستقیمی بر میزان هزینه و زمان مصرفی افراد دارد. • روزانه افراد بسیار زیادی با آن سروکار دارند. • اختلال در سیستم باعث خسارات جبران ناپذیری مالی و انسانی می‌گردد. آزمایشگاه سیستم‌های هوشمند

31. مدیریت و کنترل چراغ‌های راهنمایی مدیریت مسائل مرتبط با عابران پیاده مدیریت اطلاع رسانی سیستم کنترل ترافیک مدیریت وسایل نقلیه عمومی و اضطراری مدیریت خیابانهای شهر آزمایشگاه سیستم‌های هوشمند

32. امکان‌سنجی روش پیشنهادی آزمایشگاه سیستم‌های هوشمند

33. استخراج نیازمندی‌ها • مشخص نمودن اجزاء سیستم • مشخص نمودن معیارهای ارزیابی • مشخص نمودن ورودی‌های موردنیاز سیستم • مشخص نمودن نیازمندی‌های اولیه سیستم • مشخص نمودن حالت‌های اجزاء سیستم آزمایشگاه سیستم‌های هوشمند

34. امکان‌سنجی روش پیشنهادی آزمایشگاه سیستم‌های هوشمند

35. شناسایی نوع سیستم آزمایشگاه سیستم‌های هوشمند

36. امکان‌سنجی روش پیشنهادی آزمایشگاه سیستم‌های هوشمند

37. چه چیزی؟ آنالیز و امکان‌سنجی نیازمندی‌ها و مستند کردن آن‌ها • 1- سیستم باید اطلاعات و داده‌های موردنیاز از جمله وضعیت ترافیک را به صورت بلادرنگ دریافت و ارسال نماید. چه چیزی؟ بازبینی1 1-1-سیستم برخی از اطلاعات خود را از اپراتور دریافت می‌کند. بازبینی2 • 1-1-1-سیستم باید قادر به دریافت برنامه‌های زمانی به صورت دستی توسط اپراتور باشد. آزمایشگاه سیستم‌های هوشمند

38. امکان‌سنجی روش پیشنهادی آزمایشگاه سیستم‌های هوشمند

39. اجرای فاز اول تکنیک پیشنهادی • اعتبارسنجی اولیه نیازمندی‌ها • مشخص نمودن نیازمندی‌های حساس آزمایشگاه سیستم‌های هوشمند

40. امکان‌سنجی روش پیشنهادی آزمایشگاه سیستم‌های هوشمند

41. اجرای فاز دوم تکنیک پیشنهادی آزمایشگاه سیستم‌های هوشمند

42. اجرای فاز دوم تکنیک پیشنهادی • نیازمندی‌ 1-1-4 (دریافت شبکه راه‌ها) • نیازمندی‌ 1-2 (دریافت و ارسال اطلاعات چراغ‌های راهنمایی) • نیازمندی‌ 2-4 (بازیابی ورودی‌های سیستم در هر لحظه) • نیازمندی‌ 2-2 (بازیابی اطلاعات چراغ‌های راهنمایی) • نیازمندی‌ 10-4 (تعیین برنامه زمانی چراغ‌های راهنمایی) • نیازمندی‌ 16-1 و 17-1 (دریافت اطلاعات مسدود بودن خیابان) • به مجموعه نیازمندی‌های حساس اضافه شدند. آزمایشگاه سیستم‌های هوشمند

43. امکان‌سنجی روش پیشنهادی آزمایشگاه سیستم‌های هوشمند

44. مدل کردن • نمودار نمونه کاربرد آزمایشگاه سیستم‌های هوشمند

45. مدل کردن • نمودار کلاس آزمایشگاه سیستم‌های هوشمند

46. امکان‌سنجی روش پیشنهادی آزمایشگاه سیستم‌های هوشمند

47. اجرای فاز سوم تکنیک پیشنهادی • انتخاب زبان صوری مناسب : Object-Z • ماژولار کردن مشخصات • اثبات آسان ویژگی‌ها • اجرای آسان پالایش • متدلوژی شی‌گرا • تولید یکپارچه پالایش اولیه آزمایشگاه سیستم‌های هوشمند

48. تکنیک پیشنهادی تکنیک آقای برگو • ارزیابی تحلیلی تکنیک آقای راشبی تکنیک آقای شیه تکنیک آقای کارپنتر تکنیک آقای پنسارد • ترکیبی از گراف علت و معلول و اثبات تئوری • برقراری ارتباط موثر با غیرمتخصصان، کاربران و مشتری • توصیف دقیق نیازمندی‌ها • بررسی دقیق صحت نیازمندی‌ها • بررسی موثر اعتبار نیازمندی‌ها • کشف خطاها و ناسازگاری‌ها به صورت موثر • کاهش زمان مصرفی • کاهش پیچیدگی • بدون محدودیت در اندازه سیستم • بدون نیاز به یک رویکرد خاص • استفاده از تکنیک بررسی مدل به هنگام اجرا • بررسی موثر اعتبار نیازمندی‌ها • ارتباط آسان با غیرمتخصصان • محدودیت در اندازه سیستم • بررسی صحت با استفاده از نمونه‌های تست • قابل استفاده برای نیازمندی‌های رفتاری سیستم • مبتنی بر هدف • ترکیبی از تکنیک اثبات تئوری و بررسی مدل • بررسی دقیق صحت و اعتبار نیازمندی‌ها • ارتباط آسان با غیرمتخصصان • کشف خطاها و ناسازگاری‌ها به صورت موثر • آشنایی با مفاهیم رویکرد مبتنی بر هدف • عدم بررسی ناسازگاری بین اهداف • استفاده از تکنیک اثبات تئوری • توصیف دقیق نیازمندی‌ها • بررسی دقیق صحت نیازمندی‌ها • کشف خطاها و ناسازگاری‌ها به صورت موثر • اعتبارسنجی سطحی نیازمندی‌ها • زمان مصرفی بالا • پیچیدگی بالا • ضعف ارتباطی با غیرمتخصصان • استفاده از نمودارهای نمونه کاربرد و توالی و نمونه‌های تست • بررسی ناقص صحت و اعتبار نیازمندی‌ها • استفاده از نمودار حالت و توصیف صوری • قابل استفاده برای نیازمندی‌های زمانی • بررسی موثر اعتبار نیازمندی‌ها • توصیف دقیق شرایط و محدودیت‌های زمانی • محدودیت در اندازه سیستم آزمایشگاه سیستم‌های هوشمند

49. ارزیابی کمی آزمایشگاه سیستم‌های هوشمند

50. نتیجه‌گیری • پیشنهادات نتیجه‌گیری و پیشنهادات آزمایشگاه سیستم‌های هوشمند