PolySpace ve Certification ile Kaynak Kod Üzerinde Hatasızlık Kanıtı

Tarih: 05 Kasım
Süre: 11:00 – 12:25
Çalıştay Dili: İngilizce

Güvenlik Açısından Anahtar Kodunuzda Kaç Hata Var?

Seminerin bu bölümü, güvenlik açısından önemli olan kodlar geliştiren yazılım mühendisleri içindir. İlgili sanayi alanları: Havacılık, Savunma, Otomotiv ve Tıbbi Cihazlar olarak ele alınabilir.

Bu bölüm öncelikle C/C++ ya da Ada ile yazılım geliştiren veya geliştirme işlerini başka firmalara veren yazılım tasarımcıları, geliştiricileri, proje yöneticileri ve kalite mühendisleri için tasarlanmıştır. Bunun yanında kod doğruluklarını güvenli biçimde ispatlamayı amaçlayan herkes katılabilir.

İçerik
Seminer ile, kod doğrulama işlemi ve yazılım kalitesinin zorunlu olduğu projelerdeki sorunlar genel olarak ele alınacaktır. İzleyiciler, kod doğruluğunun projeyi ve proje geliştirme esnasında giderilen yürütme süresi hatalarının sonuçları nasıl etkilediğini öğreneceklerdir.

Ele alınacak konular:
- Verilen bir satır kodun her zaman doğru çalışacağının ispatı – örneğin: x = x / (x-y)
- Hataların bulunması ile hatasızlığın ispatlanması arasındaki fark
- Kodlama kurallarının denetimi, test edilmesi ve kod doğrulama arasında karşılaştırmalar

İlgili Ürünler
PolySpace Client for C/C++, PolySpace Server for C/C++, PolySpace Model Link SL, PolySpace Client for Ada, PolySpace Server for Ada

DO-178B Projelerinde Model Tabanlı Tasarım
Bu kısım, Model Tabanlı Tasarımın DO-178B projelerini nasıl kolaylaştırabildiğini göstermeyi amaçlamaktadır.
İlgili Ürünler
Simulink, Simulink Verification and Validation, Simulink Design Verifier, SystemTest, Real-Time Workshop Embedded Coder, Embedded IDE Link MU, PolySpace Client C/C++, PolySpace Server C/C++, DO Qualification Kit

Konuşmacılar
Martin BROCHET
Martin, 2000 yılında Elektronik ve Endüstriyel Hesaplama (Nimes) uzmanlığını ve 2004 yılında Paris’te E.C.E. ‘ÉCOLE CENTRALE D’ÉLECTRONIQUE’ Üniversitesi Gömülü Sistem Mühendisliği bölümünü tamamlamıştır. 2007 yılında MathWorks’e katılmadan önce, PolySpace üzerine uygulama mühendisi olarak ve birçok endüstriye yönelik satış aktivitelerinde, teknik bilgilendirme sürecinde ve eğitim faaliyetlerinin gerçekleşmesinde görev almıştır.

Ön Koşullar
Herhangi bir önkoşul bulunmamaktadır.

Detaylı bilgi için : marketing@figes.com.tr

Kayıt
Kayıt formu: http://www.figes.com.tr/konferans/2009/kayit.php
Katılım ücretleri: http://www.figes.com.tr/konferans/2009/ucretler.php
Diğer Çalıştaylar: http://www.figes.com.tr/konferans/2009/calistaylar.php