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

fYear

1997

fDate

35674

Firstpage

404

Lastpage

413

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Technology of Object-Oriented Languages, 1997. TOOLS 24. Proceedings

Conference_Location

Beijing

Print_ISBN

0-8186-8551-4

Type

conf

DOI

10.1109/TOOLS.1997.713573

Filename

713573