Number: CS 26/91
Author(s): MOTUS, Leo.
Title: Embedded software modelling methodology used for analysing CIM systems. 25 p.
Language: English
ABSTRACT. This report presents an outsiders view on Production System
Analysis so as to find bottlenecks in the existing system and evaluate the
innovation plans. Our approach is based on an experience gained in
developing a computational model and using it for analysing the behaviour
and dynamic properties of embeddedsoftware in the different stages of its
life-cycle. Our basic idea is that the application at hand is described in
terms of an object- oriented computational model (the Q-model). The
supporting system CONRAD is used for formal analysis of structural and
timing correctness of the description. Based on the formally checked
description, CONRAD generates a prototype of the system under study and
the user can organize different simulational games on it revealing thus
intrinsic properties of the described system. During simulation, the
influence of parametrical an/or structural changes can be studied. CONRAD
also contains a tool for analytical evaluation of message/product passing
time between any two reasonably selected points of the described system.