Statecharts: A visual formalism for complex systems
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
Use of Statecharts-Related Description to Achieve Testable Design of Control Subsystems
GLS '97 Proceedings of the 7th Great Lakes Symposium on VLSI
FSM--based power modeling of wireless protocols: the case of bluetooth
Proceedings of the 2004 international symposium on Low power electronics and design
Modeling SystemC design in UML and automatic code generation
Proceedings of the 2005 Asia and South Pacific Design Automation Conference
SystemC/C-based model-driven design for embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
ADSC: application-driven storage control for energy efficiency
ICT-GLOW'11 Proceedings of the First international conference on Information and communication on technology for the fight against global warming
| Hi-index | 0.00 |
In this paper we present a tool that converts specifications written with a subset of StateCharts into SystemC behavioral models. The main advantages of such an approachare rapidity of use, simplicity and reusability. Various systems can be modeled at different levels of abstraction andaccuracy through StateCharts and different peculiar aspects (e.g. energy, performances) can be taken into consideration. Moreover different parts of the design can be identified at different detail levels. The kernel of the simulator is fully discussed together with its mapping to the semantics of our StateCharts diagrams. As a case study we present here a model of the IBM PowerPC 750 Cache system and the respective SystemC simulator automatically generated by our tool.