Cyber-fiziksel sistemler (CPS) dijital ve fiziksel bileşenler arasındaki oyunla ilgili olarak hesaplamaları, ağ ve fiziksel süreçleri, akıllı, duyarlı sistemler oluşturmak için entegre eder ve mühendislere açıklamalarını sağlayan temel bir yaklaşım olarak ortaya koyar.Bu karmaşık sistemler dijital ve fiziksel bileşenler arasında oyun yürütmeye başlamadan önce titiz metodolojileri talep eder.|DüzDönetme:0Functional modelleme).

Fonksiyonel Modelleme Nedir?

Fonksiyonel modelleme, fiziksel mimariye bağımsız olarak bir sistem bağımsız olarak bir sistemin işlevlerini temsil eden bir sistem mühendisliği tekniğidir.Bu soyutlama, dinamik sistemlere girişlerin dönüşümü, enerji akışı, materyal ve bilgi ve mantıksal ilişkileri, kontrol algoritmaları, eylemciler ve fiziksel dinamik dinamik sistemlerle ilgili olarak, kontrol algoritmaların nasıl şekillenmesine olanak sağlar.

Onun özünde, fonksiyonel modelleme, yüksek seviyeli sistem hedeflerini bir hiyerarşik işlev kümesine yönlendirir.Her işlev, girişleri, çıktıları, kontrol akışları ve performans kısıtlamaları ile tanımlanır. Bu dekompozisyon, algılayıcı gibi alt sistemler, hareketlendirme, iletişim ve kontrol, entegrasyondan önce bireysel olarak modellenebilir ve analiz edilebilir.Seks dilleri gibi standartlaştırılmış modelleme Dilleri sağlar (Sistemler Dil) bu işlevsel modelleri oluşturmak için grafiksel notlar sağlar, ancak MATLAB/Sihirlink gibi uygulamalar zaman içinde davranışı dinamik bir şekilde doğrulayabilir.

CPS Design'da Fonksiyonel Modelleme Kullanımının Faydaları

