More Web Proxy on the site http://driver.im/

Article

Modeling and early performance estimation for network processor applications

Authors:

Antonia Bertolino,

Alvise Bonivento,

Guglielmo De Angelis,

Alberto Sangiovanni VincentelliAuthors Info & Claims

MoDELS'06: Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Pages 753 - 767

https://doi.org/10.1007/11880240_52

Published: 01 October 2006 Publication History

Abstract

The design of modern embedded systems has to cope with quite challenging requirements in terms of flexibility, performance, and domain space exploration. To this purpose, we present a general methodology joining the principles of Platform Based Design and Model Driven Engineering. The former was especially conceived for embedded systems design, the latter focuses on models as the primary design artifacts. From their combination, we can to introduce a methodology for the design of Network Processor Applications. Starting from models described using the UML notation, we provide an early estimation of performance related parameters and compare in advance possible alternative implementations. In particular, the system behavior is specified by a collection of Sequence Diagrams describing the various usage scenarios, merged into an internal representation called Message Sequence Net. To prove the effectiveness of the proposed methodology, a case study on the design of an SCTP client is presented.

References

[1]

M. Abdalla, F. Khendek, and G. Butler. New results on deriving SDL specifications from MSCs. In SDL Forum, pages 51-66, 1999.

[2]

S. Afsharian, A. Bertolino, G. De Angelis, P. Iovanna, and R. Mirandola. A Model Based Approach to Design Applications for Network Processor. In Proc. RISE 2004, volume LNCS 3475. Springer, 2005.

Digital Library

[3]

S. Balsamo, A. Di Marco, P. Inverardi, and M. Simeoni. Model-based performance prediction in software development: A survey. IEEE Trans. Software Eng, 30(5):295-310, 2004.

Digital Library

[4]

D. Barbieri. Network Processors and Next Generation Networks : Design Methodology and Implementation of a Case of Study, 2005. Laurea Thesis, Università degli Studi di Roma "Tor Vergata" - in Italian.

[5]

S. Bernardi, S. Donatelli, and J. Merseguer. From UML Sequence Diagrams and Statecharts to analysable Petri Net Models. In Proc. 3rd Int. Workshop on Software and Performance (WOSP-02), pages 35-45, 2002.

Digital Library

[6]

A. Bertolino, G. De Angelis, and R. Mirandola. UML-based design of network processors applications. In Proc. EUROMICRO-SEAA, pages 424-431. IEEE Computer Society, 2005.

Digital Library

[7]

J. Bézivin. On the unification power of models. Journal of Software and Systems Modeling, 4(2):171-188, May 2005.

Digital Library

[8]

G. Bolch, S. Greiner, H. de Meer, and K.S. Trivedi. Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. John Wiley & Sons, August 1998.

Digital Library

[9]

A.W. Brown. Model driven architecture: Principles and practice. Software and System Modeling, 3(4):314-327, 2004.

[10]

R. Chen, M. Sgroi, L. Lavagno, G. Martin, A. Sangiovanni-Vincentelli, and J. Rabaey. UML and Platform-Based design. In L. Lavagno, G. Martin, and B.V. Selic, editors, UML for real: design of embedded real-time systems, chapter 5, pages 107-126. Kluwer Academic Publishers, 2003.

Digital Library

[11]

V. Cortellessa and R. Mirandola. PRIMA-UML: A Performance Validation Incremental Methodology on Early UML Diagrams. Science of Computer Programming, 44(1), 2002.

Digital Library

[12]

