/**
 * @file autosar_mp_s1/autosar_mp_s1.c
 *
 * @section desc File description
 *
 * @section copyright Copyright
 *
 * Trampoline Test Suite
 *
 * Trampoline Test Suite is copyright (c) IRCCyN 2005-2007
 * Trampoline Test Suite is protected by the French intellectual property law.
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the GNU General Public License
 * as published by the Free Software Foundation; version 2
 * of the License.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301, USA.
 *
 * @section infos File informations
 *
 * $Date$
 * $Rev$
 * $Author$
 * $URL$
 */

#include "Os.h"
#include "tpl_app_define.h"

#if TARGET_ARCH == ARCH_POSIX
  #include <stdio.h>
#endif

/**
 * OS_CODE
 *
 */
#define OS_START_SEC_CODE
#include "tpl_memmap.h"
FUNC(int, OS_CODE) main(void)
{
	StartOS(OSDEFAULTAPPMODE);
	return 0;
}

FUNC(ProtectionReturnType, OS_CODE) ProtectionHook(StatusType error)
{
	if (E_OS_PROTECTION_MEMORY == error)
	{
		return PRO_TERMINATEAPPL_RESTART;
	}
	else
	{
		return PRO_SHUTDOWN;
	}
}
#define OS_STOP_SEC_CODE
#include "tpl_memmap.h"

#define OS_START_SEC_VAR_32BIT
#include "tpl_memmap.h"
VAR(u32, OS_VAR) var_os = 0;
#define OS_STOP_SEC_VAR_32BIT
#include "tpl_memmap.h"

#define API_START_SEC_CONST_UNSPECIFIED
#include "tpl_memmap.h"
DeclareEvent(Event1);
DeclareTask(t1_app_nontrusted1);
DeclareTask(t1_app_nontrusted2);
DeclareTask(t1_app_trusted1);
DeclareTask(t1_app_trusted2);
#define API_STOP_SEC_CONST_UNSPECIFIED
#include "tpl_memmap.h"

/**
 * Vars
 *
 */
#define APP_OS_APP_app_nontrusted1_START_SEC_VAR_32BIT
#include "tpl_memmap.h"
VAR(u32, OS_APPL_DATA) exe_count = 0;
VAR(u32, OS_APPL_DATA) var_app_nontrusted1 = 0;
#define APP_OS_APP_app_nontrusted1_STOP_SEC_VAR_32BIT
#include "tpl_memmap.h"
#define APP_OS_APP_app_nontrusted2_START_SEC_VAR_32BIT
#include "tpl_memmap.h"
VAR(u32, OS_APPL_DATA) var_app_nontrusted2 = 0;
#define APP_OS_APP_app_nontrusted2_STOP_SEC_VAR_32BIT
#include "tpl_memmap.h"
#define APP_OS_APP_app_trusted1_START_SEC_VAR_32BIT
#include "tpl_memmap.h"
VAR(u32, OS_APPL_DATA) var_app_trusted1 = 0;
#define APP_OS_APP_app_trusted1_STOP_SEC_VAR_32BIT
#include "tpl_memmap.h"
#define APP_OS_APP_app_trusted2_START_SEC_VAR_32BIT
#include "tpl_memmap.h"
VAR(u32, OS_APPL_DATA) var_app_trusted2 = 0;
#define APP_OS_APP_app_trusted2_STOP_SEC_VAR_32BIT
#include "tpl_memmap.h"

#define APP_Task_t1_app_nontrusted1_START_SEC_VAR_32BIT
#include "tpl_memmap.h"
VAR(u32, AUTOMATIC) var_t1_app_nontrusted1 = 0;
#define APP_Task_t1_app_nontrusted1_STOP_SEC_VAR_32BIT
#include "tpl_memmap.h"
#define APP_Task_t1_app_trusted1_START_SEC_VAR_32BIT
#include "tpl_memmap.h"
VAR(u32, AUTOMATIC) var_t1_app_trusted1 = 0;
#define APP_Task_t1_app_trusted1_STOP_SEC_VAR_32BIT
#include "tpl_memmap.h"

/**
 * t1_app_nontrusted1
 *
 */