Fonksiyonel modellemenin benimsenmesi, siber-fiziksel sistem gelişimi için birkaç farklı avantaj sunar:

  • [FONT:0]Yenilenebilirlik ve izlenebilirlik:) Fonksiyonel modeller sistemi açık bir şekilde tanımlar ve ilişkileri, tasarım, uygulama ve doğrulama yoluyla gereksinimleri takip etmek için daha kolay hale getirir. Her işlev bir hisse senedine göre, çeviride hiçbir şeyin kaybolmamasını sağlar.
  • [FONT:0]Early hata tespiti:[Dönetici modellerini tasarım sürecinde analiz ederek, mühendisler, uygunsuzluğu, eksik işlevleri, hesaplamaları ve kod işlemeden önce ölü senaryoları belirleyebilirler. Bu, gelişim hayatındaki hataların keşfini değiştirir, önemli ölçüde yeniden iş maliyetlerini azaltır.
  • [FONT:0) Çok disiplinli takımlar arasında iletişim kurmak: CPS projeleri mekanik mühendisler, yazılım geliştiricileri, elektrik mühendisleri ve alan uzmanları içerir. Fonksiyonel modeller, disiplin jargonu olan ortak bir dil olarak hizmet eder.
  • [FONT:0)Modularite ve yeniden kullanılabilir: Well-defined fonksiyonlar farklı CPS projelerinde kullanılabilir ve yeniden kullanılabilir. Örneğin, "konuş kontrol" işlevi robotik kolları, otonom araçlar ve CNC makinelerde aynı olabilir.
  • [FONT:0] Ticaretten sorumlu bir analiz için destek: Fonksiyonel modeller, mühendislerin fiziksel bileşenlere alternatif atamalarını keşfetmelerine izin verir. Örneğin, bir güvenlik-kırık fonksiyonu ortak bir yazılım görevine karşı özel bir donanım ünitesine tahsis edilebilir ve fonksiyonel model güvenilirliğe, gecikmeye ve maliyete olan etkisini değerlendirmeye yardımcı olabilir.

CPS Design'daki meydan okumalar ve nasıl Fonksiyonel Modelleme Adresiler Them

Cyber-fizik sistemleri, özellikle hedeflerle işlevsel modellemenin eşsiz zorlukları sunar:

Domainlerin Heterojenliği

CPS, sürekli zamanlı fiziksel dinamikleri ayrı ayrık-event hesaplama mantığı ile birleştirir. Geleneksel modelleme yaklaşımları genellikle diğer bir alanda tercih eder, entegrasyon zorluklarına yol açar. Fonksiyonel modelleme soyutları farklı bir uygulama, mühendislere önce gerekli davranışları bağımsız olarak tanımlamalarını sağlar ve daha sonra uygun platformlara haritalar. Örneğin, istenen sabit devlet hatası ve yanıt süresi içinde istenen bir PID kontrolörü kullanarak önceden tanımlanmış bir PID kontrol işlemine izin verin.

Interactions Kompleksi

Bir CPS'deki alt sistemler arasındaki etkileşimler, bir eylemci hatasına tabi olmak için ortaya çıkan davranışlar üretebilir.Bu özellikle de güvenlik-kırık araçlar ve tıbbi cihazlar gibi karmaşık bir yol sağlar.

Evolving Gereksinimler

CPS için koşullar genellikle paydaş olarak değişir. Fonksiyonel modeller, uygulama-agnostic olmak, tüketici elektronik ve endüstriyel otomasyon gibi ayrıntılı tasarım modellerinden güncellemek daha kolaydır. üst düzey bir işlevdeki bir değişiklik, ayrıştırma hiyerarşisi aracılığıyla ortaya çıkabilir ve alt işlev üzerindeki etki hızla değerlendirilebilir.

Doğrulama ve Geçerlilik

CPS'nin özelliklerini karşılayan bir CPS'nin, siber ve fiziksel bileşenler arasındaki darbe nedeniyle çok zor olduğunu belirtmek. Fonksiyonel modelleme simülasyon ve resmi analiz yoluyla erken doğrulamayı destekler. Örneğin, SysML'de ifade edilen işlevsel bir model otomatik olarak resmi temsillere dönüştürülebilir (örneğin, zamanlı maka veya karma otomatiğe, güvenlik ve bağlı yanıt süreleri gibi özelliklerin doğrulanması için).

Cyber-Physical Systems için Fonksiyonel Modelleme Süreci

Bir CPS projesinde işlevsel modellemeyi uygulama genellikle yapılandırılmış bir iş akışı takip eder:

  1. [[DÜŞÜNCÜ:0)Stakeholder analizine ihtiyaç duyar:[DÜT:1) Birincil sistem hedeflerini ve kısıtlamaları kullanıcıların, düzenleyiciler ve diğer paydaşların bunları doğal dil veya kullanım vakalarını kullanarak fonksiyonel gereksinimleri ele alır. Örneğin, “Sistem tüm yol koşulları altında ayarlanan aracın hızını koruyacaktır.
  2. [FONT:0) Üst düzey bir işlev tanımı:[Dönetici:[Dönetici:0) Sistem gereksinimleri karşılamak için performans göstermesi gerektiğini tanımlar. Bunlar genellikle sistem düzeyindeki görev hedefleri ile uyumludur.
  3. [FONT:0]Functional decomposition: Her üst düzey işlevi alt işleve ayırarak, bu dekompozisyonun tam ve tutarlı olması gerekir - her giriş, kontrol sinyali ve bilgi akışı, işlevsel akış blok diyagramları (FFBD) veya geliştirilmiş fonksiyonel akış blok diyagramları (EFFBD) için kontrol edilmesi gerekir.
  4. [FONT:0) Model inşaatı SysML kullanarak:), Fonksiyonel bileşenleri ile bir SysML modeli oluşturun ve sistem davranışı için tek gerçek kaynağı olarak hizmet eder. Faaliyet diyagramları kontrol ve verilerin akışını gösterir. Blok tanım diyagramları işlevleri arasındaki bağlantıları tanımlar.
  5. [FONT=0]Simulation and analysis:[Dönetici: 0D][/FONT=0))) MATLAB/Simulink veya Realca gibi araçlar, zamanlaması ile ilgili bir nota göre kullanılabilir, sürekli dinamik testler veya stochastic parametreler içerebilir. Analizler, duyarlılık çalışmaları, başarısızlık modu analizi (FMEA), ve zamanlama doğrulama doğrulama doğrulama sonuçları içerebilir.
  6. [FONT:0)Allocation to fiziksel mimariye göre:[Dönetici modeli doğrulandığında, her işlevi belirli bir donanıma veya yazılım bileşenine atamak. Bu dağıtım adım köprüleri fonksiyon ve form arasındaki boşlukları dengelemek için, fiziksel mimaride değişiklikler (örneğin, bir FPGA'ya geçiş) için bir mikro kontrolden geçişin yapılması, değişmemiş işlevsel gereksinimlerine karşı değerlendirilebilmesi için izlenebilirlik sağlar.
  7. [FONT:0]Bueratif rafineri: [Dönetici:[Dönetici:0)[Dönetici)) Tasarım ilerledikçe, yeni bilgileri, sorunları, veya gerekli değişiklikleri içerecek şekilde işlevsel modeli yeniden gözden geçirmelidir.

CPS'de Fonksiyonel Modelleme için Araçlar ve Teknikler

Çeşitli araçlar ve dil modellemesi, siber-fiziksel sistemler için işlevsel modellemeyi destekler. Doğru kombinasyonu seçmek, alan, takım uzmanlığına ve istenen formalite seviyesine bağlıdır.

  • [FONT=0]SysML (Sistemler Modelleme Dili): ), Sistem mühendisliği için uygun bir UMLT:0) Özel olarak, yapılar, davranış ve parametrikler için diyagramlar sağlar. SysML, havacılık, savunma ve otomotiv endüstrilerinde yaygın olarak kullanılır.
  • [FONTNT Q:0)MATLAB/Simulink:[Döneticileri ve kontrol mantığını modellemek için özellikle güçlü olan [FONTNTNTNTLAB/Simulink:0))))) Katı-parçalılık ekleri için, fiziksel bitki modelleriyle işlevsel blokları birleştirebilmeleri için mühendislere izin verir.
  • [FONT:0) Modelica: [Dönetici: [Dönetici, fiziksel sistemlere yönelik bir model (elektriksel, mekanik, termal, vb.) ► CPS'nin fiziksel tarafını fonksiyonel davranışlarla temsil etmek için mükemmel. Modelica Association kütüphaneler ve araçlar sağlar.
  • [FONT:0]UML Profilleri Sistem Mühendisliği için: UML, MARTE (Gerçek Zamanlı Gömülü Sistemlerin Modellenmesi ve Analizi) gibi profillerle genişletilebilir. Bu genellikle CPS için yazılım gömülü geliştirmede kullanılır.
  • [FONT:0)Capella:[[Dönetici: [Döntilmiş Bir Açık kaynak MBSE aracı, işlevsel analizleri güçlü bir şekilde vurgulayan, operasyonel analizden fiziksel mimariye kadar katmanları ile yapısal bir yaklaşım sunuyor ve simülasyon için model-model dönüşümleri destekliyor.

Vaka Çalışması: Bir Tıbbi Infüzyon Pumping

Fonksiyonel modellemenin pratik uygulamasını göstermek için, hastanelerde kullanılan akıllı bir infüzyon pompası düşünün. pompa, iyonlar, hava balonları ve kullanıcı komutları için izleme sırasında tam olarak kontrol edilen oranları sağlamalı.

  • [FONT:0) Üst düzey fonksiyonlar: [Dönemli sıvı reçeteli”, "Alert operator toomaes", "Log event history."
  • [FONT:0)Decompose "Deliver sıvı per reçete":[Dönetici: 1) Sub- functions "Set akış oranı" "Başlangıç/tama teslimat", "Measure gerçek akış", "Kapa kontrolü", sensör geri bildirimine dayalı motor hızını ayarlar.
  • [FONT:0) Model with SysML:[Dönetici: Etkinlik diyagramları sırayı gösteriyor: kullanıcı reçeteli → sistem doğrulamaktadır → motor → akış sensörü okumayı sağlar → kontrol cihazı PWM görev döngüsü. Bir devlet makinesi modelleri “Priming” ve "Alarm.”
  • [FONT:0]Simulation:[Dönetici modeli Simulink'te pompa mekanikleri ve sıvı dinamikleri bir bitki modeli ile gerçekleştirilir. Test occlusion senaryoları: tüp kesitsel alanı %90 ile azaltır ve fonksiyonel modelin 200 ms içinde bir alarmı tetiklediğini ve motoru durdurduğunu doğrulayın.
  • [FONT=0)Allocation:[Dönetici:[Dönergelik gerçek akış” işlevi, bir Hall- effects sensörü ve mikrokontrolü ADC'ye tahsis edilir. "Kapa kontrolü" işlevi gerçek zamanlı bir işletim sistemi görevinde çalışır.

Bu işlevsel model, takımın bir zamanlama çatışmasını erken tanımlamasına izin verdi: kontrol döngüsü 5 ms infaz gerektiriyordu, ancak aynı kaynağı kullanmak ve jitter'i tanıttı. Model bu açık yaptı, herhangi bir donanım prototipi inşa etmeden önce zamanlama programını yeniden tasarlamayı istedi.

Model tabanlı sistemler ile ilgili fonksiyonel modelleme (MBSE)

Fonksiyonel modelleme, Model tabanlı Sistem Mühendisliği (MBSE)'nin daha geniş disiplini içinde temel bir aktivitedir. MBSE, sistem yaşam döngüsü boyunca bütünleşik modellerin kullanılmasını savunuyor, konseptden emeklilik için. Fonksiyonel modeller genel sistem modelinin davranışsal arka kemiği olarak hizmet eder, modeller, yapısal modeller ve parametrik modeller.

MBSE ortamında, fonksiyonel modeller izolasyonda yaratılmamıştır. Enerji tüketimi veya ağırlık bütçesi gibi fonksiyonlarla bağlantılıdırlar, ticaretle ilgili analizleri etkinleştirebilir.Bu entegrasyon, SysML'de herhangi bir değişikliğin otomatik olarak bağlı olarak, yapısal dağıtım ilişkileri veya parametrik kısıtlamalara geri dönülebilir.

[FONT:0)Uluslararası Sistem Mühendisliği Konseyi (INCOSE)) MBSE en iyi uygulamaları üzerinde rehberlik sağlar ve birçok kuruluş Arcadia ( Capella) veya OOSEM (Object-Oriented Systems Engineering Method) gibi çerçeveler benimsemiştir.

CPS için Fonksiyonel Modeling'deki Future Trends in Fonksiyonel Modeling for CPS

Cyber-fiziksel sistemler ölçek ve özerklik içinde büyürken, fonksiyonel modelleme teknikleri yeni zorluklarla karşılaşmak için gelişiyor:

  • [FONT:0) Yapay zekanın Akreplenmesi: Modern CPS, algı için makine öğrenme algoritmaları kullanmaya giderek planlamaya ve kontrole ihtiyaç duyar. Fonksiyonel modeller, hala doğrulamaya olanak sağlarken öğrenilen davranışları temsil eder.
  • [FONT:0) Dijital ikizler: [Dönetici modelleri dijital ikizlerin temelini oluşturabilir – fiziksel sistemlerin gerçek zamanlı sanal kopyalarını sürekli olarak operasyonel verilerle güncelleyerek, mühendisler performans, planlama bakımı ve optimize işlemleri tahmin edebilir.
  • [FONT:0)Automated sentez:[Dönetici: 0,0) Araştırma otomatik olarak fonksiyonel modellerden fiziksel mimariler üreterek ilerliyor.Bir dizi işlev ve kısıtlama (maliyet, güç, güvenilirlik), optimizasyon algoritmaları, tasarım uzayını hızlandırabilir ve yapılandırabilir.
  • [FONT=0) Güvenlik-tasarım: [Dönetici: [Dönetici: 0,4] Daha fazla bağlantı ile CPS, güvenlik fonksiyonlarını içerecek şekilde genişletilebilir. -sorunlama, şifreleme, anomaly algılama - ve model saldırı yüzeyleri.Bu güvenlik analizi tasarımının başlarında, ISA/IEC 62443 gibi standartlar tarafından savunulmaktadır.

Fonksiyonel Modeling'te Geri Yaygın Pitfalls

Fonksiyonel modelleme önemli faydalar sunarken, takımlar bazen zorluklarla karşılaşırlar. Bu tuzakların farkındalığı başarılı bir şekilde kabul edilmesine yardımcı olabilir:

  • [FONT:0)Over-abstraction:[Dönetici: 0,4] Çok yüksek düzeyde modelleme kritik etkileşimleri gizleyebilir. Mühendisler varsayımları doğrulamak için işlevsel ve ayrıntılı modeller arasında bilgi sahibi olmalıdır. CPS için, zamanlama, güç ve fiziksel etkiler sonunda dikkate alınmalıdır.
  • [[Düzg:0) Aracın entegrasyonunun yerine getirilmesi:[Dönetici değiştirmeksizin birden fazla araç kullanmak, ortak bir metamodel (örneğin, SysML) destekleyen araçlar seçin veya entegre MBSE platformlarını kullanın.
  • [FONT:0) İşlevsel olmayan gereksinimleri görmezden gelin: Fonksiyonel modeller doğal olarak davranış yakalar, ancak performans, güvenilirlik veya güvenlik gereksinimleri olabilir. SysML parametrikleri veya işlevleri yakalamak için ayrı ihtiyaç diyagramları kullanın.
  • [FONT:0] Yeterli hisse senedi katılımı: [Dönetici modelleri, gerçek hisse senedi ihtiyaçlarını yansıtmıyorlarsa sadece yararlıdır. Engage domain uzmanları, operatörler ve modelleme seanslarında doğruluk ve tamlık sağlamak için bakım yapar.

Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç Sonuç

Fonksiyonel modelleme, sistemin nasıl inşa edildiğine odaklanmak yerine, mühendisler karmaşıklıkları tespit edebilir ve hataları erken iletişim kurarlar ve SysML, MATLAB/Simulink ve INTca gibi araçlar tarafından etkin bir şekilde iletişim kurarlar.Sistemin inşa edildiğine odaklanırken, mühendisler, karmaşık sistemlerin her yönünü tespit edebilir ve disiplinlere etkili bir şekilde iletişim kurarlar.

SysML ve MBSE hakkında daha fazla okuma için, [FONT Forumu) ve [[Dönetici Standartlar ve Teknoloji Enstitüsü (NIST)) [Fiziksel sistemlerde kaynaklar.