UML Profile for SDR Hardware/Software Adequacy Verification

Slides:



Advertisements
Similar presentations
Andrea Maurino Web Service Design Methodology Batini, De Paoli, Maurino, Grega, Comerio WP2-WP3 Roma 24/11/2005.
Advertisements

International Telecommunication Union © ITU-T Study Group 17 Integrated Application of URN Daniel Amyot University of Ottawa, Canada
Profiles Construction Eclipse ECESIS Project Construction of Complex UML Profiles UPM ETSI Telecomunicación Ciudad Universitaria s/n Madrid 28040,
ECOE 560 Design Methodologies and Tools for Software/Hardware Systems Spring 2004 Serdar Taşıran.
Workshop - November Toulouse Paul Brelet TRT Modeling of a smart camera systems 24/11/
1 HW/SW Partitioning Embedded Systems Design. 2 Hardware/Software Codesign “Exploration of the system design space formed by combinations of hardware.
Recall The Team Skills 1. Analyzing the Problem (with 5 steps) 2. Understanding User and Stakeholder Needs 3. Defining the System 4. Managing Scope 5.
Define Embedded Systems Small (?) Application Specific Computer Systems.
© Copyright Eliyahu Brutman Programming Techniques Course.
Software Engineering Module 1 -Components Teaching unit 3 – Advanced development Ernesto Damiani Free University of Bozen - Bolzano Lesson 2 – Components.
Implementation of DSP Algorithm on SoC. Characterization presentation Student : Einat Tevel Supervisor : Isaschar Walter Accompany engineer : Emilia Burlak.
MTEI Methods & Tools for Enterprise Integration
1 A survey on Reconfigurable Computing for Signal Processing Applications Anne Pratoomtong Spring2002.
SOC Consortium Course Material ASIC Logic National Taiwan University Adopted from National Chiao-Tung University IP Core Design.
1 Tools for Commercial Component Assembly Francis Bordeleau, Zeligsoft/Carleton University Mark Vigder, National Research Council Canada.
Introduction to MDA (Model Driven Architecture) CYT.
Integrated Platform for Location-Based Services PoLoS: A Universal Platform for the Development of LBS and Other Data Services IST Cluster Meeting for.
Prepared by: Sanaz Helmi Hoda Akbari Zahra Ahmadi Sharif University of Tech. Summer 2006 An Introduction to.
 CS 5380 Software Engineering Chapter 2 – Software Processes Chapter 2 Software Processes1.
PRESTO: Improvements of Industrial Real-Time Embedded Systems Development Process
Object Management Group (OMG) Specifies open standards for every aspect of distributed computing Multiplatform Model Driven Architecture (MDA)
1 UML Basic Training. UML Basic training2 Agenda  Definitions: requirements, design  Basics of Unified Modeling Language 1.4  SysML.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
© 2004 Mercury Computer Systems, Inc. FPGAs & Software Components Graham Bardouleau & Jim Kulp Mercury Computer Systems, Inc. High Performance Embedded.
© 2004 Mercury Computer Systems, Inc. Implementation Design Choices for the SWRadio Specification A. Tansu Demirbilek ademirbi(at)mc(dot)com.
XASTRO Metamodel. CCSDS SAWG2 Presentation Outline XASTRO-1 Metamodel XASTRO-2 Metamodel Alignment with Model Driven Architecture.
FDT Foil no 1 On Methodology from Domain to System Descriptions by Rolv Bræk NTNU Workshop on Philosophy and Applicablitiy of Formal Languages Geneve 15.
UML MARTE Time Model for Spirit IP-XACT Aoste Project INRIA Sophia-Antipolis.
Network On Chip Platform
XASTRO-2 Presentation CCSDS SAWG th November 2004.
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
Introduction to UML and Rational Rose UML - Unified Modeling Language Rational Rose 98 - a GUI tool to systematically develop software through the following.
© 2009 Artisan Software Tools. All rights reserved. Testing Solutions with UML/SysML Andrew Stuart, Matthew Hause.
CHESS Methodology and Tool Federico Ciccozzi MBEES Meeting Sälen, January 2011 January 2011.
SUBJECT : DIGITAL ELECTRONICS CLASS : SEM 3(B) TOPIC : INTRODUCTION OF VHDL.
.NET Omid Darroudi.
System-on-Chip Design
MACS 2005 First International Workshop on the Modeling and Analysis of Concerns in Software Concern Management for Constructing Model Compilers -- Towards.
COMPONENT & DEPLOYMENT DIAGRAMS
Systems Analysis and Design With UML 2
Context-Aware Computing
APPLICATION OF DESIGN PATTERNS FOR HARDWARE DESIGN
THE PROCESS OF EMBEDDED SYSTEM DEVELOPMENT
Andes Technology Innovate SOC ProcessorsTM
ENG3050 Embedded Reconfigurable Computing Systems
EIN 6133 Enterprise Engineering
Abstract descriptions of systems whose requirements are being analysed
Online Shopping APP.
Recall The Team Skills Analyzing the Problem (with 5 steps)
IP – Based Design Methodology
Microcomputer Systems 1
Component-Level Design
CSSSPEC6 SOFTWARE DEVELOPMENT WITH QUALITY ASSURANCE
Tools for Composing and Deploying Grid Middleware Web Services
ARCH-5: From Design to Implementation in OpenEdge® using UML and MDA
UML profiles.
Analysis models and design models
Verification Plan & Levels of Verification
Architecture Description Languages
Constructing MDA-based Application Using Rational XDE for .NET
An Introduction to Software Architecture
Chapter 7 –Implementation Issues
Implementation of a GNSS Space Receiver on a Zynq
Software Architecture
Introduction To Distributed Systems
Automation of Control System Configuration TAC 18
PASSI (Process for Agent Societies Specification and Implementation)
From Use Cases to Implementation
UML Design for an Automated Registration System
Logical Architecture & UML Package Diagrams
Presentation transcript:

