Deriving hard real-time embedded systems implementations directly from SDL specifications

Authors:
J. M. Alvarez;M. Diaz;L. Llopis;E. Pimentel;J. M. Troyal
Affiliations:
Dpto. Lenguajesy Cienclas de la Computacion, Complejo Politecnico. 29071, University of Malaga;Dpto. Lenguajesy Cienclas de la Computacion, Complejo Politecnico. 29071, University of Malaga;Dpto. Lenguajesy Cienclas de la Computacion, Complejo Politecnico. 29071, University of Malaga;Dpto. Lenguajesy Cienclas de la Computacion, Complejo Politecnico. 29071, University of Malaga;Dpto. Lenguajesy Cienclas de la Computacion, Complejo Politecnico. 29071, University of Malaga
Venue:
Proceedings of the ninth international symposium on Hardware/software codesign
Year:
2001

Citing 2
Cited 4

A practitioner's handbook for real-time analysis

A practitioner's handbook for real-time analysis
Experimental Assessment of the Period Calibration Method: A Case Study

Real-Time Systems

A real-time profile for UML and how to adapt it to SDL

SDL'03 Proceedings of the 11th international conference on System design
RMTP2: validating the interval timed extension for SDL with an industrial-size multicast protocol

SDL'03 Proceedings of the 11th international conference on System design
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
Real-Time tasks in SDL

SAM'12 Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice

Quantified Score

Hi-index	0.00

Visualization

Abstract

Object-Oriented methodologies together with Formal Description Techniques (FDT) are a promising way to deal with the increasing complexity of hard real-time embedded systems. However, FDTs do not take into account non-functional aspects as real-time constraints. Based on a new real-time execution model for FDT SDL proposed in previous works, a way to derive implementations of hard real-time embedded systems directly from SDL specifications is presented. In order to get it we propose a middleware that supports this model to organize the execution of the tasks generated from SDL system specification. Additionally, a worst case real-time analysis, including the middleware overhead, is presented. Finally, an example to generate the implementation from the SDL specification and a performance study is developed.