Codesign with SDL/MSC
نویسندگان
چکیده
Thus, SDL supports the rapid development and extension of complex systems to meet stringent time-to-market and cost constraints. In conjunction with SDL, Message Sequence Charts (MSC) are employed to describe specific use cases of the system. However, SDL and MSC abstract from nonfunctional aspects and implementational details as time, performance and other limitations of physical systems. Thus, standard SDL and MSC are not suited for the codesign of HW/SW systems.
منابع مشابه
A Methodology for Hardware/Software Codesign of Real-Time Systems with SDL/MSC
Thus, SDL supports the rapid development and extension of complex systems to meet stringent time-to-market and cost constraints. In conjunction with SDL, Message Sequence Charts (MSC) are employed to describe specific use cases of the system. However, SDL and MSC abstract from nonfunctional aspects and implementational details as time, performance and other limitations of physical systems. Thus...
متن کاملPerformance Evaluation of SDL/MSC-specified Systems
SDL and MSC are standardized specification techniques for the development of reactive realtime systems and protocol architectures. Whereas MSC scenarios only allow to specify the dynamic system behavior in form of event/time diagrams, SDL specifications are used to describe static and functional aspects of the system as well. In this paper a framework is presented which demonstrates the relatio...
متن کاملDie Spezifikationssprachen MSC und SDL Teil 1: Message Sequence Chart (MSC) The Specification Languages MSC and SDL Part 1: Message Sequence Chart (MSC)
Im Gegensatz zu weiten Teilen der Informatik besteht in der Telekommunikation seit langem die Notwendigkeit, herstellerunabhängige und präzise Standards für Kommunikationsprotokolle und -dienste zu erstellen. Diese Anforderung hat dazu geführt, dass man sich schon frühzeitig mit der Entwicklung der formalen Modellierungssprachen Message Sequence Chart (MSC) und Specification and Description Lan...
متن کاملFrom MSC and UML to SDL - Computer Software and Applications Conference, 2002. Proceedings. 26th Annual International
UML and MSC are widely used by software practitioners. SDL is an ITU standard language for telecommunications software specification. It has a formal semantics, and is supported by several commercial tools, which allow for simulation and validation of SDL design specifications as well as automatic code generation from these specifications. In order to take advantages of the SDL available tools ...
متن کاملSDL and MSC based test generation for distributed test architectures
Most of the SDL and MSC based test generation methods and tools produce non-concurrent TTCN test cases only. If the test equipment itself is a distributed system, the implementation of such test cases is a diicult task and requires a substantial amount of additional work. In this paper, we explain how concurrent TTCN test cases can be generated directly from SDL system speciications and MSC tes...
متن کامل