Transformation process of RTS scheduling analysis requirements from UML/MARTE to dynamic priority time Petri Nets

详细信息    查看全文

• 作者：Adel Mahfoudhi ; Walid Karamti
• 关键词：UML/MARTE activity ; dPTPN ; Transformation process ; MDE ; Partitioning scheduling
• 刊名：The Journal of Supercomputing
• 出版年：2015
• 出版时间：October 2015
• 年：2015
• 卷：71
• 期：10
• 页码：3637-3667
• 全文大小：1,812 KB
• 参考文献：1.Amnell T, Fersman E, Mokrushin L, Pettersson P, Yi W (2002) Times: a tool for modelling and implementation of embedded systems. In: TACAS 鈥?2: Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag, London, pp 460鈥?64
  2.Antti V (1989) Stubborn sets for reduced state space generation. In: Applications and Theory of Petri Nets, pp 491鈥?15
  3.Aulagnier D, Koudri A, Lecomte S, Soulard P, Champeau J, Vidal J, Perrouin G, Leray P (2009) Soc/sopc development using mdd and marte profile. In: Model driven engineering for distributed real-time embedded systems. Hermes
  4.Berthomieu B, Peres F, Vernadat F (2006) Bridging the gap between timed automata and bounded time petri nets. In: FORMATS. Springer, Berlin Heidelberg, pp 82鈥?7
  5.Berthomieu B, Vernadat F (2006) Time petri nets analysis with tina. In: QEST: third international conference on quantitative evaluation of systems. Riverside, CA, pp 123鈥?24
  6.Buy U, Sloan RH (1994) Analysis of real-time programs with simple time petri nets. In: ISSTA 鈥?4: Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis. ACM, New York, pp 228鈥?39
  7.Durdevic DM, Tartalja II (2011) Domino tiling: a new method of real-time conforming mesh construction for rendering changeable height fields. J Comput Sci Technol 26(6):971鈥?87CrossRef
  8.Ermeson A, Maciel P, Callou G, Nogueira B (2009) A methodology for mapping sysml activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In: Proceedings of the 2009 Third International Conference on Digital Society. IEEE Computer Society, Washington, DC, pp 266鈥?71
  9.Gamati茅 A, Le Beux S, Piel 脡, Etien A, Ben Atitallah R, Marquet P, Dekeyser JL (2008) A model driven design framework for high performance embedded systems. Research Report RR-6614, INRIA
  10.Ge N, Pantel M, Cr茅gut X (2012) Time properties dedicated transformation from uml-marte activity to time petri net. In: The 5th International Workshop UML and Formal Methods (UML&FM 2012), 27鈥?1 August. NY, USA, New York, pp 1鈥?
  11.Gerard S, Terrier F, Tanguy Y (2002) Using the model paradigm for real-time systems development: Accord/uml. In: OOIS 鈥?2: Proceedings of the workshops on advances in object-oriented information systems. Springer-Verlag, London, pp 260鈥?69
  12.OMG Object Management Group (2002) Uml profile for schedulability, performance and time
  13.OMG Object Management Group (2003) UML 2.0 OCL specification. OMG adopted specification ptc/03-10-14. Object Management Group
  14.OMG Object Management Group (2008) A UML profile for MARTE: modeling and analysis of real-time embedded systems, Beta 2, ptc/2008-06-09. Object Management Group
  15.OMG Object Management Group. Unified modeling language: Superstructure (final adopted spec, version 2.4.1). http://鈥媤ww.鈥媜mg.鈥媜rg , August鈥? 2011
  16.Hagner M, Huhn M (2008) Tool support for a scheduling analysis view. In: MARTE workshop at DATE鈥?8, pp 41鈥?6
  17.Gonzalez Harbour M, Gutierrez Garciia JJ, Palencia Gutierrez JC, Drake Moyano JM (2001) Mast: Modeling and analysis suite for real time applications. In: Real-Time Systems, Euromicro Conference on, 0:0125
  18.Henia R, Hamann A, Jersak M, Racu R, Richter K, Ernst R (2005) System level performance analysis: the symta/s approach. IEEE Proc Comput Digital Tech 152:148鈥?66CrossRef
  19.Hadj Kacem Y, Karamti W, Mahfoudhi A, Abid M (2010) A petri net extension for schedulability analysis of real time embedded systems. In: PDPTA, Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, pp 304鈥?14
  20.Hadj Kacem Y, Magdich A, Mahfoudhi A, Mraidha C, Karamti W (2012) Using mde and priority time petri nets for the schedulability analysis of embedded systems modeled by uml activity diagrams. In: The 9th IEEE Workshop on Model-Based Development for Computer-Based Systems. Novi Sad, Serbia, pp 316鈥?23
  21.Hadj Kacem Y, Mahfoudhi A, Karamti W, Abid M (2010) Using model driven engineering and uml/marte for hw/sw partitioning. Int J Discrete Event Control Syst (IJDECS) 1(1):57鈥?7
  22.Karamti W, Mahfoudhi A (2014) Scheduling analysis based on model checking for multiprocessor real-time systems. J Supercomput 68(3):1604鈥?629CrossRef
  23.Karamti W, Mahfoudhi A, Hadj Kacem Y (2012) Hierarchical modeling with dynamic priority time petri nets for multiprocessor scheduling analysis. In: ESA, The 2012 international conference on embedded systems and applications. Las Vegas, Nevada, pp 114鈥?21
  24.Karamti W, Mahfoudhi A, Hadj Kacem Y (2012) Using dynamic priority time petri nets for scheduling analysis via earliest deadline first policy. In: ISPA, the 10th IEEE international symposium on parallel and distributed processing with applications, Madrid, pp 332鈥?39
  25.Karamti W, Mahfoudhi A, Hadj Kacem Y, Abid M (2012) A formal method for scheduling analysis of a partitioned multiprocessor system: dynamic priority time petri nets. In: PECCS, Proceedings of the 2nd International Conference on Pervasive Embedded Computing and Communication Systems. Italy, Rome, pp 317鈥?26
  26.Kimmo V (1994) On combining the stubborn set method with the sleep set method. In: Valette Robert (ed) Application and theory of Petri Nets 1994: 15th International Conference, Zaragoza, Spain, June 20鈥?4, 1994, Proceedings, vol 815 of Lecture Notes in Computer Science, pp 548鈥?67. Springer-Verlag, Berlin, Germany, 1994. Springer-Verlag, Berlin Heidelberg
  27.Koudri A, Vojtsiek D, Soulard P, Moy C, Champeau J, Vidal J, Le Lann IC (2008) Using marte in the mopcom soc/sopc methodology. In: workshop MARTE
  28.Kwak SW, Yang J-M (2012) Optimal checkpoint placement on real-time tasks with harmonic periods. J Comput Sci Technol 27(1):105鈥?12MATH CrossRef
  29.Kwang SH, Leung JY-T (1988) On-line scheduling of real-time tasks. In: IEEE real-time systems symposium. Huntsville, Alabama, pp 244鈥?50
  30.Lime D, Roux OH (2009) Formal verification of real-time systems with preemptive scheduling. Real-Time Syst 41(2):118鈥?51MATH CrossRef
  31.Liu CL, James WL (1973) Scheduling algorithms for multiprogramming in a hard-real-time environment. JACM 20:46鈥?1MATH CrossRef
  32.Sha L, T arz茅n KE, Cervin A, Baker T (2004) Real time scheduling theory: a historical perspective. Real-Time Syst 28:101鈥?55MATH CrossRef
  33.Mahfoudhi A, Hadj Kacem Y, Karamti W, Abid M (2011) Compositional specification of real time embedded systems by priority time petri nets. J Supercomput:1鈥?6
  34.Mallet F, Andr茅 C, Peraldi-Frati MA (2006) From UML to petri nets for non functional property verification. In: International Symposium on Industrial Embedded Systems, 2006. IES 鈥?6., Antibes Juan-Les-Pins, pp 1鈥?, Oct 2006
  35.Mura M, Murillo LG, Prevostini M (2008) Model-based design space exploration for rtes with sysml and marte. In: FDL: forum on specification and Design Languages, Stuttgart, Germany, pp 203鈥?08
  36.Murillo LG, Mura M, Prevostini M (2009) Semi-automated hw/sw co-design for embedded systems: from marte models to systemc simulators. In: FDL: Forum on specification and Design Languages. Sophia Antipolis, France, pp 1鈥?
  37.Kitano H, Veloso M, Pagello E Robocup-99: Robot soccer world cup iii. In: Velsoso (eds)
  38.Oliveira M, Bri茫o EW, Nascimento AF, Wagner FR (2007) Model driven engineering for mpsoc design space exploration. In: SBCCI 鈥?7: Proceedings of the 20th annual conference on Integrated circuits and systems design. ACM, New York, pp 81鈥?6
  39.Petri CA (1962) Fundamentals of a theory of asynchronous information flow. In: IFIP Congress, pp 386鈥?90
  40.Roux OH, D茅planche AM (2002) A t-time Petri net extension for real time-task scheduling modeling. Eur J Automat 36(7):973鈥?87
  41.Schmidt DC (2006) Model-driven engineering. IEEE Comput 39(2)
  42.Singhoff F, Legrand J, Nana LT, Marc茅 L (2004) Cheddar: a flexible real time scheduling framewor. ACM Ada Lett J 24(4):1鈥?CrossRef
  43.St枚rrle H (2004) Semantics of structured nodes in uml 2.0 activities. In: Nordic Workshop on UML
  44.St枚rrle H (2004) Structured nodes in uml 2.0 activities. Nordic J Comput 11:279鈥?02
  45.St枚rrle H (2005) Semantics and verification of data flow in uml 2.0 activities. Electron Notes Theor Comput Sci 127(4):35鈥?2CrossRef
  46.St枚rrle H, Hausmann JH (2005) Towards a Formal Semantics of UML 2.0 Activities. In: Software Engineering 2005, Fachtagung des GI-Fachbereichs Softwaretechnik, Essen
  47.Terrier F, G茅rard S (2006) Mde benefits for distributed, real time and embedded systems. In: DIPES, vol 225 of IFIP: International federation for information processing. Springer, pp 15鈥?4
  48.Vanderperren Y, Dehaene W (2005) The sysml profile for embedded system modelling. In: FDL: Forum on specification and Design Languages. Lausanne, Switzerland, Proceedings, pp 589鈥?98
  49.Vidal J, de Lamotte F, Gogniat G, Soulard P, Diguet JP (2009) A co-design approach for embedded system modeling and code generation with uml and marte. In: DATE: design, automation and test in Europe, pp 226鈥?31
  50.Yang N, Yu H, Sun H, Qian Z (2010) Mapping uml activity diagrams to analyzable petri net models. In: Proceedings of the 2010 10th International Conference on Quality Software, QSIC 鈥?0, Washington, DC, USA, 2010. IEEE Computer Society, pp 369鈥?72
  
