The formalization of message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Queueing networks and Markov chains: modeling and performance evaluation with computer science applications
Embedded UML: a merger of real-time UML and co-design
Proceedings of the ninth international symposium on Hardware/software codesign
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
PRIMAmob-UML: a methodology for performance analysis of mobile software architectures
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
PRIMA-UML: a performance validation incremental methodology on early UML diagrams
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
Petri Nets in Performance Analysis: An Introduction
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
System Design: Traditional Concepts and New Paradigms
ICCD '99 Proceedings of the 1999 IEEE International Conference on Computer Design
UML for Embedded Systems Specification and Design: Motivation and Overview
Proceedings of the conference on Design, automation and test in Europe
UML for real
Model-Based Performance Prediction in Software Development: A Survey
IEEE Transactions on Software Engineering
UML-based Design of Network Processors Applications
EUROMICRO '05 Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications
Comparing UML 2.0 interactions and MSC-2000
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Abstraction-raising transformation for generating analysis models
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
A model based approach to design applications for network processor
RISE'04 Proceedings of the First international conference on Rapid Integration of Software Engineering Techniques
Automatic generation of test-beds for pre-deployment QoS evaluation of web services
WOSP '07 Proceedings of the 6th international workshop on Software and performance
A QoS test-bed generator for web services
ICWE'07 Proceedings of the 7th international conference on Web engineering
Hi-index | 0.00 |
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.