24 citations · 49 across the 7 of their papers we have counts for
5 papers · 1 filter
Towards the Formalization of a Factory Demonstrator in BeSpaceD
Keith Foster, Jan Olaf Blech, Guillaume Prevost
This report gives an overview of our efforts towards a formalization for a food processing demonstrator plant. Our BeSpaceD framework is used for the formalization. The formalizati…
Spatio-temporal Models for Formal Analysis and Property-based Testing
Nasser Alzahrani, Maria Spichkova, Jan Olaf Blech
This paper presents our ongoing work on spatio-temporal models for formal analysis and property-based testing. Our proposed framework aims at reducing the impedance mismatch betwee…
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.…
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…
Reusing Test-Cases on Different Levels of Abstraction in a Model Based Development Tool
Jan Olaf Blech, Dongyue Mou, Daniel Ratiu
Seamless model based development aims to use models during all phases of the development process of a system. During the development process in a component-based approach, componen…