Sensors· 2015Q1
Determinist Modeller, Güvenilir Siber-Fiziksel Sistemleri Mümkün Kılıyor
The Past, Present and Future of Cyber-Physical Systems: A Focus on Models
- 668atıf
- Q1SCImago
- 2015yıl
Kısa özet
Diferansiyel denklemler ve senkron mantık gibi determinist modeller, karmaşık siber-fiziksel sistemlerde (CPS'ler) pratik olarak gerçekleştirilebilir ve determinizmin korunmasındaki tarihsel zorlukların üstesinden gelir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Ana noktalar
- Determinist modeller (örn. diferansiyel denklemler, senkron mantık) tarihsel olarak teknolojik ilerlemeleri yönlendirmiştir.
- Siber-fiziksel sistemler (CPS'ler) genellikle determinizmi bozan şekillerde modelleri birleştirir.
- PRET projesi, senkron mantıktan gelen zamanlama hassasiyetinin yazılımda elde edilebileceğini göstermektedir.
- Ptides projesi, dağıtık CPS'ler için pratik determinist modelleri göstermektedir.
- Bu projeler, determinist CPS modellemesi için varoluş kanıtları olarak hizmet etmektedir.
Yapay zekâ ile başlık ve abstract'tan üretildi; tam metin okunmaz.
Özet (abstract)
This paper is about better engineering of cyber-physical systems (CPSs) through better models. Deterministic models have historically proven extremely useful and arguably form the kingpin of the industrial revolution and the digital and information technology revolutions. Key deterministic models that have proven successful include differential equations, synchronous digital logic and single-threaded imperative programs. Cyber-physical systems, however, combine these models in such a way that determinism is not preserved. Two projects show that deterministic CPS models with faithful physical realizations are possible and practical. The first project is PRET, which shows that the timing precision of synchronous digital logic can be practically made available at the software level of abstraction. The second project is Ptides (programming temporally-integrated distributed embedded systems), which shows that deterministic models for distributed cyber-physical systems have practical faithful realizations. These projects are existence proofs that deterministic CPS models are possible and practical.
Yazarların özeti; kaynağından alınmıştır. Sensors, 2015 · DOI ↗
Ücretsiz hesapla devam et
Makaleye Sor ile bu makaleye günde 3 soru ücretsiz; makaleyi kaydet, kaynakçasını al, ilgi alanına göre her gün yeni özetler. Çıkarımlar Premium.
Web'de ücretsiz devam etGoogle ya da Apple hesabınla giriş; kart istemez. Bu makaleye geri dönersin.
Telefonda:
Alan: Donanım ve Mimari
Hardware and ArchitectureComputer Science