Statecharts: A visual formalism for complex systems
Science of Computer Programming
S/390 cluster technology: Parallel Sysplex
IBM Systems Journal
FunState—an internal design representation for codesign
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
System Design with SystemC
IPPS '96 Proceedings of the 10th International Parallel Processing Symposium
Formal Models for Communication-Based Design
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Task-accurate performance modeling in SystemC for real-time multi-processor architectures
Proceedings of the conference on Design, automation and test in Europe: Proceedings
Simulink-based MPSoC design flow: case study of Motion-JPEG and H.264
Proceedings of the 44th annual Design Automation Conference
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Hierarchical finite state machines with multiple concurrency models
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
IBM Parallel Sysplex design for the IBM z196 system
IBM Journal of Research and Development
Hi-index | 0.00 |
Starting Electronic System Level (ESL) design flows with executable High-Level Models (HLMs) has the potential to sustainably improve productivity. However, writing good HLMs for complex systems is still a challenging task. In the context of network controller design, modeling complexity has two major sources: (1) the functionality to handle a single connection, and (2) the number of connections to be handled in parallel. In this paper, we will propose an efficient actor-oriented modeling approach for complex systems by (1) integrating hierarchical FSMs into dynamic dataflow models, and (2) providing new channel types to allow concurrent processing of multiple connections. We will show the applicability of our proposed modeling approach to real-world system designs by presenting results from modeling and simulating a network controller for the Parallel Sysplex architecture used in IBM System z mainframes.