• 作者单位：Adel Mahfoudhi (1)
  Walid Karamti (2)
  
  1. College of Computers and Information Technology, Taif University, Taif, Saudi Arabia
  2. CES Laboratory, ENIS, University of Sfax, Soukra km 3,5, 1173-3000, Sfax, Tunisia
  
• 刊物类别：Computer Science
• 刊物主题：Programming Languages, Compilers and Interpreters
  Processor Architectures
  Computer Science, general
  
• 出版者：Springer Netherlands
• ISSN：1573-0484

文摘

The real-time system (RTS) design is a major challenge due to the complexity of the considered application and the appearance of multiprocessor architectures. Most of the research in this area is interested in high abstraction level methods to decrease the design convolution. In particular, the Unified Modeling Language (UML) profiles and the Model Driven Engineering (MDE) aim at being an adequate solution to support the whole life cycle of RTS design with its real-time constraints and performance issues. Based on MDE and the Modeling and Analysis of Real-Time and Embedded systems (MARTE) profile, the present manuscript proposes an interactive partitioning scheduling of RTS running on multiprocessor architecture. A special attention is paid to the scheduling analysis step to accelerate the exploration of HW/SW space solution. Starting from a candidate solution modeled with UML activity and annotated with MARTE stereotypes, a mapping process to dynamic priority time Petri Nets (dPTPN) was defined. The considered dPTPN is able to prove the schedulability or provide a counterexample to determine the partitions causes of temporal fault. This counterexample presents a useful feedback to the HW/SW space solution explorer in the aim to exclude all solution containing the described partitions. Keywords UML/MARTE activity dPTPN Transformation process MDE Partitioning scheduling