PragmaDev Stüdyo - PragmaDev Studio

PragmaDev Stüdyo
Geliştirici (ler)PragmaDev
Kararlı sürüm
5.5
İşletim sistemiLinux, pencereler, Mac os işletim sistemi, Raspbian
TürYazılım geliştirme, Uygunluk testi
LisansÜcretsiz ve ticari
İnternet sitesiPragmadev.com

PragmaDev Stüdyo iletişim sistemlerinin teknik özelliklerine adanmış, 2002 yılında PragmaDev tarafından sunulan bir modelleme ve test yazılımı aracıdır.[1] Başlangıçta çağrıldı Gerçek Zamanlı Geliştirici Stüdyosu veya RTDS.[1] Birincil amacı SDL-RT'yi desteklemekti[2] modelleme teknolojisi. V5.0, 7 Ekim 2015'te piyasaya sürüldüğünden beri, RTDS, PragmaDev Studio olarak adlandırılır ve dört bağımsız modülde düzenlenir: Tanımlayıcı, Geliştirici, Test Edici ve İzleyici.[3] 29 Kasım 2016'da piyasaya sürülen V5.1, bir ücretsiz lisanslama modeli.[4][5]

Özellikleri

Şartname ve Açıklama Dili

Şartname ve Açıklama Dili (SDL), standartlaştırılmış bir modelleme dilidir. ITU-T iletişim sistemlerini tanımlamak için.[6] SDL grafikseldir, ancak SDL modellerini çalıştırılabilir hale getiren bir yürütme anlamsallığına sahip bir eylem dili içerir.[7] SDL, tam ve belirsiz olmadığı için resmi kabul edilir.[7] SDL-RT, eylem dilinin C veya C ++ talimatları ile değiştirildiği bir SDL çeşididir.[8] SDL-RT, SDL'yi kodla karıştırdığı için yarı resmi kabul edilir.[2] ITU-T, bir UML herhangi bir SDL aracının bir tür UML aracı.[9]

Simülasyon

PragmaDev Specifier, model hata ayıklayıcı gibi davranan bir SDL simülatörü yerleştirir.[10] Kesme noktalarını grafik olarak ayarlamak, değişkenleri görüntülemek ve bekleyen zamanlayıcılar mümkündür.[11] Yürütme sırasında, aşağıdakilere dayalı olarak canlı bir izleme oluşturulur: Mesaj Sırası Tablosu ITU-T standardı.[11]

Kod üretimi (derleyici)

PragmaDev Studio, bir SDL modelinden C veya C ++ kodu oluşturabilir ve PragmaDev Developer, bir SDL-RT modelinden C veya C ++ kodu oluşturabilir.[12] Oluşturulan kod, herhangi bir Gerçek Zamanlı İşletim Sistemi veya planlayıcı.[13] Araç, bir dizi entegrasyon sunar hata ayıklayıcılar Gdb gibi, böylece kullanıcı üretilen kodda değil, modelde hata ayıklamaya devam ettiğini hisseder.[12]

Model kontrolü

PragmaDev Studio, SDL modelini IF, FIACRE gibi farklı formatlara aktarabilir[14]veya üçüncü taraf araçlarda modeli doğrulamak için XLIA[15] Verimag'dan IFx, LAAS'tan TINA veya CEA LIST'den Diversity gibi.

Fonksiyonel test

PragmaDev Test Cihazı, TTCN-3 uluslararası test standardı.[16] Araç, test senaryolarını SDL modeline göre simüle edebilir veya derlenecek ve gerçek bir SUT.[17]

Modele Dayalı Test

  • PragmaDev Studio, bir simülasyondan kaynaklanan Mesaj Sırası Grafiklerinden TTCN-3 test senaryoları oluşturabilir.[18]

Dağıtım simülasyonu

PragmaDev Studio, bir SDL modelindeki davranışını doğrulamak için birçok SDL modelinin dağıtımını simüle edebilir. dağıtılmış hesaplama çevre.[11] Bu özellik, Berlin Humboldt Üniversitesi.[20][21]

Performans analizi

PragmaDev Studio, bir senaryo setinde zaman veya enerji için en iyi mimariyi bulmak için bir Performans Analizcisi sunar.[22]

CPS simülasyonu

