References
- Liu CL, Layland JW. Scheduling algorithms for multiprogramming in a hard-real-time environment. J ACM. 1973;20(1):46–61.
- Faizan J, Marjan M, Bryant BR . A grammar-based approach to class diagram validation. Fourth International Workshop on Scenarios and State Machines: Models Algorithms and Tools (SCESM). St Louis, MO; 2005.
- Object Management Grou. UML Superstructure Specification -- version 2.0. Massachusetts, USA: Object Management Group; 2004.
- Selic B, Rumbaugh J. Using UML for modeling complex real-time systems. White Paper. 340 March Rd., Kamata, Astario, Canada: Object Time Limited; 1998.
- Douglass BP. Real time UML: advances in the UML for real-time systems. 3rd ed. Redwood: Addison-Wesley; 2004.
- Object Management Group. UML profile for schedulability, performance and time specification. OMG Document formal/05-01-02 edition. 2002. Available from: http://www.omg.org/cgibin/doc.
- Lavazza L, Quaroni G, Venturelli M. Combining UML and formal notations for modelling real-time system. ACM SIGSOFT Soft Eng Notes. 2001;26(5):196–206.
- Bertolino A, Angelism GD, Bartolini C, et al. A UML profile and a methodology for real-time systems design. Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications. Washington (DC), USA: IEEE Computer Society; 2006. p. 108–117.
- Gherbi A, Khendek F. UML profiles for real-time systems and their applications. J Object Technol. May-June 2006;5(4). p.149–169.
- Posse E, Dingel J. An executable formal semantics for UML-RT. Soft Syst Modeling. 2016;15(1):179–217. Springer Publishers.
- Gu Z, Shin KG. Synthesis of Real-Time implementation from UML-RT systems. Proceedings of 2nd RTAS Workshop on Model-Driven Embedded Systems (MoDES 04). Toronto, Canada; May 25--28, 2004.
- Object Management Group. UML profile For MARTE: modeling and analysis of real-time embedded systems v1.1. June 2011. Available from: http://www.omg.org/spec/MARTE/http://www.omg.org/spec/MARTE/
- Iqbal MZ, Ali S, Yue T, et al. Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines. Soft Syst Modeling. 2015, 14(4);1367–1385. Springer Publishers.
- Shousha M, Briand L, Labiche Y. A UML/MARTE model analysis method for uncovering scenarios leading to starvation and deadlocks in concurrent systems. IEEE Trans Soft Eng. 2012;38(2):354–374.
- Mota E, Clarke E, Groce A, et al. VeriAgent: an approach to integrating UML and formal verification tools. Electronic notes in theoretical computer science. Vol. 95. Elsevier; 2004. p. 111–129.
- Lucas P. Timed semantics of message sequence charts based on timed automata. Electronic notes in theoretical computer science. Vol. 65, No. 6, pp. 160–179, Elsevier; 2002.
- Valiente MC, Genova G, Carretero J. UML 2.0 notation for modeling real time task scheduling. J Object Technol. May-June 2006;5(4). p.91–105.
- Xingyuan Z, Urban C, Wu C. Priority inheritance protocol proved correct. International Conference on Interactive Theorem Proving. Berlin: Springer; 2012. p. 217–232.
- Hazra R, Dey S, Kanjilal A, et al. Comparative analysis of real time resource access control protocols using UML 2.0. ACM SIGSOFT Soft Eng Notes (SEN). 2013;38(5):1–7.
- Parr T. The definitive ANTLR reference. Building Domain-Specific Languages Pragmatic Programmers, 1st Edition; 2007.