UML Profile for SDR Hardware/Software Adequacy Verification Software-Based Communications (SBC) Workshop: From Mobile to Agile Communications September 13-16, 2004 Jean-Etienne Goubard THALES Jean-etienne.goubard@fr.thalesgroup.com A3S RNRT project

Plan A3S project Profile Definition 17/08/2004 A3S project Profile Definition QoS and Fault tolerance profile PIM and PSM for software radio profile Profile use for software radio modeling Hardware Software Deployment Verification process A3S profile

The A3S project Adéquation Architecture - Application Système (A3S) 17/08/2004 Adéquation Architecture - Application Système (A3S) French research program of collaborative projects - RNRT Funded by French Ministry of industry 2 years project - started in Sep. 2003 Consortium Thales telecommunication system provider Softeam company, UML CAD tool provider - Objecteering Lester, University of South Britanny academic, SoC design tool, IP design Mitsubishi Electric ITE research lab, mobile and infrastructure manufacturer A3S profile

The A3S goals 17/08/2004 Performance prediction of a SDR system before effective implementation (at design phase) Methodological approach for SDR based on UML create an A3S profile for SDR physical layer representation UML tool support: ObjecteeringTM from Softeam UML description of SW radio application HW platform non functional characteristics and parameters collection Processes behaviour verification engines (Lester) structural coherence verification execution model (period coherence, deadline, iteration number...) mapping coherence (enough memory resources) scheduling timing performance - memory use - FPGA use (max and trace) A3S profile

A3S profile Relation between OMG profiles and A3s profile OMG profiles 17/08/2004 Relation between OMG profiles and A3s profile OMG profiles QoS and fault tolerance profile Use and extend some of elements of Real Time, scheduling and performances profile A3S profile Software Radio profile A3S profile

Use of the Software Radio profile 17/08/2004 Hardware All hardware elements are CommEquipement They are communicating through DigitalPort DigitalPort are connected through CommEquipementConnector A3S inherits from these elements DSP1:CommEquipement DSP2:CommEquipement IOport1:DigitalPort DPS1-2-Connector:CommEquipementConnector IOport1:DigitalPort Device Connector (UMLV2) Port (UMLV2) CommEquipement CommEquipementConnector DigitalPort A3S software radio model elements A3S profile

PIM Hardware meta-model 17/08/2004 OMG A3S ports A3S equipments A3S processors A3S memories A3S profile

