Abstract-Engineeringen av tillförlitliga it-fysiska system (CPS) är i sig samarbete och kräver samarbete mellan olika discipliner. Ett mål för aktuell forskning är utveckling av integrerade verktygskedjor för modellbaserad CPS-design som stödjer sammodellering, analys, samsimulering, testning och implementering. Vi diskuterar de formella metodernas roll när det gäller att ta itu med tre centrala aspekter av detta mål: att ge resonemangsstöd till semantiskt heterogena modeller, att hantera komplexiteten och omfattningen av utforskningen av rymden samt att stödja spårbarhet och härkomst i CPS-designen. Vi beskriver kortfattat en strategi för utvecklingen av en sådan verktygskedja baserad på befintliga verktyg och diskuterar pågående utmaningar och öppna forskningsfrågor på detta område.
INT-CPS erbjuder ett analysverktyg som kallas Automatiserad Co-modellanalys för att utföra konstruktion rymdprospektering REF.
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
{'venue': '2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering', 'journal': '2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering', 'mag_field_of_study': ['Computer Science']}