Temelkovski, D. and Beus-Dukic, L. 2014. Model-based engineering in real-time embedded systems: specifying timing constraints. ICT Innovations 2014. Ohrid, FYR Macedonia 09 Sep 2014 Springer.
| Title | Model-based engineering in real-time embedded systems: specifying timing constraints |
|---|---|
| Authors | Temelkovski, D. and Beus-Dukic, L. |
| Type | Conference paper |
| 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 languageswas done in order to assess their capabilities to model time. A chosen case study,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 |
| Year | 2014 |
| Conference | ICT Innovations 2014 |
| Publisher | Springer |
| Accepted author manuscript | |
| Publication dates | |
| Published | 2015 |
| Published | Jul 2014 |
| Journal | Advances in Intelligent Systems and Computing |
| Journal citation | 311 |
| ISSN | 1857-7288 |
| Book title | ICT Innovations 2014 |
| Book editor | Madevska-Bogdanova, A. |
| Gjorgjevikj, D. | |
| Gjorgjevikj, D. | |
| ISBN | 9783319098791 |
| Funder | EC (European Commission) |
| Web address (URL) of conference proceedings | http://proceedings.ictinnovations.org/2014/paper/309/model-based-engineering-in-real-time-embedded-systems-specifying-timing-constraints |