A General Approach for the Specification of Real-Time Systems with SDL
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
The Pros and Cons of Using SDL for Creation of Distributed Services
IS&N '99 Proceedings of the 6th International Conference on Intelligence and Services in Networks: Paving the Way for an Open Service Market
Integration of a CAN-Based Connection-Oriented Communication Model into Real-Time CORBA
IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Expression of time and duration constraints in SDL
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
Hi-index | 0.00 |
The usage of formal description techniques (FDTs), and specifically SDL, has arisen as a promising way of dealing with the increasing complexity of embedded real time distributed systems. An important issue that must be taken into account is the predictability of the temporal behaviour of this kind of system including communications. In this sense, RT-CORBA is an interesting alternative as a middleware for real time distributed applications because, unlike standard CORBA, it guarantees predictable temporal response on particular invocations to remote objects and assures a bounded priority inversion. In order to control the predictability of the complete system we propose the design in SDL of RT-CORBA. It provides three important results: first, it is possible to include the behaviour of the communication middleware in the design of the applications and then the simulation of the whole system can be carried out; second, the implementation stage is simplified because the integration of the RT-CORBA middleware allows generation of code from the design; finally, a schedulability analysis for real time distributed systems can be included reducing the development time. In order to apply our proposal we present the design in SDL of a nuclear power plant simulator.