Blar i NTNU Open på forfatter "Herrmann, Peter Michael"

Viser treff 1-5 av 5

    • Integrating Security Mechanisms into Embedded Systems by Domain-specific Modelling 

      Vasilevskaya, Maria; Gunawan, Linda Ariani; Nadjm-Tehrani, Simin; Herrmann, Peter Michael (Journal article; Peer reviewed, 2014)
      Embedded devices are crucial enablers of the Internet of Things and become increasingly common in our daily life. They store, manipulate and transmit sensitive information and, therefore, must be protected against security ...

    • 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 ...

    • Remedy of Mixed Initiative Conflicts in Model-based System Engineering 

      Han, Fenglin; Herrmann, Peter Michael (Peer reviewed; Journal article, 2012)
      SPACE is a technique for model-driven engineering of reactive distributedsystems. One of the strengths of its tool-set Arctis is that the system engineercan formally analyze the models for design errors such that these can ...

    • Synthesizing Components with Sessions from Collaboration-Oriented Service Specifications 

      Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter Michael (Journal article; Peer reviewed, 2007)
      A fundamental problem in the area of service engineering is the so-called cross-cutting nature of services, i.e., that service behavior results from a collaboration of partial component behaviors. We present an approach ...

    • 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 ...