Title :
Using ObjectCharts to specify and design electronic systems
Author :
Ernst, J. ; Tanurhan, Y. ; Müller-Glaser, K.
Author_Institution :
Dept. of Electron. Syst. & Microsyst., Computer Sci. Res. Center, Karlsruhe, Germany
Abstract :
A novel object-oriented description formalism is described which covers both time-discrete and time-continuous behavior. It can be used to describe hardware/software systems on various levels of abstraction. Allowing users to model their own virtual machine supports development on several abstraction levels at the same time. So different implementation configurations can easily be considered and a systematic tradeoff between different implementation choices can be made
Keywords :
diagrams; formal specification; object-oriented methods; systems analysis; virtual machines; electronic systems design; electronic systems specification; object charts; object-oriented description formalism; time-continuous behavior; time-discrete behavior; virtual machine; Computer science; Control design; Design engineering; Hardware; Object oriented modeling; Power engineering and energy; Power system modeling; Software systems; Software tools; Virtual machining;
Conference_Titel :
Real-Time Systems, 1995. Proceedings., Seventh Euromicro Workshop on
Conference_Location :
Odense
Print_ISBN :
0-8186-7112-2
DOI :
10.1109/EMWRTS.1995.514308
