Generation of AADL Architecture Consistent by dov51579

VIEWS: 26 PAGES: 17

									  Generation of AADL Architecture Consistent
                                   Models,
Work Products: Simulink Behavioral Models and
Distributed Embedded Software using OCARINA




                                        AADL Workshop
                                                ,     ,
                                         June 12, 2009,
   14th International Conference on RELIABLE SOFTWARE TECHNOLOGIES, ADA-Europe 2009

                         Gopal Raghav, Swami Gopalswamy (Emmeskay, Inc)
                                     g ,          g    (Telecom Paris-Tech)
                         Julien Delange, Jerome Hugues (                  )




      www.emmeskay.com
                                                                              CONFIDENTIAL
     info@emmeskay.com
             Traditional Development vs. …
                                           Requirements
Program
Definition

                                                                                  Release



                Software
              Specifications
                                                                                   V&V
                               Embedded
                                Software




                                                          Distributed Real Time
                                                           Embedded System
                        Physical System,
                       Embedded Hardware
                                                   2                                 CONFIDENTIAL
             Model Driven Development vs. …
                                         Requirements
Program
Definition

                                                                                Release


                                           V&V
               Behavioral,
               Executable
                Models                                                           V&V
                             Embedded
                              Software




                                                        Distributed Real Time
                                                         Embedded System
                     Physical System,
                    Embedded Hardware
                                                 3                                 CONFIDENTIAL
              Architecture Driven Development
                                           Requirements
Program
Definition
                               V&V

        Program                                                                   Release
       Architecture
                                             V&V
                 Behavioral,
                 Executable
                  Models                                                           V&V
 D
 Demo
 Toolchain:                    Embedded
 OSATE                          Software
 IME
 Simulink




                                                          Distributed Real Time
                                                           Embedded System
                       Physical System,
                      Embedded Hardware
                                                   4                                 CONFIDENTIAL
               Architecture Driven Development
                                           Requirements
Program
Definition
                               V&V

        Program                                                                   Release
       Architecture
                                             V&V
                 Behavioral,
                 Executable
                  Models                                     V&V
                                                                                   V&V
 D
 Demo
 Toolchain:                    Embedded
 OSATE                          Software
 IME
 Simulink
                                       Distributed Real Time
                                     Embedded System Models
  Demo
  Toolchain:
  IME
                                                          Distributed Real Time
  Simulink                                                 Embedded System
  OCARINA              Physical System,
                      Embedded Hardware
                                                   5                                 CONFIDENTIAL
           Demo 1 Scenario (Apr Mtg)
                              AADL              User Groups
                           (Corporate)
                            Program                                     Controls
           Program Team                             Suppliers
                                                                      Development
                           Architecture
             Business
              Team                                  Systems         Design, Analysis
                                                   Engineering      and Optimization
Program       P j t
              Project
