Browsing NTNU Open by Author "Blech, Jan Olaf"
Now showing items 1-3 of 3
-
Assessing Long Distance Communication Alternatives for the Remote Control of AGVs
Bejanaro, Ronal; Pääkkönen, Roope; Blech, Jan Olaf; Peake, Ian; Herrmann, Peter; Vyatkin, Valeriy (Peer reviewed; Journal article, 2020)Remote monitoring and control of factory equipment promises a more streamlined and therefore less expensive system operation and maintenance. The geographical distance between a factory and its control center, however, may ... -
Modeling Spatial Aspects of Safety-Critical Systems with FOCUS-ST
Spichkova, Maria; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz (Journal article; Peer reviewed, 2014)This paper presents an approach for modeling and veri - cation of components controlling behaviour of safety-critical systems in their physical environment. In particular, we introduce the modeling language FocusST that ... -
Towards Verifying Safety Properties of Real-Time Probabilistic Systems
Han, Fenglin; Blech, Jan Olaf; Herrmann, Peter Michael; Schmidt, Heinz (Journal article; Peer reviewed, 2014)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 engineering method for reactive systems ...