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 QUEST-approach for the performance evaluation of SDL-systems
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
A formal description language for the modelling and simulation of timed interaction diagrams
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
Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance
Performance engineering of SDL/MSC systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Proceedings of the 2nd international workshop on Software and performance
2nd International Workshop on Software and Performance
Deriving performance models of software architectures from message sequence charts
Proceedings of the 2nd international workshop on Software and performance
Deriving a queueing network based performance model from UML diagrams
Proceedings of the 2nd international workshop on Software and performance
Automated Performance Modeling from Scenarios and SDL Designs of Distributed Systems
PDSE '98 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Mixed Abstraction Level Hardware Synthesis from SDL for Rapid Prototyping
RSP '99 Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping
A Scalable Hardware Library for the Rapid Prototyping of SDL Specifications
RSP '99 Proceedings of the Tenth IEEE International Workshop on Rapid System Prototyping
Embedded Systems Design
Hi-index | 0.00 |
The standardised languages SDL (Specification and Description Language) and MSC (Message Sequence Chart) are very popular in the field of telecommunications, since they support all essential steps in the protocol life cycle. With SDL the protocol behaviour is completely specified by communicating extended finite-state machines. The formal basis of SDL enables the use of code generation tool chains, which allows an automated implementation of the specification. With MSC the communication between processes is described by example. Since telecommunication systems are real time systems, functional and performance aspects must be closely integrated into the development process. Our approach for an early performance prediction is based on scenarios given in MSCs extended with quantitative data. The scenarios are automatically transformed to an SDL specification which yields a prototype implementation via a code generation tool chain. The resulting implementation is executed on the target machines. By monitoring this system, various performance characteristics can be gained, such as processor load, channel utilisation or response time. This allows an early performance prediction for the given scenarios in a system environment which integrates the target hardware and system software in a realistic way.