Kick-off    Management
                                  Consistency?
             Systems
            Engineering     D   l     t Environment
                            Development E i       t

               Other
                                              Program Specific Application
            Stakeholders

                                                                  Analysis and
                              Behavioral Models (Simulink,         Simulation
                                   C, Modelica, )
                                   C Modelica …)                       (      ,
                                                                 Tools (Matlab,
                                                                  Simulink, …)

                                          6                                  CONFIDENTIAL
        Demo 1 Workflow - Generation of Simulink Model
        Consistent with Corporate Architecture
OSATE   AADL architecture consists of systems only



           dl
        .aadl                      .aaxl
                                                                          Import into IME


                                                             IME (scope of Demo)


                                     Configure Architecture Consistent
                                            Instantiation Tree                       Visualize
 Compose Model and                                                                  Architecture
    Export from IME
                                                     Mine out Relevant Behavioral Models


                              Simulink




                       Author or Simulate
                         Behavioral Model
                         and perform V&V
                                                      7                                      CONFIDENTIAL
       Multiple Architectural Views
                                   Plant

                                           Sensor           Physical System         Actuator Dynamics
 Multiple, Valid, Architectural             Dynamics              Behavior


 Views exist                       Control
                                                    Control Task 1
 Different views or perspectives
                                                          Control Task 2
 better suited for different
                                                                                                     Actuator
 analysis/development                                                  …
                                                                                                         Drivers
                                         Sensor Drivers
 purposes                                                                     Control Task n




                 Home Org                                             Tasks at                   Tasks at
                                   ECU1                              Exec Rate 1                Exec Rate 2
Supplier A         Div 1

                                   ECU2                                    …                      Tasks at
Supplier B         Div 2                                                                         Exec Rate n
                                      …

                   Div 3                                              Scheduler                Interrupt Service
                                    ECUn                                                              Routines




                                     8                                                               CONFIDENTIAL
                  Example Need for Multiple Architectural Views

                                                                                                                                          Application Software
    Application Software                                                                                                   ECU 1


       X _Z
        e e       target_range
                                                                                                                          P1
       Altitude    look_angle




                                                                                                                          P2
          C_T utsR sults
         T estInp e




                                                                                         e e
                                                                                        X _Z
                                 target range
                                 target_                                                           issile osition
                                                                                                  M P


                                                                                       Altitude
                                 look_angle                                                        issile ltitude
                                                                                                  M A


                                 alpha                                                   alpha

                                                       m
                                                fin_com and                 m
                                                                     fin_com and
                                 mach                                                    mach


                                 az m
                                   _
                                                                                         az_m                                  Bus
                                 gyro_rate
                                                                                             q
                                         Controller
                                                                              irfram
                                                                             A e




                                                  M B A
                                                   issile ody ngular Rate
                                                                                                                               ECU 2



                                                                                                                     P3
                                                                                                                                     P5
                                                                                                                    P4

Distribute application software components among the different ECUs as separate tasks
                                                                                                                                9                         CONFIDENTIAL
            Controller Model                                                                                   3     alpha
                                                                                                                                                             X _Z
                                                                                                                                                              e e       target_range
                                                                                                                                                                                               Missile Guidance
                                                                                                              lp a
                                                                                                              ah
                                                                                                                             Auto                                                              System Model
                                                                                                               4
                                                                                                               a
                                                                                                              m ch
                                                                                                                     speed
                                                                                                                             pilot                            Results
                                                                                                                                                             Altitude    look_angle
                                                                                                                5    az m
                                                                                                                       _                m
                                                                                                                                 fin_com and         1
    6
                                                                                                              az_m                                   m ad
                                                                                                                                               fin_co mn
gyro_rate
                                                   e a d d o n le u g rg t a
                                                  D mn e lo ka g d rin ta e se rch
                                                                                                                                                                C_T    utsR
                                                                                                                                                               T estInp esults
                                                                                                                       ro_rate
                                                                                                                     gy _

                                 ad
                             sigm _
                                                           a dot
                                                       sigm_l_       sigm_l_dot
                                                                         a                             a
                                                                                                   sigm_d

                     1       target_range                                                                              _
                                                                                                                     az d
                 rg t_ra g
               ta e n e       Targeting      ated     _elocity
                                        estim _closing v
                                                                        Guidance
                                                                          ated
                                                                     estim _closing v
                                                                                   _elocity           az
                                                                                                       _d                                                                              target_range
                                                                                                                                                                                                                                               e e
                                                                                                                                                                                                                                              X _Z
                                                                                                                                                                                                                                                        M P
                                                                                                                                                                                                                                                         issile osition
                      2          al
                             sigm _
                                                                                                                              up t
                                                                                                                             a to ilo
                   o n le
                 lo k_a g
                               ro_
                             gy rate
                                                                                                                                                                                                                                             Altitude
                                                                                                                                                                                       look_angle                                                        issile ltitude
                                                                                                                                                                                                                                                        M A
                                                        ated
                                                   estim _range           ated
                                                                     estim _range                _fsm_
                                                                                          guidance    state

                             guidance fsm_state
                                     _                                                                                                                                                 Controller
                                                                                                                                                                                       alpha                                                   alpha
                                                          acquire    acquire                 _fsm_ state
                                                                                      guidance    prev_
                                     _
                             guidance fsm_prev_state                                                                                                                                                         m
                                                                                                                                                                                                      fin_com and                m
                                                                                                                                                                                                                          fin_com and
                                            ta e g
                                              rg tin                                  u a ce
                                                                                     g id n                                                                                            mach                                                    mach


                                                                                                                                                                                       az m
                                                                                                                                                                                         _                                Air frame
                                                                                                                                                                                                                                               az_m

                                                                                                                                                                                       gyro_rate
                                                                                                                                                                                                                                                   q
                                                                                                                                                                                                o ller
                                                                                                                                                                                               C ntro
                                                                                                                                                                                                                                   irfra e
                                                                                                                                                                                                                                  A m




                                        THR3
                                                                                        P2
                                                                                                                                                                                                        issile ody ngular R
                                                                                                                                                                                                       M B A               ate




                 THR2
                                        THR1

                                                                                                                                                             Demo2 Scenario
                             P1                                                       P3
                                                                                                                                                        10                                                                                      CONFIDENTIAL
         Demo 2 Workflow                                   Workflow in IME      Workflow in Ocarina




                                                                             AADL model with
                                                                             references to
Behavioral Model                                                             Simulink model
                                                                                   AADL




                         Allocate Simulink Components to
                         AADL components

             Real-time
                                                                                Modified
             Workshop                           Add Missing Elements
                                                                                 AADL
   Application
     Code



                                      Embedded
Distributed Embedded
Di t ib t d E b dd d                   System
                                        Code
                                                                             Ocarina
                                                                             O i
       Software
                                                 11                                            CONFIDENTIAL
       Workflow in IME

Simulink Behavioral
                         Set Attributes for
       Model                 h
                         each component   t


                                               Set the Processor,
                                              Process and Thread



                                                    View in different
                                                    Perspective




         AADL

                      Export



                                       12                        CONFIDENTIAL
Application Software Architecture
              X e _ Z e                   ta r g e t _ r a n g e




              A ltitu d e                    lo o k _ a n g le



                    t c _ t e s t in p u t s re s u lt s




           tc testinputsresults
           tc_testinputsresults                                                                                                                                                             X e _ Z e
                                                                                                                                                                                                         M is s ile   P o s itio n
                                                                   ta r g e t _ r a n g e


                                                                                                                                                                                          A ltitu d e
                                                                   lo o k _ a n g le                                                                                                                     M is s ile   A ltitu d e




                                                                                                                                                                 airframe
                                                                   a lp h a                                                                                                                  a lp h a


                                                                   m   a c h controller             fin _ c o m     m    a n d                     fin _ c o m   m   a n d

                                                                                                                                                                                             m   a c h


                                                                   a z _ m
                                                                                                                                                                                             a z _ m

                                                                   g y r o   _ r a te



Simulink Model
                                                                                                                                                                                                     q
                                                                                        c o n t ro lle r
                                                                                                                                                                       a i r fr a m   e




                                                                                                       M is s ile       B o d y   A n g u la r   R a te




      IME
  Architectural
     View

                                                                                              13                                                                                                                                     CONFIDENTIAL
                 Original Architecture View

            Embedded Architecture View

Processor
                                     Process
                            Thread




                    Application
                    Software
                    Component



            14                          CONFIDENTIAL
      Integrating Simulink and Ocarina


                      Simulink            Matlab
                                                        C code
                       model              RTW



  AADL System                        AADL Deployment
                        IME                             Ocarina
   architecture                        architecture




Generation of applications from AADL models using      Application
Ocarina


                                     15                     CONFIDENTIAL
                                 Simulation Results
                                      3
                                     -3
                                 x 10                               Alpha
                             1
                                                                                                 Simulink
alph (deg)




                                                                                                 Controller Prs
                      0.5
   ha




                             0
                                 0            2       4       6               8        10            12           14
                                                                time (sec)
                                      3
                                     -3
                                 x 10                         Fin Command
                             2
               mmand (deg)




                             1
                                                                                                 Simulink
         fin com




                                                                                                 Plant Prs
                             0
                                 0            2       4       6               8        10            12           14
                                                                time (sec)
                                     4
                                 x 10                         Missile Position
                             2
         xe ze (m)




                             1
                                                                                                 Simulink
          e




                                                                                                 Results Prs
                             0
                                 0        2       4       6           8           10        12         14         16
                                                                  time (sec) 16                                        CONFIDENTIAL
  Where next …
Can we demonstrate an end-to-end process for
Architecture Driven Development on an Industrial Scale
Problem?
   Combination of Models, Tools, and Hardware working
   in sync to demonstrate the true benefits.
   Can we actually calculate the ROI on these?
                 Program                                   Requirements
                 Definitio
                    n
                                               V&V
                        Program
                            g                                                                          Release
                       Architecture
                                                             V&V
                                 Behavioral,
                                 Executable
                                  Models                                     V&V
                                                                                                        V&V
                                               Embedded
                                                Software

                                                       Distributed Real Time
                                                     Embedded System Models

                                                                          Distributed Real Time
                                                                           Embedded System
                                        Physical System,
                                       Embedded Hardware
                                       17                                                         CONFIDENTIAL

								
To top