הרשמה
שם פרטי*
שם משפחה*
כתובת דוא"ל*
נייד*
חברה/ארגון*
אנו משתמשים ב- BigMarker כפלטפורמת הוובינר שלנו. בלחיצה על הרשמה, אתה מאשר שהמידע שאתה מספק יועבר לעיבוד BigMarker בהתאם תנאי השימוש ו מדיניות פרטיות .
כדי לקבל אישור על תקינות התוכנה, עלינו להראות שאנו עומדים בדרישות וסטנדרטים מתאימים, כמו MISRA או IEC-62304.

בהרצאה זו נראה כיצד ניתן לבדוק קוד C/C++ בצורה סטטית ודינמית, להוכיח את עמידתו בתקנים השונים, ולהוכיח בצורה מתימטית כי אין בו באגים.

את כל תוצאות הבדיקה נראה כיצד ניתן לייצא למסמכים מתאימים, ולאפשר המשך תהליך הרישוי בצורה פשוטה.
1713700579-426ce0d276a8a170
Senior MATLAB & Simulink Application Engineer
שתף