SDL-Pattern based Development of a Communication Subsystem for CAN
FORTE XI / PSTV XVIII '98 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII)
Re-Engineering of the Internet Stream Protocol ST2+ with Formalized Design Patterns
ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Rapid development of network software via SDL/socket interfaces
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
ns+SDL: the network simulator for SDL systems
SDL'05 Proceedings of the 12th international conference on Model Driven
Model-Driven development of reactive systems with SDL
SDL'05 Proceedings of the 12th international conference on Model Driven
SDL code generation for open systems
SDL'05 Proceedings of the 12th international conference on Model Driven
SAM'04 Proceedings of the 4th international SDL and MSC conference on System Analysis and Modeling
Simulation visualization of distributed communication systems
Proceedings of the Winter Simulation Conference
Simulation configuration modeling of distributed communication systems
SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice
Hi-index | 0.00 |
Due to their intrinsic complexity, the development of distributed systems is difficult in general and therefore relies on careful and systematic development steps. This paper addresses the design and implementation of distributed systems, using SDL as the design language. In particular, the refinements during implementation design are examined, and it is shown how SDL interfacing patterns can support these steps, even in a heterogeneous environment. Then, tool support to automatically implement the interfacing patterns by generating tailored APIs for the system environment is presented. Finally, these technologies are illustrated in the context of a comprehensive development of a distributed light control system in a heterogeneous environment, using various communication technologies.