SSP Re-hosting System Development: CLBM Overview and Module Recognition SSP Team Department of ECE Stevens Institute of Technology Presented by Hongbing.

Slides:



Advertisements
Similar presentations
Semantics Static semantics Dynamic semantics attribute grammars
Advertisements

ANTLR in SSP Xingzhong Xu Hong Man Aug Outline ANTLR Abstract Syntax Tree Code Equivalence (Code Re-hosting) Future Work.
Architecture Representation
Lecture # 2 : Process Models
Object-Oriented Analysis and Design
Code recognition & CL modeling through AST Xingzhong Xu Hong Man.
VHDL function CLBM and Inference Presenter: Jie Li Stevens Institute of Technology Sep 2, 2010.
Software Testing and Quality Assurance
Programming Language Paradigms: summary. Object-oriented programming Objects are the fundamental building blocks of a program. Interaction is structured.
Representing programs Goals. Representing programs Primary goals –analysis is easy and effective just a few cases to handle directly link related things.
Semantic Signal Processing: Semantic Modeling and Prototype Demo Development SSP Team.
Algorithms and Problem Solving-1 Algorithms and Problem Solving.
© Dr. Alaaeldin Amin 1 Hardware Modeling & Synthesis Using VHDL Very High Speed Integrated Circuits Start Of VHDL Development First Publication.
Knowledge Acquisitioning. Definition The transfer and transformation of potential problem solving expertise from some knowledge source to a program.
1 Ivan Lanese Computer Science Department University of Bologna Roberto Bruni Computer Science Department University of Pisa A mobile calculus with parametric.
SPAC Lab, Stevens SSP Re-hosting System Development: Modeling of Matlab Programs - Array (vector/matrix) Ning Han, Hongbing Cheng, Jiadi Yu, Hongbin Li,
A High Performance Application Representation for Reconfigurable Systems Wenrui GongGang WangRyan Kastner Department of Electrical and Computer Engineering.
Semantic Signal Processing Group Semantic Radio Fangming He, Hongbing Cheng, Jiadi Yu, Hong Man, Yu-dong Yao, Jennifer Department of Electrical and Computer.
An Intelligent Broker Approach to Semantics-based Service Composition Yufeng Zhang National Lab. for Parallel and Distributed Processing Department of.
Semantic Signal Processing for Re-hosting CR/SDR Implementations SP/Radio Primitive Recognition Jiadi Yu, Yingying Chen 1.
Polyscheme John Laird February 21, Major Observations Polyscheme is a FRAMEWORK not an architecture – Explicitly does not commit to specific primitives.
Kari R. Schougaard, PhD Stud. Værktøjer og Teknikker, 2006 UNIVERSITY OF AARHUS Department of Computer Science Unified Modeling Language Visual language.
Using the Vanderbilt Generic Modeling Environment (GME) to Address SOA QoS Sumant Tambe Graduate Intern, Applied Research, Telcordia Technologies Inc.
An Introduction to Software Visualization Dr. Jonathan I. Maletic Software DevelopMent Laboratory Department of Computer Science Kent State University.
SSP Re-hosting System: CLBM and Semantic Representations SSP Team Department of ECE Stevens Institute of Technology Presented by Hongbing Cheng and Jiadi.
Chapter 10: Architectural Design
1 Presenter: Ming-Shiun Yang Sah, A., Balakrishnan, M., Panda, P.R. Design, Automation & Test in Europe Conference & Exhibition, DATE ‘09. A Generic.
Chapter 10 Architectural Design
Katanosh Morovat.   This concept is a formal approach for identifying the rules that encapsulate the structure, constraint, and control of the operation.
CIS Computer Programming Logic
CMSC 345 Fall 2000 Unit Testing. The testing process.
Mihir Daptardar Software Engineering 577b Center for Systems and Software Engineering (CSSE) Viterbi School of Engineering 1.
Introduction to MDA (Model Driven Architecture) CYT.
Lecture 9: Chapter 9 Architectural Design
1 ECE 453 – CS 447 – SE 465 Software Testing & Quality Assurance Instructor Kostas Kontogiannis.
SOFTWARE DESIGN (SWD) Instructor: Dr. Hany H. Ammar
Weekly Group Meeting Project: Software Defined Radio Development using Network-On-Chip based Rapid Prototyping Platform By Assad Saleem.
SOFTWARE DESIGN.
Introduction Algorithms and Conventions The design and analysis of algorithms is the core subject matter of Computer Science. Given a problem, we want.
Tutorial 1 Combinational Logic Synthesis. Introduction to VHDL VHDL = Very high speed Hardware Description Language VHDL and Verilog are the industry.
© DATAMAT S.p.A. – Giuseppe Avellino, Stefano Beco, Barbara Cantalupo, Andrea Cavallini A Semantic Workflow Authoring Tool for Programming Grids.
11 CORE Architecture Mauro Bruno, Monica Scannapieco, Carlo Vaccari, Giulia Vaste Antonino Virgillito, Diego Zardetto (Istat)
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
1 Introduction to Software Engineering Lecture 1.
Property of Jack Wilson, Cerritos College1 CIS Computer Programming Logic Programming Concepts Overview prepared by Jack Wilson Cerritos College.
An Ontological Framework for Web Service Processes By Claus Pahl and Ronan Barrett.
1 5 Nov 2002 Risto Pohjonen, Juha-Pekka Tolvanen MetaCase Consulting AUTOMATED PRODUCTION OF FAMILY MEMBERS: LESSONS LEARNED.
Software Engineering Prof. Ing. Ivo Vondrak, CSc. Dept. of Computer Science Technical University of Ostrava
UHD::3320::CH121 DESIGN PHASE Chapter 12. UHD::3320::CH122 Design Phase Two Aspects –Actions which operate on data –Data on which actions operate Two.
1 Optimizing compiler tools and building blocks project Alexander Drozdov, PhD Sergey Novikov, PhD.
A Context Model based on Ontological Languages: a Proposal for Information Visualization School of Informatics Castilla-La Mancha University Ramón Hervás.
Module 1.2 Introduction to Verilog
MILAN: Technical Overview October 2, 2002 Akos Ledeczi MILAN Workshop Institute for Software Integrated.
Fall 2004EE 3563 Digital Systems Design EE 3563 VHSIC Hardware Description Language  Required Reading: –These Slides –VHDL Tutorial  Very High Speed.
User Profiling using Semantic Web Group members: Ashwin Somaiah Asha Stephen Charlie Sudharshan Reddy.
Architecture View Models A model is a complete, simplified description of a system from a particular perspective or viewpoint. There is no single view.
1 Technical & Business Writing (ENG-715) Muhammad Bilal Bashir UIIT, Rawalpindi.
ELEE 4303 Digital II Introduction to Verilog. ELEE 4303 Digital II Learning Objectives Get familiar with background of HDLs Basic concepts of Verilog.
Chapter 5 System Modeling. What is System modeling? System modeling is the process of developing abstract models of a system, with each model presenting.
©Ian Sommerville 2006Software Engineering, 8th edition. Chapter 4 Slide 1 Software Processes.
Digital Design Using VHDL and PLDs ECOM 4311 Digital System Design Chapter 1.
CS223: Software Engineering
Overview of Compilation Prepared by Manuel E. Bermúdez, Ph.D. Associate Professor University of Florida Programming Language Principles Lecture 2.
Wrap up. Structures and views Quality attribute scenarios Achieving quality attributes via tactics Architectural pattern and styles.
Algorithms and Problem Solving
Unified Modeling Language
Program comprehension during Software maintenance and evolution Armeliese von Mayrhauser , A. Marie Vans Colorado State University Summary By- Fardina.
Software Architecture
Introduction To software engineering
Software Design Methodologies and Testing
Presentation transcript:

