Using ObjectCharts to specify and design electronic systems

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.