2016 · 108 citations · 12 references
EngineeringSystems EngineeringCyber-physical SystemsModel-based Systems EngineeringSystems ModelingCyber-physical Systems ArchitectureCyber-physical Systems DesignCyber-physical Systems ModelingModel IntegrationModel-based DesignModel-driven DevelopmentCyber-physical Architecture DesignCyber-physical Systems IntegrationDependability EngineeringModel CompositionModel-based Systems IntegrationModel-driven DesignModel-driven EngineeringMultidisciplinary Collaboration
We describe INTO-CPS, a project that aims to realise the goal of integrated tool chains for the collaborative and multidisciplinary engineering of dependable Cyber-Physical Systems (CPSs). Challenges facing model-based CPS engineering are described, focussing on the semantic diversity of models, management of the large space of models and artefacts produced in CPS engineering, and the need to evaluate effectiveness in industrial settings. We outline the approach taken to each of these issues, particularly on the use of semantically integrated multi-models, links to architectural modelling, code generation and testing, and evaluation via industry-led studies. We describe progress on the development of a prototype tool chain from baseline tools, and discuss ongoing challenges and open research questions in this area.
12
An axiomatic basis for computer programming
C. A. R. Hoare · Communications of the ACM · 1969 · 3.9K citations · Full text
A Structural Approach to Operational Semantics
Gordon Plotkin · 2004 · 2K citations
Matthias Jarke · Communications of the ACM · 1998 · 161 citations · Full text