SSP Re-hosting System Development: CLBM Overview and Module Recognition SSP Team Department of ECE Stevens Institute of Technology Presented by Hongbing Cheng

Outline Background Generic CLBM Rule in Signal Processing Domain CLBM for various implementation Codes in Signal Processing Domain ( progress overview ) Module Recognition: Program Understanding

Semantic Signal Processing based Radio Re-hosting Objective: – Theoretical level: Information integration and knowledge sharing in signal processing domain – Practical level: Re-hosting of radio implementations among heterogeneous platforms to facilitate the reconfiguration in CR/SDR systems Approach: – Abstraction, Representation and Inference (ARI): Information exchange through three steps: abstraction of primitives, semantics- based representation, inference and code generation; – Cognitive linguistic behavior modeling (CLBM): Establish a semantic modeling framework for signal processing domain based on cognitive linguistics to guide the semantic ARI.

Semantic Signal Processing based Radio Re-hosting Abstract conceptual primitives (“Thing, Place, Path, Action, Cause”) from existing implementations of signal processing modules/systems in source code Represent the implementation profile of signal processing modules/systems based on cognitive linguistics Parse cognitive-linguistics-based representation and generate implementation code in the target platform 4

Semantic Signal Processing based Radio Re-hosting Prototype Demo – Illustrate the workflow of the proposed ARI re-hosting – Show some use cases to validate the idea 5 Abstraction of primitives and Representation with XML Inference and Code Generation

Semantic Signal Processing based Radio Re-hosting Tasks in this period – Establish more complete and accurate CLBM rules in signal processing domain – Develop CLBM for more languages based on the rules – Develop ARI demo for various source and target languages based on the CLBM – Investigate module recognition algorithm to build more abstract CLBM for SP systems

