Title :
A practical formally-based approach to object-oriented modelling of control systems
Author :
Nguyen, Kinh ; Dillon, Tharam
Author_Institution :
Dept. of Comput. & Math. Sci., Victoria Univ. of Technol., Melbourne, Vic., Australia
Abstract :
Currently popular object-oriented modelling methods, when applied to computer-based control systems, mostly produce incomplete and fragmented models consisting mainly of state transition diagrams and message passing diagrams. Such shortcomings can limit the model´s usefulness in the development process. We present a formally-based object-oriented method to construct a precise and complete analysis model of the system, which can easily be converted into a simulation of the system or a prototype operating in the real environment
Keywords :
control system analysis computing; diagrams; digital simulation; object-oriented methods; computer-based control systems; control systems modelling; message passing diagrams; object-oriented method; object-oriented modelling; prototype; simulation; state transition diagrams; Analytical models; Computational modeling; Computer science; Control system synthesis; Control systems; Mathematical model; Message passing; Object oriented modeling; Prototypes; Virtual prototyping;
Conference_Titel :
Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings
Conference_Location :
Beijing
Print_ISBN :
0-8186-8551-4
DOI :
10.1109/TOOLS.1997.713573
