Beágyazott szoftverfejlesztés támogatása nagyfokú megbízhatóság mellett
Az Ansys SCADE Suite kifejezetten kritikus beágyazott szoftverek fejlesztésére tervezett megoldás támogatva a Model-Based Systems Engineering (MBSE) elveit, amelyek lehetővé teszik a biztonságkritikus alkalmazások tervezését, szimulációját, verifikációját és a tanúsított kód automatikus generálását. A csomag több eszközt integrál: a SCADE Systemet a rendszermodellezéshez és architektúra tervezéshez, a SCADE Displayt a Human-Machine Interface (HMI) tervezéshez, valamint a SCADE Suite KCG-t (Kernel Code Generator) az automatikus kódgeneráláshoz. Ez az átfogó megközelítés biztosítja a fejlesztési folyamat következetességét, megfelelve az olyan ipari szabványoknak, mint a DO-178C a repüléstechnikában, az ISO 26262 az autóiparban és az IEC 61508 az ipari automatizálásban.
- Kritikus alkalmazások
- FMU-FMI, AUTOSAR támogatás
- Fejlett modellalapú szoftvertervezés
- Automatikus kódgenerálás
- Akár 50%-os költségcsökkentés
- VRX, TwinBuilder integráció
- Végponttól végpontig tartó nyomonkövethetőség
Fedezze fel az SCADE Suite főbb jellemzőit!
Tanúsított kódgenerálás
A magas szintű modellek automatikusan átalakíthatók tanúsított gyártási kóddá biztonságkritikus alkalmazásokhoz, garantálva a szigorú ipari szabványoknak való megfelelést (pl. DO-178C, ISO 26262), valamint támogatva a hatékony verifikációs és validációs folyamatokat.
Python-alapú API
A Python szkriptek használatával elérhetővé válik a testreszabás és az automatizálás, amely lehetővé teszi a felhasználók számára a funkcionalitás bővítését, az ismétlődő feladatok automatizálását és a külső eszközökkel való zökkenőmentes integrációt.
Zökkenőmentes integráció
A generált kód zökkenőmentesen telepíthető különféle célplatformokra, így biztosítva a kompatibilitást és optimalizálást olyan beágyazott rendszerekhez, mint a mikrovezérlők és processzorok, valamint támogatva a valós idejű futtatást és a hardware-in-the-loop (HIL) tesztelést.
Ellenőrzés és validáció
A beágyazott szoftverek megbízhatóságát és biztonságát a SCADE Suite átfogó eszközkészlete biztosítja, amely formális verifikációt, modellalapú tesztelést és szimulációalapú verifikációt tartalmaz.
Simulink import
MathWorks Simulinkben létrehozott modellek és tervek integrálhatók a SCADE környezetbe, megkönnyítve a kollaboratív munkafolyamatokat. Ez lehetővé teszi a Simulink modellek további fejlesztését, verifikációját és automatikus kódgenerálását a SCADE-ben.
Kézi tesztelési igény minimalizálása
A tesztelési folyamatokat automatizálják a Simulink modellek közvetlen SCADE-be történő importálásával, amely csökkenti a kézi tesztelési feladatokat, miközben fokozza a szoftverfejlesztés hatékonyságát és pontosságát.
Garantált modellteljesség
Ez a funkció biztosítja, hogy a rendszer viselkedésének minden aspektusa rögzítésre kerüljön a modellben, beleértve az eszközöket és módszereket is. Ezáltal ellenőrizhető az előírt követelmények és szcenáriók teljesítése, így minimalizálva a figyelmen kívül hagyott részletek vagy hiányos tesztelés kockázatát.
MISRA-megfelelőség
A magas integritású szoftverek fejlesztése során biztosított a MISRA kódolási irányelvek betartása, beleértve az automatikus ellenőrzéseket és az irányelvek érvényesítését a kódgenerálás során. Ez elősegíti a megbízható és biztonságos beágyazott rendszerek fejlesztését.
Kapcsolódó blogbejegyzések
Ingyenes Ansys SCADE Student verzió egyetemi hallgatóknak
Az Ansys SCADE Student szoftver segít a hallgatóknak az alapvető tervezési és fejlesztési készségek elsajátításában. A hallgatók életét megkönnyíti, ha bizonyos mérnöki szoftverekhez az egyetemen kívül is hozzáférhetnek. Így optimalizálhatják terveiket, megtanulhatják ...
Szoftvertermékek értékesítése
Amennyiben forgalmazott Ansys, Moldex3D, Dante, Particleworks, CF Turbo szimulációs szoftvereinkkel kapcsolatban általános kérdése van (árajánlat, licenszelés, tanfolyam), kérjük, lépjen kapcsolatba velünk az alábbi elérhetőségek valamelyikén! Kérjük, vegye figyelembe, hogy szoftvereinket csak az alábbi országokból származó ügyfeleknek forgalmazhatjuk: Magyarország, Szlovénia, Horvátország, Szerbia, Bosznia-Hercegovina, Montenegró és Macedónia.
sales (at) econengineering.com
+36 1 279 0320
dr. Lipóczi Gergely
Kereskedelmi igazgató
Dr. Molnár László
Akadémiai és nagyvállalati képviselő
Bara Péter
Kiemelt ügyfélkapcsolati menedzser
Kelet-Magyarország
Simon János
Kiemelt ügyfélkapcsolati menedzser
Nyugat-Magyarország
