PackML Uyumlu Durum Makinesi Tasarımı
PackML veya Paketleme Makinesi Dili, OMAC (Organization for Machine Automation and Control – Makine Otomasyonu ve Kontrolü Organizasyonu) tarafından sağlanan, otomatikleştirilmiş makinelerin programlanması için bir standart tanımlar. PackML, OMAC Paketleme Çalışma Grubunun bir parçasıdır.
PackML uyumlu durum makineleri geliştirirken, mühendislerin genellikle tasarım sürecinde standarda uygunluğu periyodik olarak kontrol etmesi gerekir. PackML desteği için standart çözümler yalnızca IEC 61131-3 kodunu geliştirmek için bir şablon içerirken MathWorks, PackML uyumlu makine kontrol yazılımını tasarlamak, simüle etmek ve test etmek için entegre bir yöntemle PackML uyumluluğu desteğini genişletiyor:
- Modelleme şablonlarından yararlanarak oluşturmayı hızlandırır
- Statik kontroller yoluyla uyumluluğu sağlar
- IEC 61131-3 ST ve ANSI/ISO C/C++ için otomatik kod oluşturmayı kullanarak farklı PLC platformlarını hedefler.
PackML uyumlu durum makinesi tasarımı için MathWorks yetenekleri:
- PackML uyumlu durum makinelerini Simulink ve Stateflow’da modellemek için şablonlar Ek bir kullanıcı arabirimi, modelin aynı kalmasını sağlar
- PackML uyumlu, yani durum ve geçişler standarttaki tanımlara uygundur
- Simulink’te Simülasyon için etkinleştirildi, geliştiricilere erken ve artımlı doğrulama gerçekleştirme yeteneği sağlıyor
- Test Edilebilir – Simulink Design Verifier, model için kapsama dayalı test senaryoları oluşturmak için kullanılır, Simulink Testi, test senaryolarını yürütmek ve yönetmek için kullanılır
- Simulink Coder (C/C++) veya Simulink PLC Coder (IEC 61131-3) kullanılarak otomatik kod üretimi için konfigüre edilmiştir. Oluşturulan kod, PackTag’e uygundur ve bu nedenle diğer PackML uyumlu yazılımlara sorunsuz bir şekilde entegre edilebilir.
- PackML uyumluluğunu sağlayan otomatik statik kontroller
Statik kontroller, Model Danışmanı kullanılarak yürütülür ve modellenen PackML durum makinesi modelinin yapısal uygunluğunu kontrol eder. Bu, durumların, geçişlerin, durum işlevlerinin ve arayüzlerin uygunluğunu içerir. Böylece, PackML uyumluluğunun geçerliliğini yitirmesini sağlamak için yapılan manuel incelemeler.
- Simulink PLC Coder (IEC 61131-3 ST) veya Simulink Coder (C/C++) kullanılarak ortak PLC platformları için kod üretimi
Aşağıdaki PLC ve Endüstriyel PC platformları, Simulink’ten kod oluşturmayı destekler:
- 3S CoDeSys
- B&R Otomasyon Stüdyosu
- Bachmann Çözüm Merkezi
- Beckhoff TwinCAT
- Bosch Rexroth
- Mitsubishi Elektrik
- Omron
- Phoenix İletişim
- Siemens STEP 7 / TIA Portalı
Simulink PLC Coder, model ve kodun eşdeğer davranışını sağlamak için modeli doğrulamak için kullanılan test durumlarından bir test tezgahı oluşturma yeteneğine sahiptir.
Bu yetenekler, PackML uyumlu durum makineleri geliştirmek için Model Tabanlı Tasarım’ı etkinleştirir. Erken doğrulama, hızlı prototipleme ve otomatik kod oluşturma yoluyla Model Tabanlı Tasarım, geliştirilen makine kontrol yazılımının kalitesini artırmaya yardımcı olur.
Yazılım Referansı
Ayrıca bakınız: PLC simülasyonu, Sanal Devreye Alma
