Vid konstruktion på systemnivå är det svårt att uppnå en systemverifiering som uppfyller kraven hos olika intressenter med hjälp av endast beskrivande systemmodeller. Deskriptiva systemmodeller som använder enbart SysML är otillräckliga för att verifiera systemets beteende och ingenjörer använder alltid olika simuleringsverktyg (t.ex. Mathworks Simulink eller Modelica Dymola) för att analysera systembeteendet. Det är en bra idé att kombinera beskrivande och simuleringsmodeller. I detta dokument presenteras utvecklingen av en samverkande designram som för SysML, Simulink och Simscape profiler inom robotikområdet. En konceptuell designmetod föreslås för att stödja utförandemodeller för simulering. Kort sagt tolkas den beskrivande modellen SysML-systemnivå i simuleringsmodellerna på systemnivå (t.ex. Simulink och Simscape). Vi använder sedan en plugin-baserad modellintegrationsteknik för att hålla båda modellerna i synk för automatisk simulering. En simuleringsstudie görs för att utvärdera systemet. För att illustrera konstruktionen av detta system, presenterar vi en simulerad sluten loop system.
På samma sätt beskriver författarna i Ref:s arbete svårigheterna med att uppnå en holistisk verifiering på systemnivå tillsammans med problemet med att uppfylla olika intressenters krav med hjälp av endast beskrivande systemmodeller (SysML).
Model-Based Development and Simulation for Robotic Systems with SysML, Simulink and Simscape Profiles
{'venue': None, 'journal': 'International Journal of Advanced Robotic Systems', 'mag_field_of_study': ['Computer Science']}