Towards SystemC Code Generation from UML/MARTE Concurrent System-Level Models

Size: px

Start display at page:

Download "Towards SystemC Code Generation from UML/MARTE Concurrent System-Level Models"

Easter Morris
5 years ago
Views:

1 Towards System ode Generation from UML/MARTE oncurrent System-Level Models Pablo Peñil Fernando Herrera Eugenio Villar M-BED 11 18/03/2011 Slide 1

2 Outline Motivation ode Generation Preserving Temporal Semantics Implementation and Example onclusions Future Work Slide 2

3 Motivation System-Level Specification Functionality oncurrency Exploit Real Parallelism of today platforms (e.g., MPSos) Early Validation and Analysis oncurrency is a Problem! Formal Support (Mo support) Separation of ommunication and omputation Mo support: untimed (KPN, SP, SDF, ) Freedom from hoice Slide 3

4 Motivation MDA System-Level Specification of Embedded Systems PIM (MARTE:GRM) Untimed Mo semantics Partial Orders (P.O.) ForSyDe Generation Formal Support (Mos) Automatic Portable Preserving Temporal Semantics ESL HetS Executable Validation Slide 4

5 ode Generation Preserving Untimed Semantics (P.O.) UML/MARTE PIM Generic Resource & Structure E Behaviour Structure Mapping System Preserve oncurrency& ommunication Structure Preserve ontrol Flow of oncurrent Element & Structure E Behaviour Structure Slide 5

6 Preserving oncurrency&ommunication Structure UML/MARTE PIM & Structure «oncurrency Resource» «omponent» «ommunicationmedia» «oncurrency Resource» System (HetS) & Structure S_ THREAD sc_module S_channel S_ THREAD Slide 6

7 Preserving ommunication Semantics Untimed Mos ommunication Semantics: e.g., Kahn Process Networks (KPN) «ommunicationmedia» Blocking infinite fifo Blocking finite fifo Buffering capacity storageresource resmult attribute: Defined finite fifo Undefined infinite fifo sc_channel uc_fifo (sc_fifo) uc_inf_fifo Slide 7

8 Preserving Structure of the oncurrent Element Behaviour UML/MARTE PIM cm1 E Beh. Structure & Structure cm1 cm3 cm2 f2 cm2 f1 cm3 f3 f4 Preserve ontrol Flow: path structures Ordering of Functional omputation (Fs) & ommunication Media (M) Accesses... while(true) { a=f1( cm1.read() ); if(a>=0) { f2(); cn2.write(a); } System Process else { cm3.read(b); f3(b); f4(); } } // end while Generate References to M method accesses Slide 8

9 Detail of Mapping of the Elements of the Behaviour of oncurrent Elements UML/MARTE {condition 1} {condition n} commedianame.write function {ondition 2} {condition n-1} commedianame.read {condition1} channel access channel.read(); channel.write(); pure functionality library c/c++ function( ); System infinite loops while(true){..} finite loops do {.. } while(condition) conditional if (condition) else Slide 9

10 ode Generator First prototype of code generator Implementation Language: MTL/M2T Development Framework: Eclipse Helios Generation: Acceleo MTL UML/MARTE capture: Papyrus MDT Slide 10

11 Application example: Video Decoder if (code>=16384 &&!intra_vlc_format) { tab = &DTtabnext[(code>>12)-4]; } else if (code>=1024) { if (intra_vlc_format) tab = &DTtab0a[(code>>8)-4]; } Slide 11

