Model-based engineering in real-time embedded systems: specifying timing constraints

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, Advances in Intelligent Systems and Computing, Vol. 311, Madevska-Bogdanova, A. and Gjorgjevikj, D. (Eds.), ICT Innovations 2014.

TitleModel-based engineering in real-time embedded systems: specifying timing constraints
AuthorsTemelkovski, D. and Beus-Dukic, L.
TypeConference 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.

Keywordsmodel-based engineering, real-time embedded systems, MARTE, EAST-ADL, brake-by-wire
Year2014
ConferenceICT Innovations 2014
PublisherSpringer, Advances in Intelligent Systems and Computing, Vol. 311, Madevska-Bogdanova, A. and Gjorgjevikj, D. (Eds.), ICT Innovations 2014
Accepted author manuscriptDT-ICTinnovations2014.pdf
Publication dates
Published2015
CompletedJul 2014
ISSN1857-7288
ISBN9783319098791
Web address (URL) of conference proceedingshttp://proceedings.ictinnovations.org/2014/paper/309/model-based-engineering-in-real-time-embedded-systems-specifying-timing-constraints

Related outputs

Conceptual Framework and Methodology for Analysing Previous Molecular Docking Results
Temelkovski, D. 2019. Conceptual Framework and Methodology for Analysing Previous Molecular Docking Results. PhD thesis University of Westminster School of Computer Science and Engineering

Extending Molecular Docking Desktop Applications with Cloud Computing Support and Analysis of Results
Temelkovski, D., Kiss, T., Terstyanszky, G. and Greenwell, P. 2019. Extending Molecular Docking Desktop Applications with Cloud Computing Support and Analysis of Results. Future Generation Computer Systems. 97, p. 814–824. doi:10.1016/j.future.2019.03.017

A Generic Framework and Methodology for Implementing Science Gateways for Analysing Molecular Docking Results
Kiss, T., Temelkovski, D. and Terstyanszky, G. 2018. A Generic Framework and Methodology for Implementing Science Gateways for Analysing Molecular Docking Results. Gesing, S. and Atkinson, M. (ed.) 10th International Workshop on Science Gateways. Edinburgh UK 13 - 15 Jun 2018 CEUR Workshop Proceedings.

Molecular docking with Raccoon2 on clouds: extending desktop applications with cloud computing
Temelkovski, D., Kiss, T. and Terstyanszky, G. 2017. Molecular docking with Raccoon2 on clouds: extending desktop applications with cloud computing. 9th International Workshop on Science Gateways, IWSG 2017. Poznan, Poland 19 - 21 Jun 2017 CEUR Workshop Proceedings.

Timing constraints in EAST-ADL and MARTE
Temelkovski, D. and Beus-Dukic, L. 2014. Timing constraints in EAST-ADL and MARTE. Annual Systems Engineering Conference 2014 (ASEC2014). Cosford, UK 18 Nov 2014 INCOSE UK.

Specifying timing requirements in domain specific languages for modeling
Temelkovski, D. and Beus-Dukic, L. 2014. Specifying timing requirements in domain specific languages for modeling. 3rd Mediterranean Conference on Embedded Computing, MECO 2014. Budva, Montenegro 15 Jun 2014 IEEE . doi:10.1109/MECO.2014.6862712

Final year project: a test case for requirements engineering skills
Beus-Dukic, L. 2011. Final year project: a test case for requirements engineering skills. in: 6th International workshop on requirements engineering education and training (REET11) in conjunction with the RE’11, August 2011, Trento, Italy IEEE . pp. 5-8

Semantic distance acquisition in SemaCS
Sjachyn, M. and Beus-Dukic, L. 2010. Semantic distance acquisition in SemaCS. in: Proceedings of the 4th IEEE international conference on research challenges in information science (RCIS 2010), Nice, France. IEEE . pp. 183-190

Discovering requirements: how to specify products and services
Alexander, I. and Beus-Dukic, L. 2009. Discovering requirements: how to specify products and services. Chichester Wiley.

GSEEM: a European master program on global software engineering
Lago, P., Muccini, H., Beus-Dukic, L., Crnkovic, I. and Punnekkat, S. 2008. GSEEM: a European master program on global software engineering. International Journal of Engineering Education. 24 (4), pp. 747-760.

