Skip to content
Snippets Groups Projects
  1. May 13, 2020
  2. Nov 27, 2018
  3. May 02, 2016
    • Stefano puri's avatar
      Builds MAST protected resources usage for a task by using the · 8baad477
      Stefano puri authored
      information available in the UML sequence diagram.
      
      Current support assumes that calls to protected resources made by a
      given task X are made just after the call activating task X itself, so
      e.g.: 
                  	
      message n°1:task1 activation
      message n°2..x: list of protected resources used by task1
      message n°x+1: activation of task2
      message n°x+2..y: list of protected resources used by task2
      etc 
      
      
      Change-Id: Ie7dc796523ffe067bde84420f5484cbdc260f1a9
      8baad477
  4. Mar 31, 2016
  5. Mar 23, 2016
  6. Feb 12, 2016
  7. Nov 06, 2015
  8. Sep 22, 2015
  9. Aug 05, 2015
  10. Jun 11, 2015
  11. Apr 17, 2015
  12. Apr 02, 2015
  13. Mar 25, 2015
  14. Feb 27, 2015
  15. Feb 23, 2015
  16. Feb 19, 2015
  17. Feb 17, 2015
    • azovi's avatar
      test · 1747c4b5
      azovi authored
      1747c4b5
  18. Feb 10, 2015
  19. Feb 04, 2015
  20. Feb 03, 2015
  21. Jan 23, 2015
  22. Oct 31, 2014
  23. Oct 23, 2014
    • Stefano puri's avatar
      fix issue with operation's names comparison (used utility getName() · 42509df2
      Stefano puri authored
      method to take into account operation formal parameters)
      Remove  'put' and 'get' (the operations of the protected resource owned
      by the sporadic) call operation nodes from the transactions, they should
      appear in the subusage filed of the corresponding calling operation  in
      the Operation package: now the blocking time is correctly back
      propagated.
      42509df2
  24. Oct 20, 2014
  25. Oct 15, 2014
  26. Oct 14, 2014
    • Stefano puri's avatar
      Revert "Fix issue with operation's names comparison (use utility getName()... · 32136c48
      Stefano puri authored
      Revert "Fix issue with operation's names comparison (use utility getName() method to take into account operation's formal parameters) Removed  'put' and 'get' (the operations of the protected resource owned by the sporadic) call operation nodes from the transactions, they should appear in the subusage filed of the corresponding calling operation  in the Operation package: now the blocking time is correctly back propagated."
      
      This reverts commit 8c2f7c68.
      32136c48
  27. Oct 13, 2014
    • Stefano puri's avatar
      fix issue with operation's names comparison (used utility getName() · 2e4db64c
      Stefano puri authored
      method to take into account operation formal parameters)
      Remove  'put' and 'get' (the operations of the protected resource owned
      by the sporadic) call operation nodes from the transactions, they should
      appear in the subusage filed of the corresponding calling operation  in
      the Operation package: now the blocking time is correctly back
      propagated.
      2e4db64c
    • Stefano puri's avatar
      Fix issue with operation's names comparison (use utility getName() · 8c2f7c68
      Stefano puri authored
      method to take into account operation's formal parameters)
      Removed  'put' and 'get' (the operations of the protected resource owned
      by the sporadic) call operation nodes from the transactions, they should
      appear in the subusage filed of the corresponding calling operation  in
      the Operation package: now the blocking time is correctly back
      propagated.
      8c2f7c68
  28. Oct 06, 2014
Loading