12 Application example: Video Decoder for(;;){ fu_mbg_in->read(coded_block_pattern); fu_mbg_in->read(macroblock_type); for(i = 0; i < 6 ; i++){ for(j = 0; j < 64; j++){ QFS[i][j] = 0; to_dr_out->write(flag2); if(flag2 == 1) flag2=0; to_dr_out->write(intra_dc_precision); for(comp = 0; comp < 6; comp++){ Slide 12

13 Application example: Video Decoder (in ARTISAN) «omponent» framedec «ommunicationmedia» «oncurrencyresource» {direction = out} MGBonfData framedec {direction = in} «ommunicationendpoint» if2mtof «ommunicationendpoint» if1ftom «ommunicationmedia» FeedbackInfo «ommunicationendpoint» if2ftom {direction = in} {direction = out} «ommunicationendpoint» if1mtof «omponent» MGB «omponent» AVD «oncurrencyresource» MGB {direction = out} {direction = out} «ommunicationendpoint» if1mtod «ommunicationendpoint» if1mtoi «ommunicationmedia» BlockData {direction = in} «ommunicationendpoint» if2mtod «ommunicationendpoint» if2mtoi «ommunicationmedia» ISonfData {direction = in} «omponent» DR «oncurrencyresource» DR «omponent» IS «oncurrencyresource» IS MG B «body_scthread» D om ponent decoding {Lum a_block } MGBonfData.receive 6 In it _ Q F S 2 BlockData.send intra_ m b_ and_ bloc k _ in_m b {hrom a_block } {es c ape} MGBonfData.receive S elected _Huffm an _tab MGBonfData.receive 2 FeddbackInfo.send MGBonfData.receive «body_scthread» A com ponent Decoding {no_esc ape} if (code>=16384 &&!intra_vlc_format) tab = &DTtabnext[(code>>12)- 4]; else if (code>=1024) { if (intra_vlc_format) tab = &DTtab0a[(code>>8)-4]; } Dec ode_lum a_ bloc k Dec ode_ hrom a_bloc k alculate_a _coeff_esc alc ulate _A _ coeff_no_ es c BlockData.send BlockData.send ISconfData.send IsconfData.send {m ore_a_coeff_in_block } {m ore_blocks _ in_ MB } Slide 13

14 Application example: Video Decoder «omponent» framedec «ommunicationmedia» «oncurrencyresource» {direction = out} MGBonfData framedec {direction = in} «ommunicationendpoint» if2mtof «ommunicationendpoint» if1ftom «ommunicationmedia» FeedbackInfo «ommunicationendpoint» if2ftom {direction = in} {direction = out} «ommunicationendpoint» if1mtof «omponent» MGB «omponent» AVD «oncurrencyresource» MGB {direction = out} {direction = out} «ommunicationendpoint» if1mtod «ommunicationendpoint» if1mtoi «ommunicationmedia» BlockData {direction = in} «ommunicationendpoint» if2mtod «ommunicationendpoint» if2mtoi «ommunicationmedia» ISonfData {direction = in} «omponent» DR «oncurrencyresource» DR «omponent» IS «oncurrencyresource» IS for(;;){ fu_mbg_in->read(coded_block_pattern); fu_mbg_in->read(macroblock_type); for(i = 0; i < 6 ; i++){ for(j = 0; j < 64; j++){ QFS[i][j] = 0; to_dr_out->write(flag2); if(flag2 == 1) flag2=0; to_dr_out->write(intra_dc_precision); for(comp = 0; comp < 6; comp++){ Slide 14

15 Application example: Video Decoder if (code>=16384 &&!intra_vlc_format) tab = &DTtabnext[(code>>12)-4]; else if (code>=1024) { if (intra_vlc_format) tab = &DTtab0a[(code>>8)-4]; } MARTEPIM2S AVD.cpp MGB.h MGB.cpp Slide 15

16 onclusions UML/MARTE+System sinergistic System-Level modelling framework requires code generation supporting preservation of temporal semantics ode generation methodology preserving: & structure (different communication semantics) Behavior structure of concurrent element 1st prototype: Standard based chain UML/MARTE MTL System Slide 16

17 Future Work Support generation for further untimed Modelling Approaches SP, SDF Extension to Synchronous models Slide 17

18 Thanks Thanks For Your Attention Funding Further Information: Authors: {pablop, fherrera, Slide 18

Generation of Abstract IP/XACT Platform Descriptions from UML/MARTE for System-Level Performance Estimation

Generation of Abstract IP/XACT Platform Descriptions from UML/MARTE for System-Level Performance Estimation Generation of Abstract IP/XAT Platform Descriptions from UML/MARTE for System-Level Performance Estimation Towards a MARTE to IP/XAT Generation Framework of HW Platform Descriptions for a DSE Multilevel