an object oriented framework for the implementation of sdl designs n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
An Object Oriented Framework for the Implementation of SDL Designs PowerPoint Presentation
Download Presentation
An Object Oriented Framework for the Implementation of SDL Designs

Loading in 2 Seconds...

play fullscreen
1 / 21

An Object Oriented Framework for the Implementation of SDL Designs - PowerPoint PPT Presentation


  • 100 Views
  • Uploaded on

An Object Oriented Framework for the Implementation of SDL Designs. U.Mascia, PXL M.Mosciatti, NCS G.Razzano, InfoCom Dpt., “La Sapienza” R.Cusani, InfoCom Dpt., “La Sapienza” G.Scarano, InfoCom Dpt., “La Sapienza”. Overview. A real experience in TLC systems

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'An Object Oriented Framework for the Implementation of SDL Designs' - phelan-howard


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
an object oriented framework for the implementation of sdl designs

An Object Oriented Framework for the Implementation of SDL Designs

U.Mascia, PXL

M.Mosciatti, NCS

G.Razzano, InfoCom Dpt., “La Sapienza”

R.Cusani, InfoCom Dpt., “La Sapienza”

G.Scarano, InfoCom Dpt., “La Sapienza”

overview
Overview
  • A real experience in TLC systems
  • SDL: Specification and Description Language
  • SDL Framework: goals and architecture
  • Some consequences
  • Conclusion

ISSPIT 2004 - 1/19

embedded systems
Embedded systems
  • Telecommunications
    • Radio device in UHF band (225-400 MHz)
    • Channel band: 25 KHz
    • MSK numeric modulation
  • Frequency hopping
    • defense against jammers
    • modulation carrier changed according to a pseudorandom sequence
    • 2000 hops/s

ISSPIT 2004 - 2/19

architecture of the embedded system
Architecture of the embedded system

Motorola PPC860

OS: VxWorks

Texas Instruments

TMS320C5402 (100 Mips)

Xilinx XC2V1000

Virtex II (1 MGate)

ISSPIT 2004 - 3/19

sdl language elements
SDL: language elements

ISSPIT 2004 - 5/19

sdl signals
SDL: signals

ISSPIT 2004 - 6/19

sdl finite state machines

states

incoming signals

actions

outgoing signals

SDL: Finite State Machines

ISSPIT 2004 - 7/19

sdl case tools
SDL: CASE tools
  • Several commercial (= expensive) tools available
    • static structure
    • dynamic structure
    • verification of correctness
    • test and simulation
    • automatic code generation
      • C language
      • code not suited to direct use

ISSPIT 2004 - 8/19

goals of the work
Goals of the work
  • Maintenance
  • Portability
  • Optimization
  • Reuse

ISSPIT 2004 - 9/19

sdl f class diagram
SDL-F: class diagram

SDL-F artifacts

SDL elements

ISSPIT 2004 - 10/19

process as active object
Process as Active Object
  • SDL_Process responsibilities
    • context of execution for FSM
    • queue for incoming signals
    • sending outgoing signals
    • signal dispatching (and saving)

ISSPIT 2004 - 11/19

blocks and processes composite pattern

«interface»

SDL_GateTermination

SDL_Object

#m_ComponentList

SDL_Component

+Run()

+Halt()

SDL_Block

SDL_Process

+Run()

+Run()

+Halt()

+Halt()

+ExtendedInfo()

+E

xtendedInfo()

+ShortInfo()

+ShortInfo()

+Check()

+Check()

+Attach()

+Self()

+Offspring()

+Sender()

+Parent()

+NextSignal()

+GetGate()

+Save()

Blocks and Processes: Composite Pattern

void SDL_Process::Run()

{

activate();

}

void SDL_Block::Run()

{

for (ComponentSet::size_type i=0

; i<m_ComponentList.size()

; ++i)

{

m_ComponentList[i]->Run();

}

}

ISSPIT 2004 - 12/19

state machine visitor pattern

visitor

hierarchy

visited

hierarchy

STATE::handle

SIGNAL::dispatch

STATE::handle_i

State Machine: Visitor Pattern

ISSPIT 2004 - 13/19

memory management
Memory Management
  • Context
    • long-lived objects: blocks, processes, FSMs ...
    • short-lived objects: signals
  • Problem
    • standard memory allocator not suited to real-time
  • Solution:MemoryAllocator
    • long-lived strategy: pool continuously allocated; no free
    • short-lived strategy: pools with constant access time

ISSPIT 2004 - 15/19

portability through ace
Portability through ACE
  • A key element: ACE
    • Adaptive Concurrent Environment
    • freely available, open source
    • OO framework with a lot of good implementations of useful patterns
  • Some examples
    • SDL_Process derives from ACE_Task
    • SDL_MemoryManager contains ACE_StaticAllocator and ACE_CachedAllocator
    • SDL_TimeOutManager relies on ACE_Reactor

ISSPIT 2004 - 16/19

sdl f layers

ACE

ACE classes

SDL

-

F

SDL Framework “glue”

SDL language classes

USER

SDL-F derived classes

SDL-F layers

ISSPIT 2004 - 17/19

a portability consequence simulator

VxWorks

Windows

BSP

Target

Target Stubs

A portability consequence: Simulator
  • Advantages
    • increased availability of development resources
    • increased capability of debugging/logging
  • “Separation of concerns” strategy
    • simulator: formal correctness
    • target: functional correctness

ISSPIT 2004 - 18/19

conclusions
Conclusions
  • SDL-F reached the desired goals:
    • maintenance
    • portability
    • optimization
  • Reuse
    • readable code is possible going from SDL to C++
    • open issue: automatic code-skeleton generator

ISSPIT 2004 - 19/19

thank you and
Thank you, and...

?

…any questions?