Browsing NTNU Open by Author "Han, Fenglin"
Now showing items 1-3 of 3
-
MODEL-DRIVEN ENGINEERING OF COMPLEX SYSTEMS Supporting the Design of Reactive Systems with Augmented Modeling and Verification Mechanisms
Han, Fenglin (Doctoral theses at NTNU;2020:287, Doctoral thesis, 2020)This thesis motivates the need for the Reactive Blocks approach for model-driven Complex Systems Engineering (CSE). With the booming of the Internet economy and development of the Internet of Things (IoT), interconnected ... -
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 ... -
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 ...