System-Level Modeling and Performance Analysis

To manage complexity and to shorten design time, systemlevel methods for specification and design are becoming more and more important. System-level methods and tools focus on the creation of executable models that describe a system in the earliest phases of the design process. They allow qualitative (correctness) and quantitative (performance) properties to be analyzed before the system is actually being realized in terms of hardware and software components. The results of such early analysis can be used as input for taking structured and well-founded design decisions. System-level methods and tools should be based on well-defined modeling languages to support developing an executable model that properly represents the system to be designed. An example of such a modeling language is the Parallel Object-Oriented Specification Language (POOSL). POOSL enables to construct appropriate executable models of complex real-time hardware/software systems. The language has proven to be very useful for describing real-life systems and for verifying their correctness properties. This paper describes the experiences with applying the POOSL formalism on analyzing the performance properties of an industrial-size switch system. The problems encountered when modeling and analyzing such a complex system are presented together with the challenges for future research. Keywords—System-Level Design, System-Level Modeling, Performance Evaluation, Parallel Object-Oriented Specification Language (POOSL).

[1]  Marc Geilen,et al.  Software synthesis for system level design using process execution trees , 1999, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

[2]  Srinivasan Keshav,et al.  An Engineering Approach to Computer Networking: ATM Networks , 1996 .

[3]  Xinjie Chang.  Network simulations with OPNET , 1999, WSC '99.

[4]  Joseph Sifakis,et al.  An Overview and Synthesis on Timed Process Algebras , 1991, CAV.

[5]  M. P. J. Stevens,et al.  Object-oriented modelling and specification using SHE , 2001, Comput. Lang..

[6]  Jeroen Voeten,et al.  Towards System Level Performance Modelling , 1998 .

[7]  L. J. van Bokhoven,et al.  A probabilistic real-time calculus for performance evaluation , 1999 .

[8]  Adele Goldberg,et al.  SmallTalk 80: The Language , 1989 .

[9]  Marc Geilen,et al.  Real-time concepts for Software/Hardware Engineering , 1996 .

[10]  Jpm Jeroen Voeten,et al.  Specification of reactive hardware/software systems : the method software/hardware engineering (SHE) , 1997 .

[11]  Jeroen Voeten,et al.  Real-time concepts for a formal specification language for software hardware systems , 1997 .

[12]  M.P.J. Stevens,et al.  Systematic development of industrial control systems using software/hardware engineering , 1997, Proceedings 23rd Euromicro Conference New Frontiers of Information Technology - Short Contributions -.

[13]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[14]  Bjarne Stroustrup,et al.  C++ Programming Language , 1986, IEEE Softw..

[15]  L. J. van Bokhoven,et al.  An analytical approach towards system level performance analysis , 1999 .

[16]  Bd Bart Theelen,et al.  Modelling Optical WDM Networks using POOSL , 1999 .

[17]  Jeroen Voeten,et al.  Object-oriented co-design for hardware/software systems , 1995 .

[18]  Jeroen Voeten,et al.  Temporal Rewards for Performance Evaluation , 2000, ICALP Satellite Workshops.