#define APP_Task_t1_app_nontrusted1_START_SEC_CODE
#include "tpl_memmap.h"
TASK(t1_app_nontrusted1)
{
#if TARGET_ARCH == ARCH_POSIX
  printf("1.t1_app_nontrusted1 \n");
#endif
  
  /* OS086 : read/write OS application's data section from same OS application -> YES
   - read
   - write   
   */
  var_t1_app_nontrusted1 = var_app_nontrusted1;
  var_app_nontrusted1 = var_t1_app_nontrusted1;
  
  /* OS026-OS207 : read/write other OS application's data section from non-trusted OS application -> NO
   - trusted - read
   - trusted - write
   - non-trusted - read
   - non-trusted - write
  */
  
  switch (exe_count)
  {
  	case 0:
      exe_count++;
      /* PROTECTION_HOOK should be called because t1_app_nontrusted1 cannot read var_app_trusted1 */
      var_t1_app_nontrusted1 = var_app_trusted1;
      break;
  	case 1:
      exe_count++;
      /* PROTECTION_HOOK should be called because t1_app_nontrusted1 cannot write var_app_trusted1 */
      var_app_trusted1 = var_t1_app_nontrusted1;
  	  break;
  	case 2:
      exe_count++;
      /* PROTECTION_HOOK should be called because t1_app_nontrusted1 cannot read var_app_nontrusted2 */
      var_t1_app_nontrusted1 = var_app_nontrusted2;
  	  break;
  	case 3:
      exe_count++;
      /* PROTECTION_HOOK should be called because t1_app_nontrusted1 cannot write var_app_nontrusted2 */
      var_app_nontrusted2 = var_t1_app_nontrusted1;
  	  break;
    /* 
     * OS198 : (read/)write OS's data section from non-trusted OS application -> NO
     * - read
     * - write
     */   
  	case 4:
      exe_count++;
      /* PROTECTION_HOOK should be called because t1_app_nontrusted1 cannot read var_os */
      var_app_nontrusted1 = var_os;
  	  break;
  	case 5:
      exe_count++;
      /* PROTECTION_HOOK should be called because t1_app_nontrusted1 cannot write var_os */
      var_os = var_app_nontrusted1;
  	  break;
  }
  
  WaitEvent(Event1);
  
#if TARGET_ARCH == ARCH_POSIX
  printf("4.t1_app_nontrusted1 - Event received -> ShutdownOS \n");
#endif

  ShutdownOS(E_OK);
}
#define APP_Task_t1_app_nontrusted1_STOP_SEC_CODE
#include "tpl_memmap.h"

/**
 * t1_app_nontrusted2
 *
 */
#define APP_Task_t1_app_nontrusted2_START_SEC_CODE
#include "tpl_memmap.h"
TASK(t1_app_nontrusted2)
{
  /* We shouldn't be here but it's just to force the variable to be in the mapping */
  var_app_nontrusted2++;
  
}
#define APP_Task_t1_app_nontrusted2_STOP_SEC_CODE
#include "tpl_memmap.h"

/**
 * t1_app_trusted1
 *
 */
#define APP_Task_t1_app_trusted1_START_SEC_CODE
#include "tpl_memmap.h"
TASK(t1_app_trusted1)
{
#if TARGET_ARCH == ARCH_POSIX
  printf("2.t1_app_trusted1 \n");
#endif
  /* OS086 : read/write OS application's data section from same OS application -> YES
   - read
   - write   
   */
  var_t1_app_trusted1 = var_app_trusted1;
  var_app_trusted1 = var_t1_app_trusted1;
  
  /* read/write other OS application's data section from trusted OS application -> YES (OS026-OS207)
   - trusted - read
   - trusted - write
   - non-trusted - read
   - non-trusted - write
   */
  var_t1_app_trusted1 = var_app_trusted2;
  var_app_trusted2 = var_t1_app_trusted1;
  
  var_t1_app_trusted1 = var_app_nontrusted1;
  var_app_nontrusted1 = var_t1_app_trusted1;
  
  /* (read/)write OS's data section from non-trusted OS application -> YES (OS198)
   - read
   - write   
   */
  var_t1_app_trusted1 = var_os;
  var_os = var_t1_app_trusted1;
  
  SetEvent(t1_app_nontrusted1, Event1);
  
#if TARGET_ARCH == ARCH_POSIX
  printf("3.t1_app_trusted1 - Event set\n");
#endif  
  
  TerminateTask();
  
}
#define APP_Task_t1_app_trusted1_STOP_SEC_CODE
#include "tpl_memmap.h"

/**
 * t1_app_trusted2
 *
 */
#define APP_Task_t1_app_trusted2_START_SEC_CODE
#include "tpl_memmap.h"
TASK(t1_app_trusted2)
{
  /* We shouldn't be here but it's just to force the variable to be in the mapping */
  var_app_trusted2++;
  
}
#define APP_Task_t1_app_trusted2_STOP_SEC_CODE
#include "tpl_memmap.h"

/* End of file autosar_mp_s1/autosar_mp_s1.c */