PragmaDev Studio destekler Siber Fiziksel Sistemler (CPS) simülasyonu aracılığıyla Fonksiyonel Mock-up Arayüzü.[23]

Uygulama alanları

Telekomünikasyon

Aviyonik ve uzay

  • Spesifikasyonu ve geliştirilmesi Hava trafik kontrolü sistem için Airbus yüzeyleri.[29]
  • Bir uzay görevi için sistem mimarisi optimizasyonu.[30]
  • TASTE entegrasyonu, ESA gerçek zamanlı ve gömülü sistemlerin geliştirilmesine adanmış çerçeve.[31]

Yarı iletkenler

  • Mikro işlemcilerin donanım mimarisi optimizasyonu.[32]

Güvenlik

PragmaDev Studio geçmişi

Çıkış tarihiSürümÖzet
20021.xVxWorks için kod oluşturma ile SDL-RT desteği ve Tornado ile hata ayıklama.
20032 kereUML desteği.
20043.xSimülasyon dahil SDL desteği.
20094.xTest için TTCN-3 desteği.
20155.xYeni görünüm ve his. Modüllerde yeni organizasyon: Tanımlayıcı, Geliştirici, Test Edici, İzleyici.

PragmaDev

PragmaDev Studio'nun yaratıcısı, özel şirket PragmaDev'dir. PragmaDev 2001 yılında kuruldu ve Paris, Fransa'da bulunuyor.[37]

