Performance modelling of a network processor using POOSL

Authors:
B. D. Theelen;J. P. M. Voeten;R. D. J. Kramer
Affiliations:
Information and Communication Systems Group, Faculty of Electrical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, Netherlands;Information and Communication Systems Group, Faculty of Electrical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, Netherlands;Information and Communication Systems Group, Faculty of Electrical Engineering, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, Netherlands
Venue:
Computer Networks: The International Journal of Computer and Telecommunications Networking - Network processors
Year:
2003

Citing 12
Cited 3

Real-time object-oriented modeling

Real-time object-oriented modeling
Performance modelling with the formal specification language SDL

IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
The simulation semantics of systemC

Proceedings of the conference on Design, automation and test in Europe
The new chips on the block

IEEE Spectrum
SystemC: a modeling platform supporting multiple design abstractions

Proceedings of the 14th international symposium on Systems synthesis
Simulation Modeling and Analysis

Simulation Modeling and Analysis
Performance evaluation with temporal rewards

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Specifying real-time requirements for SDL specifications - a temporal logic-based approach

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
An Overview and Synthesis on Timed Process Algebras

CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
On the Fundamental Design Gap in Terabit per Second Packet Switching

DSD '02 Proceedings of the Euromicro Symposium on Digital Systems Design
Object-oriented modelling and specification using SHE

Computer Languages
On credibility of simulation studies of telecommunication networks

IEEE Communications Magazine

Platform-independent design for embedded real-time systems

Languages for system specification
An effective network processor design framework: using multi-objective evolutionary algorithms and object oriented techniques to optimise the intel IXP1200 network processor

Proceedings of the 2006 ACM/IEEE symposium on Architecture for networking and communications systems
Predictable real-time software synthesis

Real-Time Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

The increasing complexity of innovative real-time hardware/software systems forced industry to consider system-level design methods. Before actually implementing a system with hardware and software components, system-level design methods enable analysing the performance of different design alternatives that realise the required functionality. In order to develop performance models early in the design process, the parallel object-oriented specification language (POOSL) can be used. POOSL is an expressive modelling language for analysing complex real-time distributed hardware/software systems. Being equipped with a formal semantics, POOSL ensures unambiguous execution of models and proper application of performance analysis techniques. This paper discusses the use of POOSL for analysing the performance of a network processor. A network processor consists of components that perform their behaviour in a synchronously concurrent way, whereas POOSL is based on an asynchronous modelling paradigm. In this paper, we illustrate that constructing abstract models of synchronous systems for the purpose of performance analysis may benefit from an asynchronous modelling approach.