Use of the QoS and Fault Tolerance Profile 17/08/2004 Definition of the QoS language which will be used in the model Creation of a set of QoSCharacteristics dedicated to the A3S usage - mostly reuse QoSCharacteristic already defined in the QoSprofile definition of new QoSCharacteristics possibilty of inheritance and aggregation of QoSCharacteristics Assembly of QoS Characteristics will be grouped in a A3S QoSCatalog representing the QoS language. Each A3S stereotype will be associated to a specific QoSCharacteristic <<QoSCharacteristic>> a3s-FPGA-QoS <<QoSDimension>> MaxOperatingFrequency:integer { direction(increasing), unit(MHz) } LogicalCellNumber[0..1]:integer { direction(increasing) } … a3s-FPGA A3S profile

Use of the QoS language, first method 17/08/2004 QoS language (PIM) will be used to specify the QoS of PSM radio elements. QoS stereotypes on dependencies decribe how the QoS is applied PIM PSM A3S PIM elements (ex: FPGA) A3S PSM elements (ex: FPGA-pentek-3292) QoSCharacteristic QoSValue <<QoSValue>> Execution-FPGA1: a3s-FPGA-QoS MaxOperatingFrequency=300 LogicalCellNumber=14336 … <<a3s-FPGA>> FPGA-pentek-6250 <<QoSOffered>> A3S profile

Use of the QoS language, second method 17/08/2004 More commonly used method Use of a context to specify how the QoS is applied logical operator for fine granularity QoS definition Execution-FPGA1 <<QoSOffered>> { context a3s-FPGA-QoS inv: MaxOperatingFrequency=300 and LogicalCellNumber=14336 } <<QoSValue>> Execution-FPGA1: a3s-FPGA-QoS MaxOperatingFrequency=300 LogicalCellNumber=14336 <<a3s-FPGA>> FPGA-pentek-3292 A3S profile

QoS through user friendly interface 17/08/2004 User Friendly interface Fully integrated to the UML tool Specific to the A3S element FPGA DSP FIFO … Allow in-design verification Checklist calculation combination Translation user interface  UML classes Time saving for A3S model elaboration for a FPGA Xilinx XC2V3000 for a TIC6203 DSP A3S profile

Use of the QoS profile, UML tool 17/08/2004 Example of the result of the user input A3S profile

Library approach UML design Advantages Hardware components 17/08/2004 UML design Hardware components Software components Hardware platform Software platform Advantages Importation 3rd party Components catalogue Extendable A3S profile

Library approach UML design Hardware components Software components 17/08/2004 UML design Hardware components Software components Hardware platform Software platform provided by previous projects or third parties HW/SW system design A3S profile

Library approach Hardware Software + Associated characteristics 17/08/2004 + Associated characteristics A3S profile

Hardware platform design 1/2 17/08/2004 A3S profile

Hardware platform design 2/2 17/08/2004 A3S profile

Deployment meta-model 17/08/2004 OMG A3S Hardware SW functional SW application A3S profile

Software design An activity graph is used in order to design the Waveform functional aspect 17/08/2004 <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> Example for a UMTS transmitter <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> <<a3s-CodeObject>> A3S profile

Use of the QoS profile in software design 17/08/2004 There may be several iterations per a3s-operation. Each iteration can be processed on a specific a3s-processor So Each a3s-operation is linked to an QoS-Characteristic Each iteration of an a3s-operation is categorized by a QoSValue A3S profile

Software functional deployment 17/08/2004 Placement of functional elements on Hardware Architecture A3S profile

Deployement, general view 17/08/2004 Pentek board PC board Deployed A3s-SWComponentInstances Daughter board A3S profile

Service validation process 17/08/2004 A3S validation service XMI XSLT XSLT rule XML objecteering UML design tool produces configure Extracts relevant data validation HW configuration file generation XMI  “portability” (“standard”) Service  verification through web (verify anywhere  mobility) Allow other UML tool to produce A3S verifiable models A3S profile

Next improvements 17/08/2004 Use of QoS and Fault Tolerance profile elements in software design Automatic translation of Software iteration from user interface informations to UML elements Use of Real Time scheduling and performances elements (sequence diagrams for timing visualisation ?) A3S profile

TELECOMMUNICATIONS LABORATORY End 17/08/2004 Many thanks for your attention. Questions ? TELECOMMUNICATIONS LABORATORY A3S profile