Generic CLBM Rule in Signal Processing Domain Semantic Primitives in Cognitive linguistics – Thing: the fundamental neonatal gestalts – Place: interaction among things – Path: associate places in a sequence for a purpose – Action: Things move down paths – Cause: Thing that initiate or constraint action CLBM: Fit the knowledge of signal processing implementation profiles into the above semantic framework

Generic CLBM Rule in Signal Processing Domain Generic CLBM Rule for Signal Processing – A Signal is a “Thing” – A Signal processing system/block to be represented is a “Path” – The signal (“Thing”) moves along the signal processing system/block (“Path”) is an “Action” – Input/output ports and signal processing modules inside the “Path” is “Places”, where different signals have interactions; Attributes of a thing are also “Places”, which could be interacted with other things – A control signals that controls a signal processing flow is “Cause”

Generic CLBM Rule for Signal Processing Implementations

Generic CLBM for Signal Processing Implementations Hierarchical and Dynamic Properties of CLBM – A “Thing” may have many “Places” to interact e.g., The power and the size of a signal are two “places” of the “thing” signal – A “Thing” could also be contained in different “places” to take different “actions” e.g., A signal could be inside a module’s input place or output place to take the action “input” or “output”

Generic CLBM Rule in Signal Processing Domain Hierarchical and Dynamic Properties of CLBM – A “Path” contains multiple “Places” e.g., A transmitter could be composed of a channel coder and a modulator – A “Place” at the upper level could be a “Path” at the lower level e.g., A modulator is a ‘Place’ in a transmitter, while itself could be represented by a ‘Path’ composed of several places: LUT, Up-converter,…

CLBM for Implementation Codes in Signal Processing Domain CLBM for different coding languages are required in radio re-hosting – Heterogeneous hardware or software platform Language Elements Considered in Modeling – Syntax – Data Structure – Control Structure – Core Library 12

CLBM for Implementation Codes in Signal Processing Domain Current work and Progress Statements/SyntaxesMatlabCC++VHDLCUDA Function Definition New types of statements: Class Definition Member function Member variable Object Declaration …. New types of statements: Entity Architecture Component Std_logic_vect or …. Under investigati on Function Call Basic Operators Value Assignment Variable Declaration Return If, else Switch case For, while Arrays/Vectors/Matrix Pointers…… More languages More statements/syntaxes

SP Module Recognition: Program Understanding Code Level Abstraction Computational Level Abstraction Radio Level Abstraction Semantic Representation Radio Primitive Computational Primitive Code Primitive Multi-Level Abstraction Cognitive Linguistics Progra mming Code Program Understanding

SP Module Recognition: Program Understanding Background of Program Understanding – Static Analysis: relies on source code and documentation Graph parsing approach: GRASPR system, Linda M. Wills, MIT, Ph.D. Dissertation,1992. It translates the program into a language- independent, graphical representation. Knowledge-based approach: The idea is to keep programs as plans in knowledge base, and compare the target program to these plans. Program similarity evaluation techniques: Compare the implementation styles and structures of programs – Dynamic Analysis: focuses on a system’s execution (incompleteness, scalability) Execution trace analysis

SP Module Recognition: Program Understanding Preliminary Consideration About Module Recognition 16 Recognition based on function name, comments (text understanding) Recognition based on features (Knowledge- based program understanding) Recognition based on tree matching (Program similarity evaluation) Validation based on Simulation More and more accurate, more and more complex The previous step could reduce the search space of the next step Coarse classificationSome possible results with different belief probabilities Accurate matchingValidation

SP Module Recognition: Program Understanding Feature-based recognition (knowledge based) – Based on the correlation between the radio behavior pattern and some features – Features Lower level primitives: The radio level primitives (radio modules) are composed of computational level and code level primitives or other radio primitives. Therefore, those primitives are natural features. Control structure: sequential structure; selection structure; repeat structure Input/output variable type and range: For example, modulators have binary input and real output; while demodulators have real input and binary output. Simulation results: The most intelligent way is to test the code and get some simulation results. For example, we could get constellations to differentiate different modulation types. 17

SP Module Recognition: Program Understanding Feature-based recognition (knowledge based) 18 ModulesCorrelated features ModulatorLookup table; exponential function; selection structure; binary input; real output; FIR FilterConvolution; multiplication; addition; repeat structure (loop); real input; real output QPSK modulatorLookup table; exponential function; selection structure; two binary inputs; real output; four- point constellation Block channel coder Matrix multiplication; binary input; binary output OFDM transmitter IFFT; Cyclic prefix RAKE receiverCorrelator; repeat structure; real input; real output

Thank You