Referanslar

  1. ^ a b "Gömülü Kontrol Europ 2014 Sarı Sayfaları" (PDF).
  2. ^ a b "Şartname ve Açıklama Dili - Gerçek Zamanlı". www.sdl-rt.org. Alındı 2018-03-17.
  3. ^ "PragmaDev Studio Kullanım Kılavuzu" (PDF). 11 Nisan 2018.
  4. ^ "PragmaDev araçları özellikleri ve fiyatları".
  5. ^ "PragmaDev Studio Kurulum Kılavuzu" (PDF).
  6. ^ "ITU-T - Z.100: Tanımlama ve Tanımlama Dili - SDL-2010'a Genel Bakış".
  7. ^ a b "SDL Forum Topluluğu - SDL nedir?".
  8. ^ "ITU-T - Z.104: Tanımlama ve Tanımlama Dili - SDL-2010'daki veri ve eylem dili".
  9. ^ "ITU-T - Z.109: Tanımlama ve Tanımlama Dili - SDL-2010 için Birleşik modelleme dili profili".
  10. ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016/01/27). "Dağıtılmış Sistemleri Test Etmek İçin Otomatik Serpiştirme". doi:10.13140 / RG.2.1.4223.9764. Alıntı dergisi gerektirir | günlük = (Yardım)
  11. ^ a b c Brumbulli, Mihal; Gaudin, Emmanuel (2016). Karmaşık Sistemler Tasarımı ve Yönetimi Asya. Akıllı Sistemler ve Hesaplamadaki Gelişmeler. Springer, Cham. sayfa 17–29. doi:10.1007/978-3-319-29643-2_2. ISBN  9783319296425.
  12. ^ a b Brumbulli, Mihal; Fischer, Joachim (2010-10-04). Ağ Simülatörleri için SDL Kod Üretimi. Sistem Analizi ve Modelleme: Modeller Hakkında. Bilgisayar Bilimlerinde Ders Notları. Springer, Berlin, Heidelberg. s. 144–155. doi:10.1007/978-3-642-21652-7_9. ISBN  9783642216510.
  13. ^ Fischer, Joachim; Kühnlenz, Frank; Ahrens, Klaus; Eveslage, Ingmar (Aralık 2009). "Kendi Kendini Düzenleyen Deprem Erken Uyarı Sistemlerinin Model Tabanlı Geliştirilmesi". SNE Simülasyon Notları Avrupa. 18 (3–4): 9–20. doi:10.11128 / sne.19.on.09941. ISSN  2305-9974.
  14. ^ Rangra, Subeer; Gaudin, Emmanuel (2014-02-06). "SDL'den Fiacre'ye çeviri". doi:10.13140/2.1.1819.1683. Alıntı dergisi gerektirir | günlük = (Yardım)
  15. ^ Bagnato, Alessandra; Indrusiak, Leandro Soares; Quadri, Imran Rafiq; Rossi, Matteo (2014). Gömülü sistem tasarımı üzerine araştırma el kitabı. Bagnato, Alessandra, 1974-, Indrusiak, Leandro Soares, 1974-, Quadri, Imran Rafiq, 1981-, Rossi, Matteo, IGI Global. Hershey, Pennsylvania (701 E. Chocolate Avenue, Hershey, Pa., 17033, ABD). ISBN  9781466661943. OCLC  892759153.CS1 Maint: konum (bağlantı)
  16. ^ "Gömülü Kontrol Avrupa - 2017 Sarı Sayfalar" (PDF).
  17. ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016/01/27). "Dağıtılmış Sistemleri Test Etmek İçin Otomatik Serpiştirme". doi:10.13140 / rg.2.1.4223.9764. Alıntı dergisi gerektirir | günlük = (Yardım)
  18. ^ Gaudin, Emmanuel; Brunel, Eric (2013-06-26). MSC ile Mülk Doğrulama. SDL 2013: Modele Dayalı Güvenilirlik Mühendisliği. Bilgisayar Bilimlerinde Ders Notları. Springer, Berlin, Heidelberg. s. 19–35. doi:10.1007/978-3-642-38911-5_2. ISBN  9783642389108.
  19. ^ a b Deltour, Julien; Faivre, Alain; Gaudin, Emmanuel; Lapitre, Arnault (2014-09-29). Model Tabanlı Test: SDL / RTDS ve ÇEŞİTLİLİK ile Bir Yaklaşım. Sistem Analizi ve Modelleme: Modeller ve Yeniden Kullanılabilirlik. Bilgisayar Bilimlerinde Ders Notları. Springer, Cham. s. 198–206. doi:10.1007/978-3-319-11743-0_14. ISBN  9783319117423.
  20. ^ Brumbulli, Mihal; Fischer, Joachim (2012). Dağıtık iletişim sistemlerinin simülasyon görselleştirmesi. Bildiri Başlığı: 2012 Kış Simülasyonu Konferansı (WSC) Bildirileri. s. 1–12. CiteSeerX  10.1.1.659.8202. doi:10.1109 / wsc.2012.6465021. ISBN  978-1-4673-4782-2.
  21. ^ Brumbulli, Mihal; Fischer, Joachim (2012-10-01). Dağıtık İletişim Sistemlerinin Simülasyon Konfigürasyon Modellemesi. Sistem Analizi ve Modelleme: Teori ve Uygulama. Bilgisayar Bilimlerinde Ders Notları. Springer, Berlin, Heidelberg. s. 198–211. doi:10.1007/978-3-642-36757-1_12. ISBN  9783642367564.
  22. ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016-10-03). SDL Sistemlerinin Performansını Optimize Etme. Sistem Analizi ve Modelleme. Modellerin Teknolojiye Özgü Yönleri. Bilgisayar Bilimlerinde Ders Notları. Springer, Cham. s. 100–115. doi:10.1007/978-3-319-46613-2_7. ISBN  9783319466125.
  23. ^ "PragmaDev Studio'nun yeni özellikleri".
  24. ^ "PragmaDev: Alcatel sélectionne la plateforme de PragmaDev pour le développement de ses systèmes de commutation - News-Eco Informatique". www.news-eco.com. Alındı 2018-03-21.
  25. ^ Samadi, S .; Golmohammadi, A .; Jannesari, A .; Movahedi, M. R .; Khalaj, B .; Ghaemmaghami, S. (Aralık 2006). IEEE802.11 Orta Düzey Erişim Denetiminin Yeni Bir Uygulaması. 2006 Uluslararası Akıllı Sinyal İşleme ve İletişim Sempozyumu. sayfa 489–492. doi:10.1109 / ISPACS.2006.364704. ISBN  978-0-7803-9732-3.
  26. ^ Sherratt, Edel; Ober, Ileana; Gaudin, Emmanuel; Casas, Pau Fonseca i; Kristoffersen, Finn (2015-10-12). SDL - IoT Dili (PDF). SDL 2015: Akıllı Şehirler için Model Odaklı Mühendislik. Bilgisayar Bilimlerinde Ders Notları. Springer, Cham. s. 27–41. doi:10.1007/978-3-319-24912-4_3. ISBN  9783319249117.
  27. ^ Brumbulli, Mihal; Gaudin, Emmanuel (2016). Karmaşık Sistemler Tasarımı ve Yönetimi Asya. Akıllı Sistemler ve Hesaplamadaki Gelişmeler. Springer, Cham. sayfa 17–29. doi:10.1007/978-3-319-29643-2_2. ISBN  9783319296425.
  28. ^ "Uygun Maliyetli Çapraz Katman Protokol Testi: Bir Örnek Olay | SASE 2011". www.sase.com.ar (ispanyolca'da). Alındı 2018-03-21.
  29. ^ Bonnafous, Eric; Boniol, Frédéric; Dhaussy, Philippe; Dumas, Xavier (Ekim 2008). "Etkin ve gerçek bir MDE süreci deneyimi: ATC yerleşik sistemin tasarımı ve doğrulaması". UML ve FORMAL YÖNTEMLERLE İLGİLİ KONUTLAR. Kitakyushu-city, Japonya.
  30. ^ Brumbulli, Mihal; Gaudin, Emmanuel; Cortier, Alexandre; Rossignol, Alain (Ocak 2018). "Sistem Optimizasyonu: Uzay Alanında Bir Kullanım Örneği". 9. Avrupa Gömülü Gerçek Zamanlı Yazılım ve Sistemler Kongresi (ERTS 2018). Toulouse, Fransa.
  31. ^ Perrotin, Maxime; Conquet, Eric; Delange, Julien; Schiele, André; Tsiodras, Thanassis (2011-07-05). TASTE: Gerçek Zamanlı Yazılım Mühendisliği Araç Zincirine Genel Bakış, Durum ve Gelecek. SDL 2011: Entegre Sistem ve Yazılım Modellemesi. Bilgisayar Bilimlerinde Ders Notları. Springer, Berlin, Heidelberg. s. 26–37. doi:10.1007/978-3-642-25264-8_4. ISBN  9783642252631.
  32. ^ Gaudin, Emmanuel; Clouard, Alain (2015-10-12). SDL'de Kesintileri Tanıtmak İçin Bir Deney. SDL 2015: Akıllı Şehirler için Model Odaklı Mühendislik. Bilgisayar Bilimlerinde Ders Notları. Springer, Cham. sayfa 81–88. doi:10.1007/978-3-319-24912-4_7. ISBN  9783319249117.
  33. ^ Fischer, Joachim; Kühnlenz, Frank; Ahrens, Klaus; Eveslage, Ingmar (2009). "Kendi Kendini Düzenleyen Deprem Erken Uyarı Sistemlerinin Model Tabanlı Geliştirilmesi". SNE Simülasyon Notları Avrupa. 18 (3–4): 9–20. doi:10.11128 / sne.19.on.09941.
  34. ^ Fischer, Joachim; Redlich, Jens-Peter; Zschau, Jochen; Milkereit, Claus; Picozzi, Matteo; Fleming, Kevin; Brumbulli, Mihal; Lichtblau, Björn; Eveslage, Ingmar (2012). "Erken uyarı için kablosuz ağ algılama ağı". Ağ ve Bilgisayar Uygulamaları Dergisi. 35 (2): 538–547. doi:10.1016 / j.jnca.2011.07.016.
  35. ^ Hassine, M. B .; Grati, K .; Ghazel, A .; Kouki, A. (Nisan 2008). SDL-RT Kullanarak AIS Bağlantı Katmanının Tasarımı ve Uygulanması. 2008 2. Yıllık IEEE Sistemleri Konferansı. s. 1–5. doi:10.1109 / SİSTEMLER.2008.4518998. ISBN  978-1-4244-2149-7.
  36. ^ Ameur-Boulifa, Rabea; Cavalli, Ana; Maag, Stephane (Temmuz 2019). Resmi Test Hedeflerinden ETCS Karmaşık Yazılım Kontrol Sistemlerini Doğrulamak için TTCN-3'e. ICSOFT 2019. Bilgisayar ve Bilgi Bilimlerinde İletişim, cilt 1250. Springer, Cham. s. 156–178. doi:10.1007/978-3-030-52991-8_8. ISBN  978-3-030-52990-1.
  37. ^ "PragmaDev. Profili". Alındı 2014-03-30. PragmaDev, SDL tabanlı grafiksel yazılım modelleme araçları sağlayıcısıdır ...

daha fazla okuma

Dış bağlantılar