Integrating Schedulability Analysis and Design Techniques in SDL

Authors:
José M. Alvarez;Manuel Diaz;Luis Llopis;Ernesto Pimentel;José M. Troya
Affiliations:
Departamento Lenguajes y Ciencias de la Computación, Complejo Politecnico, University of Málaga, Spain alvarezp@lcc.uma.es;Departamento Lenguajes y Ciencias de la Computación, Complejo Politecnico, University of Málaga, Spain mdr@lcc.uma.es;Departamento Lenguajes y Ciencias de la Computación, Complejo Politecnico, University of Málaga, Spain luisll@lcc.uma.es;Departamento Lenguajes y Ciencias de la Computación, Complejo Politecnico, University of Málaga, Spain ernesto@lcc.uma.es;Departamento Lenguajes y Ciencias de la Computación, Complejo Politecnico, University of Málaga, Spain troya@lcc.uma.es
Venue:
Real-Time Systems
Year:
2003

Citing 0
Cited 12

Formal verification of multitasking applications based on timed automata model

Real-Time Systems
UM-RTCOM: An analyzable component model for real-time distributed systems

Journal of Systems and Software
Designing distributed software with RT-CORBA and SDL

Computer Standards & Interfaces
Specification and simulation of real time concurrent systems using standard SDL tools

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
Early schedulability analysis with timed use case maps

SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Real-time signaling in SDL

SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Priority scheduling in SDL

SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Compositional real-time models

Journal of Systems Architecture: the EUROMICRO Journal
Design of component-based real-time applications

Journal of Systems and Software
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

The usage of formal description techniques (FDTs) has arisen as a promising way of dealing with the increasing complexity of embedded real-time systems. However, FDTs do not take into account non-functional aspects, such as the time requirements, that are especially important in the context of this kind of system. In this paper, we present how to integrate real-time analysis in the context of the specification and description language (SDL) FDT. In order to get this integration a real-time execution model for SDL is presented to allow us to express hard real-time constraints and solve SDL real-time anomalies as priority inversion and the access to shared resources. Based on this model, a schedulability analysis for systems specifed in SDL is proposed. Additionally, a set of SDL design techniques are proposed to redesign the system to meet the imposed deadlines in case the system does not meet them. To illustrate our proposals, an example of a computerized numerical control (CNC) machine is presented.