Use and abuse cases
Beus-Dukic, L. and Myers, C. 2008. Use and abuse cases. in: Zowghi, D. and Cleland-Huang, J. (ed.) Proceedings of the 1st & 2nd International Workshop on Requirements Engineering and Training REET.

Learning how to discover requirements
Beus-Dukic, L. and Alexander, I. 2008. Learning how to discover requirements. in: 3rd International Workshop on Requirements Engineering Education and Training IEEE . pp. 12-14

Towards a European master programme on global software engineering
Lago, P., Muccini, H., Beus-Dukic, L., Crnkovic, I., Punnekkat, S. and Van Vliet, H. 2007. Towards a European master programme on global software engineering. in: Edwards, H. and Narayanan, R. (ed.) Proceedings of the 20th Conference on Software Engineering Education & Training, (CSEET '07), Dublin, Ireland, 3-5 July 2007 Los Alamitos, USA IEEE . pp. 184-194

Semantic component selection - SemaCS
Sjachyn, M. and Beus-Dukic, L. 2006. Semantic component selection - SemaCS. in: Fifth International Conference on Commercial-off-the-Shelf (COTS)-Based Software Systems, 2006 Los Alamitos, USA IEEE . pp. 83-89

COTS components and DB interoperability
Juric, R. and Beus-Dukic, L. 2005. COTS components and DB interoperability. in: Xavier, F. and Port, D. (ed.) COTS-based software systems: 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005 Berlin, Germany Springer.

COTS software quality evaluation
Beus-Dukic, L. and Boegh, J. 2003. COTS software quality evaluation. in: Erdogmus, H. and Weng, T. (ed.) COTS-based Software Systems: Second International Conference, ICCBSS 2003, Ottawa, Canada, February 10-13, 2003 Berlin, Germany Springer.

Multi-level integrity mechanisms
Totel, E., Beus-Dukic, L., Blanquart, J.P., Deswarte, Y., Nicomette, V., Powell, D. and Wellings, A. 2001. Multi-level integrity mechanisms. in: Powell, D. (ed.) A generic fault-tolerant architecture for real-time dependable systems London, UK Kluwer Academic Publishers. pp. 99-119

Architecture development environment
Beus-Dukic, L., Wellings, A., Coppola, P. and Paganone, A. 2001. Architecture development environment. in: Powell, D. (ed.) A generic fault-tolerant architecture for real-time dependable systems London, UK Kluwer Academic Publishers. pp. 121-139

Scheduling
Beus-Dukic, L. and Wellings, A. 2001. Scheduling. in: Powell, D. (ed.) A generic fault-tolerant architecture for real-time dependable systems London, UK Kluwer Academic Publishers. pp. 51-69

COTS real-time operating systems in space
Beus-Dukic, L. 2001. COTS real-time operating systems in space. Safety-Critical Systems Club Newsletter. 10 (3).

Non-functional requirements for COTS software components
Beus-Dukic, L. 2000. Non-functional requirements for COTS software components. ICSE 2000 Workshop on Continuing Collaborations for Successful COTS Development. Limerick, Ireland 04-05 Jun 2000

Criteria for selection of COTS real-time operating system: a survey
Beus-Dukic, L. 2000. Criteria for selection of COTS real-time operating system: a survey. Data Systems in Aerospace Conference (DASIA 2000). Montreal, Canada 22-24 May 2000

Requirements for the use of COTS operating systems in safety related air traffic services
Pierce, R., Wilson, S., McDermid, J., Beus-Dukic, L. and Eaton, A. 1999. Requirements for the use of COTS operating systems in safety related air traffic services. Proceedings of the DAta Systems In Aerospace Conference (DASIA'99). Lisbon, Portugal 17-20 May 1999

COTS component evaluation and the internet
Beus-Dukic, L. 1999. COTS component evaluation and the internet. 3rd International Conference on Empirical Assessment and Evaluation in Software Engineering. Keele University, Staffordshire 12-14 Apr 1999

Permalink - https://westminsterresearch.westminster.ac.uk/item/971w6/model-based-engineering-in-real-time-embedded-systems-specifying-timing-constraints


Share this
Tweet
Email