First Workshop on Modelling and Reasoning for Cyber-Physical Systems (MoRe4CPS)
Affiliated with ECMFA 2012
Cyber-physical systems are large-scale distributed systems, often viewed as networked embedded systems, where a large number of computational components are deployed in a physical environment. Each component collects information about and offers services to its environment. This information is processed either at the component, in the network or at a remote location, or in any combination of these.
This workshop aims at connecting researchers working on mathematically well-founded and coherent models, methods, and tools that may serve as the foundation of a model-driven design methodology for cyber-physical systems. This means that design decisions, analysis, simulation, testing, code generation, etc. are always based upon models that reflect the relevant aspects of the design. This requires methods to maintain, manipulate, analyse and transform models in a coherent and meaningful way.
All papers will be peer-reviewed and accepted papers will be published as a pre-proceeding appearing as a technical report. Selected papers will be invited to submission for subsequent publication in a journal (to be negotiated).
Two kinds of papers can be submitted:
- full papers up to 12 pages in easychair format presenting previously unpublished work
- short papers (2-3) pages in easychair format presenting work in progress, abstract of previously published work or overview of research programmes (position paper)
Papers should be submitted via Easychair.
Topics of interest (in no particular order) include:
- hybrid systems
- embedded systems
- distributed execution
- spatial computation
- declarative modelling
- logics and logical frameworks
- categorical models
- event-based systems and models
- pervasive computing
- systems biology
- healthcare systems
- process calculi
- static analysis
- type systems
- model checking
- temporal properties with preferences
- fractionated software
|Paper submission||May 5, 2012|
|Notification of acceptance||May 21, 2012|
|Final version (hard)||June 3, 2012|
|Workshop||July 2-3, 2012|
- Dieter Gollmann, Hamburg-Harburg
- Thomas Hildebrandt (chair), IT University of Copenhagen
- Marta Kwiatkowska, Oxford University
- Flemming Nielson, Danish Technical University
- Paulo Tabuada, University of California at Los Angeles
- Mark-Oliver Stehr, SRI International
- Huibiao Zhu, East China Normal University
Travel, accommodation and registration information is available on the main ECMFA 2012 site.