Workshop 1: Specification for SystemC-AADL interoperability

Transcription

1 Workshop 1: System Design in Avionics & Space Specification for -AADL interoperability Eugenio Villar Eduardo de las Heras Microelectronic Engineering Group University of Cantabria

2 Outline Motivations General Concepts AADL PERFidiX and SCope AADL- Design Flow Mapping AADL to Example

3 Motivations System design issues: Incomplete capture of specification Need for design refinement and validation Impact of functional and non-functional properties Timing properties Platform architecture Software/Hardware co-design

4 AADL Concepts AADL Basic elements PIM PSM

5 Concepts features Standard platform for system design (IEEE 1666) developed by the OSCI C++ extension Strict-time, event driven simulator Concurrent Execution Kernel

6 Concepts Basic Elements

7 SCoPE Concepts System Co-simulation and Performance Estimation in Multi-processor SW source-code simulation OS Modelling POSIX Timed SW simulation Performance estimation of SW code Time & Power

8 SCoPE Concepts PIM Application Code Task 1... Task n Memory Proc. 1 POSIX API Packages PERFidiX Drivers Proc. 2 Proc. n PSM Memory Bus 1 Bus n Devices Devices Devices Devices

9 AADL- Design Flow AADL Application Model AADL Execution Platform Model AADL To translation Platform independent description Platform model AADL To Scope parameters translation Binding executable model Performance analysis Simulation Configuration parameters SCope

10 AADL to Framework Graphical editor ECLIPSE OSATE Textual editor AADL Model SC SC HW HW description C/C++ Code XMI XMI file file Refinement integrator and generator HetSC SCV SCV Configuration parameters Simulation SCope Performance analysis

11 AADL Semantics in AADL Thread: Schedulable unit of sequential source code. Properties Dispatch protocol Period Deadline SC_THREAD: Is Called once when simulation Start. Properties Specific SC_THREAD implementation SC_TIME, wait ( SC_TIME) Assertions SCV

12 AADL Semantics in AADL Process: space partitioning where protection is provided SC_MODULE: principle structural building blocks of Subprogram: sequentially executable source text C++ function: called from the SC_THREAD

13 AADL Semantics in AADL Data: Enable manipulate data in concurrently in non-deterministic order. Properties Concurrency_Control_Protocol Channel: Enable communication between modules Properties Semaphores, mutex, custom channels.

14 AADL Semantics in AADL Processor: Abstraction of hardware and software responsible for scheduling and executing threads. Properties Process_Swap_Execution_time Thread_Swap_Execution_time Scheduling_Protocols High level, POSIX simulation library and performance Analysis SCope configuration parameters POSIX scheduling_protocols

15 AADL Semantics in AADL Memory: platform component that stores binary images. Bus: platform component that can exchange control and data between modules. Properties Transmission time, propagation delay System Co-simulation and Performance Estimation in SCope configuration parameters

16 AADL Semantics in AADL Devices: Execution platform component that interface with the exterior Event data port Event port Data port Ports and Connections: Logical Connections to exchange control and data between threads. description at various levels: TLM RTL Synthesis Signal channel, ports, interface FIFO channel ports, interface Custom Channels, ports, interface

17 Example system_example Refinement

18 Example process_producer thread_producer Refinement

19 Example thread_producer Refinement

20 Conclusions allows modeling AADL Different abstraction levels Refinement Validation Specification for model transformation from AADL to Tool proposal for embedded system design

21 END THANK YOU FOR YOUR ATTENTION QUESTIONS?