Lightweight Realization of UML Ports for Safety-Critical Real-Time Embedded Software

Alper Tolga Kocataş, Mustafa Can, Ali Doğru

2016

Abstract

UML ports are widely used in the modeling of real-time software due to their advantages in flexibility and expressiveness. When realizing UML ports in object oriented languages, using objects for each port is one option. However, this approach causes runtime overhead and renders significant amount of additional generated code. To meet the performance constraints and decrease the costs of code reviews required in development of safety-critical real-time embedded software, more efficient approaches are required. In this article, we propose an approach, which introduces relatively less runtime overhead and results in smaller source code. A structural model defined with UML ports is transformed into a model that uses associations instead of objects to efficiently implement the UML port semantics with less lines of code. Achieved improvements and validation of the proposed approach is demonstrated by a case study; the design of an existing avionics software.

References

  1. OMG, 2015.Unified Modeling Language, Superstructure, Version 2.4.1, http://www.omg.org/spec/UML/2.4.1/, last accessed on Sep 16th, 2015.
  2. J. Vidal, F.,Lamotte, G.,Gogniat, P. Soulard, Diguet, J. P., 2009. A co-design approach for embedded system modeling and code generation with UML and MARTE, Design, Automation & Test in Europe Conference & Exhibition.
  3. Andersson, P. 2008. UML and SystemC - A Comparison and Mapping Rules for Automatic Code Generation. In:Villar, E. Ed. Embedded Systems Specification and Design Languages. Springer Netherlands.
  4. Xi, C., Hua, L., J., Zucheng, Z., YaoHui, S. 2005.Modeling SystemC design in UML and automatic code generation, Proceedings of the 2005 Asia and South Pacific Design Automation Conference, pp 932-935.
  5. McDermid, J., Kelly, T. 2006. Software in Safety Critical Systems: Achievement and Prediction, Journal of The British Nuclear Energy Society, Vol. 02, pp. 140-146.
  6. France, R., B., Ghosh, S., Dinh-Trong, T., Solberg, A. 2006. Model-driven development using UML 2.0: promises and pitfalls, Computer, Vol. 39, pp 59-66.
  7. Mraidha, C., Radermacher, A., Gerard, S. 2013. ModelBased Deployment and Code Generation. In: Hugues, J., Canals, A., Dohet, A., Kordon., F. ed. Embedded Systems: Analysis and Modeling with SysML, UML and AADL, Wiley, 2013.
  8. Willersrud, A. 2006.User-defined Code generation from UML 2.0. (M.Sc. Thesis). Permanent link: http://urn.nb.no/URN:NBN:no-12371.
  9. IBM. 2015. Rational Rhapsody Developer, 8.1.1, http://www-03.ibm.com/software/products/en/ratirhap, last accessed on May 8th, 2015.
  10. Douglass, B., P. 2007. Systems Architecture, In: Real Time UML Workshop for Embedded Systems, ISBN: 978-0-7506-7906-0. Newnes, 2007, pp:90-92.
  11. Selic, B. 1998.Using UML for Modeling Complex RealTime Systems, Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems. Springer-Verlag, 1998.pp. 250-- 260.
  12. Bock, C. 2004.UML 2 Composition Model. Journal of Object Technology, Vol. 3, No. 10.
  13. Bjerkander, M., Kobryn, C. 2003. Architecting Systems with UML 2.0, Software, IEEE Volume:20 , Issue: 4, pp. 57 - 61.
  14. RTCA, 2011.DO-1'C Software Considerations in Airborne Systems and Equipment Certification.
  15. Selic, B. 2003.Architectural Patterns for Real-Time Systems, In: Lavagno, L., Martin, G., Selic., B. ed. UML For Real. Kluwer Academic Publishers, Norwell, MA, 2003, USA 171-188.
  16. Aeronautical Radio Inc. 2003.653-1 Avionics Application Software Standard Interface.
  17. Nguyen, V., Deeds-Rubin, S. Tan, T., Boehm, B. 2007.A SLOC Counting Standard, COCOMO II Forum.
  18. Brisolara, L., B., Oliveira, M., F., S., Redin, R., Lamb, L., C., Wagner, F. 2008. Using UML as Front-end for Heterogeneous Software Code Generation Strategies, Design, Automation and Test in Europe, pp.504,509.
  19. OMG, 2011.UML Profile For MARTE: Modeling And Analysis Of Real-Time Embedded Systems, Version 1.1 http://www.omg.org/spec/MARTE/1.1/, last accessed on Sep 16th, 2015.
Download


Paper Citation


in Harvard Style

Kocataş A., Can M. and Doğru A. (2016). Lightweight Realization of UML Ports for Safety-Critical Real-Time Embedded Software . In Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-168-7, pages 258-265. DOI: 10.5220/0005689602580265


in Bibtex Style

@conference{modelsward16,
author={Alper Tolga Kocataş and Mustafa Can and Ali Doğru},
title={Lightweight Realization of UML Ports for Safety-Critical Real-Time Embedded Software},
booktitle={Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2016},
pages={258-265},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005689602580265},
isbn={978-989-758-168-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Lightweight Realization of UML Ports for Safety-Critical Real-Time Embedded Software
SN - 978-989-758-168-7
AU - Kocataş A.
AU - Can M.
AU - Doğru A.
PY - 2016
SP - 258
EP - 265
DO - 10.5220/0005689602580265