This paper proposes an enhanced SDL subset for the implementation of embedded signalling systems and describes a novel methodology for its translation to Java based applications. Although SDL is widely used in the telecommunications field, it is also now being applied to a diverse number of other areas ranging over aircraft, train control, medical and adaptive systems. Embedded signalling systems form a class of applications in the telecommunications field with specific requirements within the SDL domain. Although SDL is commonly used to specify embedded signalling systems, typically it is only a subset of the SDL language that is relevant. Within this contribution the key requirements of embedded signalling systems are identified and an en...
Resumo: Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicaç...
In this paper we introduce a method to interface hardware components with embedded Java applications...
Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicação intra...
If formal techniques are to be more widely accepted then they should evolve as current software engi...
This is a pre-print of an article whose final and definitive form has been published in the IFIP Adv...
International Telemetering Conference Proceedings / October 21, 2002 / Town & Country Hotel and Conf...
SDL is a Situation Description Language intended for use in situation as-sessment problems. SDL prov...
SDL is a Situation Description Language intended for use in situation as-sessment problems. SDL prov...
In this paper we describe the development of the software module for an embedded system, which reali...
International Telemetering Conference Proceedings / October 25-28, 1999 / Riviera Hotel and Conventi...
The Java language has several attractive features but cannot at present be used in on-board systems ...
Writing protocol software for wireless terminals has been possible only for equipment manufactures a...
If formal techniques are to be more widely accepted then they should evolve as current software engi...
©2001 IEEE. Personal use of this material is permitted. However, permission to reprint/republish thi...
Writing protocol software for wireless terminals has been possible only for equipment manufactures a...
Resumo: Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicaç...
In this paper we introduce a method to interface hardware components with embedded Java applications...
Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicação intra...
If formal techniques are to be more widely accepted then they should evolve as current software engi...
This is a pre-print of an article whose final and definitive form has been published in the IFIP Adv...
International Telemetering Conference Proceedings / October 21, 2002 / Town & Country Hotel and Conf...
SDL is a Situation Description Language intended for use in situation as-sessment problems. SDL prov...
SDL is a Situation Description Language intended for use in situation as-sessment problems. SDL prov...
In this paper we describe the development of the software module for an embedded system, which reali...
International Telemetering Conference Proceedings / October 25-28, 1999 / Riviera Hotel and Conventi...
The Java language has several attractive features but cannot at present be used in on-board systems ...
Writing protocol software for wireless terminals has been possible only for equipment manufactures a...
If formal techniques are to be more widely accepted then they should evolve as current software engi...
©2001 IEEE. Personal use of this material is permitted. However, permission to reprint/republish thi...
Writing protocol software for wireless terminals has been possible only for equipment manufactures a...
Resumo: Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicaç...
In this paper we introduce a method to interface hardware components with embedded Java applications...
Este trabalho apresenta uma proposta de especificação formal em SDL de uma rede de comunicação intra...