Cyberfysiska system (CPS) håller på att bli oumbärliga i vårt moderna levnadssätt. Eftersom en applikationsdomän är CPS inte nytt. Men som intellektuell disciplin är det det. Detta dokument fokuserar på CPS-modellering, som är en viktig verksamhet inom CPS-design, med flera utmaningar. Framför allt saknar intressenterna en systematisk ram och riktlinjer för att hjälpa dem att välja bland de många tillgängliga modellspråken och verktygen. Vi föreslår en sådan ram i detta dokument. Vårt ramverk består av tre delar: synpunkter, som fångar intressenternas intressen och intressen; konkreta språk och verktyg, bland vilka intressenterna måste göra ett urval när de definierar sina CPS-designmiljöer; och abstrakta matematiska formalismer, som är det "semantiska limmet" som förbinder de två världarna. Som en del av ramverket kartlägger vi olika formalismer, språk och verktyg och förklarar hur de är relaterade till varandra. Vi ger också exempel på synpunkter och diskuterar hur de är relaterade till formalismer.
En systematisk ram som används för att välja modellera språk för it-fysiska system presenteras i REF.
Viewpoints, formalisms, languages, and tools for cyber-physical systems
{'venue': "MPM '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}