Advanced search
Publication Cover
International Journal of Computers and Applications Volume 40, 2018 - Issue 2
Submit an article Journal homepage
69
Views
0
CrossRef citations to date
0
Altmetric
Articles

Modeling, analysis and verification of real-time resource access control protocols: a formal approach

Rumpa HazraComputer Science & Engineering, National Institute of Technology Nagaland, Dimapur, India.Correspondence[email protected]
ORCID Iconhttp://orcid.org/0000-0003-3825-9459
ORCID Icon,
Shouvik DeyComputer Science & Engineering, National Institute of Technology Nagaland, Dimapur, India.ORCID Iconhttp://orcid.org/0000-0002-0836-3194
ORCID Icon &
Jayashree SinghaComputer Science & Engineering, Siliguri Institute of Technology, Siliguri, India.
Pages 63-72 | Received 07 Nov 2016, Accepted 01 Aug 2017, Published online: 30 Aug 2017

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.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.