28 citations · 97 across the 14 of their papers we have counts for
5 papers · 2 filters
Towards Logical Architecture and Formal Analysis of Dependencies Between Services
Maria Spichkova, Heinrich Schmidt
This paper presents a formal approach to modelling and analysis of data and control flow dependencies between services within remotely deployed distributed systems of services. Our…
Cyber-Virtual Systems: Simulation, Validation & Visualization
Jan Olaf Blech, Maria Spichkova, Ian Peake +1
We describe our ongoing work and view on simulation, validation and visualization of cyber-physical systems in industrial automation during development, operation and maintenance.…
From abstract modelling to remote cyber-physical integration/interoperability testing
Maria Spichkova, Heinrich Schmidt, Ian Peake
An appropriate system model gives developers a better overview, and the ability to fix more inconsistencies more effectively and earlier in system development, reducing overall eff…
BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems
Jan Olaf Blech, Heinz Schmidt
In this report, we present work towards a framework for modeling and checking behavior of spatially distributed component systems. Design goals of our framework are the ability to…
Towards Verifying Safety Properties of Real-Time Probabilistic Systems
Fenglin Han, Jan Olaf Blech, Peter Herrmann +1
Using probabilities in the formal-methods-based development of safety-critical software has quickened interests in academia and industry. We address this area by our model-driven e…