Microelectronics Engineering Group

Microelectronics Engineering Group

Electronics Technology, Systems and Automation Engineering Department University of Cantabria
Home    Staff    Research    Teaching    Doctorate    Publications    Tools    versión en español Fri 29-Mar-24 . 00:22



Web Map


Location

News

Santander Info

GIM>Research>Publication
   PUBLICATION
 
   Full record
Title:Test Cases Design Implementation and Evaluation (second increment)
Type:Report, Study or Opinion by order
Where:Deliverable D5.4 the FP7-216807 SATURN Project
Date:2010-12
Authors: Nikolaos Mitas
Dimitrios Kritharidis
Florent Azcarate
Manuel Carballeda
Philippe Hébrard
Pablo Peñil
R&D Lines: Design and verification of HW/SW embedded systems
Projects: FP7 216807 SATURN
ISBN:
PDF File:
Abstract:Abstract
This deliverable is part of the SATURN project which is a European initiative financed under the 7th FP and addresses SysML based modelling, architecture exploration, simulation and synthesis. SATURN’s goal is to bridge the current gap between modelling and verification/synthesis in UML based designs of Embedded Systems that are equally composed of HW and SW.
This document presents the FPGA designs coming out the case studies by INTRACOM and T3S. It details the experience of these two partners when trying to use the SATURN tools, and how it differs from the use of standard tools.
Aim of the deliverable
This report presents SysML and SATURN models for each case study, and more detailed models for designing part of each system’s functionality and the implementation platform.
The goal of this deliverable will be the identification of advantages and disadvantages of the second increment of the SATURN methodology and tools and therefore the evaluation of the project’s achievements.
© Copyright GIM (TEISA-UC)    ¤    All rights reserved.    ¤    Legal TermsE-Mail Webmaster