A. Ferrari and A. Sangiovanni-Vincentelli. System design: Traditional concepts and new paradigms. In International Conference on Computer Design (ICCD '99), pages 2-13. IEEE, October 1999.

Digital Library

[13]

Freescale. C-5 DCP Architecture Guide, 1999.

[14]

V. Grassi and R. Mirandola. PRIMAmob-UML: a methodology for performance analysis of mobile software architectures. In Proc. 3rd Int. Workshop on Software and Performance (WOSP-02), pages 262-274. ACM Press, 2002.

Digital Library

[15]

Ø. Haugen. Comparing UML 2.0 interactions and MSC-2000. volume LNCS 3319, pages 65-79. Springer, 2004.

Digital Library

[16]

SCTP Prototype Implementation. http://www.sctp.de/sctp.html/.

[17]

S. Lakshmanamurthy, K.Y. Liu, Y. Pun, L. Huston, and U. Naik. Network processor performance analysis methodology. Intel Technology Journal, 6(3):19-28, August 2002.

[18]

M. Ajmone Marsan, A. Bobbio, and S. Donatelli. Petri nets in performance analysis: An introduction. Lectures on Petri Nets I: Basic Models, LNCS 1491:211-256, 1998.

Digital Library

[19]

G. Martin. UML for Embedded Systems Specification and Design: Motivation and Overview. In Proc. DATE, pages 773-775, 2002.

Digital Library

[20]

G. Martin, L. Lavagno, and J. Louis-Guerin. Embedded UML: a merger of real-time UML and co-design. In Proc. CODES, pages 23-28, 2001.

Digital Library

[21]

S. Mauw. The Formalization of Message Sequence Charts. Computer Networks and ISDN Systems, 28(12):1643-1657, 1996.

Digital Library

[22]

T. Murata. Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-574, April 1989.

[23]

OMG. UML Profile for Modeling and Analysis of Real-Time and Embedded systems, OMG Document - realtime/05-02-06 edition, Jannuary 2005.

[24]

OMG. UML Profile for Schedulability, Performance and Time Specification, OMG Document - formal/05-01-02 edition, Jannuary 2005.

[25]

E. Rudolph, J. Grabowski, and P. Graubmann. Towards a harmonization of UML-sequence diagrams and MSC. In SDL Forum, pages 193-208, 1999.

[26]

A. Sabetta, D.C. Petriu, V. Grassi, and R. Mirandola. Abstraction-raising transformation for generating analysis models. In MoDELS Satellite Events, pages 217-226, 2005.

Digital Library

[27]

M. Sgroi. Platform-based Design Methodologies for Communication Networks. PhD thesis, U.C. Berkeley, 2002.

[28]

M. Sgroi, A. Kondratyev, Y. Watanabe, L. Lavagno, and A. Sangiovanni-Vincentelli. Synthesis of petri nets from message sequence charts specifications for protocol design. In Proceedings of Design, Analysis and Simulation of Distributed Systems Symposium, DASD'04, pages 262-274, 2004.

[29]

C. U. Smith and L. Williams. Performance Solutions: A practical Guide To Creating Responsive, Scalable Software. Addison-Wesley, 2001.

[30]

R. R. Stewart, Q. Xie, K. Morneault, C. Sharp, H. J. Schwarzbauer, T. Taylor, I. Rytina, M. Kalla, and L. Zhang. Stream Control Transmission Protocol. Technical Report RFC 2960, IETF, October 2000.

Digital Library

[31]

The SIGTRAN Group Web Site. http://www.sigtran.org/.

[32]

L. Tratt. Model transformations and tool integration. Journal of Software and Systems Modelling, 4(2):112-122, May 2005.

Digital Library

[33]

A. Sangiovanni Vincentelli. Defining Platform-based Design. EEDesign of EETimes, February 2002.

Cited By

Bertolino ADe Angelis GPolini A(2007)A QoS test-bed generator for web servicesProceedings of the 7th international conference on Web engineering10.5555/1770588.1770591(17-31)Online publication date: 16-Jul-2007
https://dl.acm.org/doi/10.5555/1770588.1770591
Bertolino ADe Angelis GPolini AMajumdar SCortellessa VUchitel SYankelevich D(2007)Automatic generation of test-beds for pre-deployment QoS evaluation of web servicesProceedings of the 6th international workshop on Software and performance10.1145/1216993.1217017(137-140)Online publication date: 5-Feb-2007
https://dl.acm.org/doi/10.1145/1216993.1217017

Recommendations

Model-driven engineering with domain-specific meta-modelling languages

Domain-specific modelling languages are normally defined through general-purpose meta-modelling languages like the MOF. While this is satisfactory for many model-driven engineering (MDE) projects, several researchers have identified the need for domain-...
System modeling and traceability applications of the higraph formalism

This paper examines the use of higraphs as a means of representing dependencies and relationships among multiple aspects of system development models (e.g., requirements, hardware, software, testing concerns). We show how some well-known diagram types ...
Early evaluation of software performance based on the UML performance profile
CASCON '03: Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research

The "UML Profile for Schedulability, Performance and Time" recently adopted by OMG defines performance extensions via the Unified Modeling Language (UML) stereotypes, tagged values and constraints. In order to conduct quantitative performance analysis ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences

MoDELS'06: Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

October 2006

795 pages

ISBN:3540457720

Editors:
Oscar Nierstrasz
Software Composition Group, University of Bern, Switzerland
,
Jon Whittle
Computing Department - InfoLab21, Lancaster University, Lancaster, UK
,
David Harel
Department of Computer Science and Applied Mathematics, The Weizmann Institute of Science, Rehovot, Israel
,
Gianna Reggio
DISI, Università di Genova, Rehovot, Italy

Sponsors

IEEE-CS\DATC: The IEEE Computer Society
SIGSOFT: ACM Special Interest Group on Software Engineering
DISI - Universita di Genova: Dipartimento di Informatica e Scienze dell'Informazione

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 01 October 2006

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 144 of 506 submissions, 28%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 12 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Bertolino ADe Angelis GPolini A(2007)A QoS test-bed generator for web servicesProceedings of the 7th international conference on Web engineering10.5555/1770588.1770591(17-31)Online publication date: 16-Jul-2007
https://dl.acm.org/doi/10.5555/1770588.1770591
Bertolino ADe Angelis GPolini AMajumdar SCortellessa VUchitel SYankelevich D(2007)Automatic generation of test-beds for pre-deployment QoS evaluation of web servicesProceedings of the 6th international workshop on Software and performance10.1145/1216993.1217017(137-140)Online publication date: 5-Feb-2007
https://dl.acm.org/doi/10.1145/1216993.1217017

View Options

View options

Media

Figures

Other

Tables

View Table of Contents