Software and Systems Modeling

Theme Issue:

Model-Based Design of Cyber-Physical Systems
Editors: Manfred Broy, Heinrich Daembkes, Brian Murray, Janos Sztipanovits

Cyber-Physical Systems (CPS) are engineered systems where essential system-level properties emerge from the networked interaction of physical and computational processes. Tight integration and cross-domain interdependences make the traditional separation of physical and computational design concerns incomplete and introduce costly and time consuming design-build-test-redesign iterations in CPS product development. Model-based design offers new opportunities for CPS design flows by incorporating cross-domain modeling and better management of consequences of heterogeneity. Model-based design of CPS uses mathematically and physically accurate models for verifying and testing the predicted behavior of CPS against requirements. The goal is to achieve significant decrease in or elimination of costly design-build-test-redesign iterations by increasing predictability of CPS design flows.

The theme focuses on innovative methods and case studies in integrated modeling and design of physical and computational aspects of CPS. The scope of interest includes novel modeling methods, tools and tool integration platforms suitable for design-space exploration enabling and exploiting cross-domain design tradeoffs. We particularly invite contributions addressing the impact of semantic heterogeneity of CPS modeling languages and providing insights in fundamental principles and methods in CPS design flows such as composition, synthesis, virtual prototyping, testing and verification.

The Journal of Software and Systems Modeling (SoSyM) invites original, high-quality submissions for its theme issue on "Model-based Design of Cyber-Physical Systems" focusing on modeling related issues. Topics of interest include, but are not limited to:

• Modeling languages for CPS
• Semantics of CPS modeling languages
• Multi-modeling
• Model and design repositories
• Design space construction and exploration
• Composition frameworks
• Design automation tools and frameworks
• Model-based testing and verification
• Simulation and virtual prototyping
• Interoperability standards for heterogeneous simulation environments
• Model-based design of networked CPS
• Scalable model-based testing and verification
• Case studies, empirical studies and experience reports
• Teaching methods for model-based design of CPS

Dates:
Intent to submit: December 15, 2014
Paper submission: March 15, 2015
First notification: June 15, 2015