Model-Based Engineering in Real-Time Embedded Systems: Specifying Timing Constraints

Web proceedings papers

Authors

Damjan Temelkovski and Ljerka Beus-Dukic

Abstract

This paper presents the results from a research project on development of Real-Time Embedded Systems (RTESs) using a Model-Based Engineering (MBE) approach. A review of the state-of-the-art modelling languages was done in order to assess their capabilities to model time. A chosen casestudy, a Brake-By-Wire (BBW) system, was taken from the automotive industry. The case study focuses on the use of EAST-ADL to model the RTES and TADL to specify timing constraints. A different approach using MARTE to model the BBW system was developed within our project. This approach is used to compare MARTE (and OCL) with EAST-ADL (and TADL). The results show that MARTE can be used to model an RTES from the automotive industry but lacks some important semantic expressions for the timing constraints which are present in TADL.

Keywords

model-based engineering, real-time embedded systems, MARTE, EAST-ADL, brake-by-wire