SlideShare una empresa de Scribd logo
1 de 33
Descargar para leer sin conexión
CONFIDENTIAL




               Model Based Design for Embedded Control Systems



                                            Koenraad Rombaut
                                            Coordinator applied physics & systems
                                            Koenraad.rombaut@verhaert.com

                                            Michiel De Paepe
                                            Consultant applied physics & systems
                                            Michiel.depaepe@verhaert.com
26.10.2012
                               Slide 1
CONFIDENTIAL




             Content


        Model Based Design in general:
        • What ?
        • Why ?
        • How ?

        A model based design case study:
        • Case study
        • Models
        • Conclusions & demonstration




26.10.2012
                                         Slide 2
CONFIDENTIAL




               What ?          Model driven engineering ?
                               Model based development ?
                                                                    Plant / Process
                                                      Build model




                                                                                      Model space
                                                                    Product design



                                                                       Concepts
                                                        Design
                                                                      Verification




                                                                                      Code space
                                                                     Product code
                                                      Implement
                                                                        Testing

                            Model = system + control + environment + stimuli
                                Multi-domain = control + system behaviour
                               Coupling / transformations models  design
                        requirements  design  implementation  test scenario
26.10.2012
                                            Slide 3
CONFIDENTIAL




    Why ?

    Why ?
    • Cheaper & faster
    • Higher reliability
    • Better definition

    When ?
    • Complex processes / designs
      Complex control strategies
    • High reliability
    • Early validation
    • Fast developments
    • Changing requirements

    Outputs:
    • design inputs
    • insights
    • derisk

26.10.2012
                                    Slide 4
CONFIDENTIAL




             Why : definition
  Needs (what do we want) vs.                        Communication
  specifications (how do we define)                    between disciplines,
  Specifying new (innovating) products                 with customer & subcontractors,
  and subsystems                                       over project phases
  Changing requirements                              Re-use of subsystems
                                                     Safety factor  for (sw) budget &
                                                     schedule




                Needs   Requirements   Specs            Design   Implementation   Documentation


26.10.2012
                                           Slide 5
CONFIDENTIAL




    Why simulation : early validation
                                                        Traditional:
    Benefits                                            • sequential = lengthy
                                                        • validation on hw = late
    • More and faster iterations
    • Parallel hw & sw development Device
                                     Requirements
                                                                                         Device
                                                                                        Validation
    • Multiple off-nominal and fault
      testing (non feasible tests)
    • Early full system validation         System                                    System
      and risk mitigation without hw       Design                                   Verfication

    • Less real-life testing
      (= the poor man’s approach)
                                            Subsystem                          Functional
    • More optimal system design           requirements                          Test
      by sw-physics co-simulation
    • Improved communication &
      design specification                       Detailled                 Component
                                                    Design                   Test

    => time & cost reduction
                                  Model based:
                                  • Parallel = fast
                                  • validation on model = early
26.10.2012
                                          Slide 6
CONFIDENTIAL




             Why early: cost vs. freedom


                                           Virtual              Lab     Field
                                           model               model    model
        • Design & test
                                                                                • Cost (project,
          freedom
                                                                                  build,
        • Unlimited                                                               measurement,
          measurements                                                            change)
          in simulation
                           Risk / Effort



                                                                                • Real world
        • Lots of risks                                                           representation
                                                                                • Number of
                                                                                  people
                                                                                  involved



                                                                       Time



26.10.2012
                                                     Slide 7
CONFIDENTIAL


             How ?

             Re-use proven tools from high reliability
                domains?
                 • Space, aeronautics, nuclear, automotive,
                   chemical plants
                 • Domain specific tools
                 • Tool cost not an issue
                 • Long learning curve, less flexibility



             Need for a new toolchain
                • affordable
                • flexible, scalable
                  for generic developments
                • easy learning (graphical ?)
                • open (no vendor lock-in)
                • automatic transformations

26.10.2012
                                            Slide 8
CONFIDENTIAL




             How: examples             Some research projects
                                       • Modelisar: Modelica +
                                         Autosar
                                       • Destecs: co-sim CT + DE
                                       • Deploy: B for dependable
                                         sw




                                           Multi domain tools:
                                           • Matlab/Simulink +
                                             SimMech+StateFlow
                                             + RTW + AutoSar
                                           • Dymola / Modelica
                                           • LabView
                                           • SysML / Raphsody


26.10.2012
                             Slide 9
CONFIDENTIAL




             How : Modelisar / Autosar ?                             Customer needs
                                                                      Adaptive Cruise Control
                                                                      Lane Departure
                                                                       Warning
                                   Application sw                     Advanced Front
                                                                       Lighting System
                                                      standardized
                Autosar =                                            Using standards
                                                                        Communication Stack
               Automotive                                               OSEK
               hw interface                           HW-specific       Diagnostics
                                                                        CAN, FlexRay
                                           Hardware



               Modelica =
             Plant modelling




26.10.2012
                                       Slide 10
CONFIDENTIAL




        Case study : excavator with Destecs

     Complex
     • manual operations
     • => inherent fault tolerant design
     • 3D dynamic motion, digging map & boundaries
     • unknown soil conditions
     • multidomain: hydraulics, mechanics, sw

     Well known case
     • Manual operator as a reference
     • Scalable & testable

     Destecs differentiators:
     • discrete event (sw) & continuous time (physics)
     • fault injection & error checking
     • open


26.10.2012
                                        Slide 11
CONFIDENTIAL




             Content


        Model Based Design in general:
        • What ?
        • Why ?
        • How ?

        A model based design case study:
        • Case study introduction
        • Models
           • Scale model
           • Continuous time model
           • Discrete event model
        • Conclusions & demonstration



26.10.2012
                                         Slide 12
CONFIDENTIAL




    DESTECS inspiration

    • Inspiration
               •   Use collaborative multidisciplinary design of Embedded Systems

               •   Rapid construction and evaluation of system models

               •   Evaluated on industrial applications



    • Need because of Embedded Systems
               •   More demanding functional & non-functional requirements

                    • Reliability, Fault Tolerance

               •   Increasingly distributed

                    • More design possibilities, and faults

                    • Communication between physics and control




26.10.2012
                                                          Slide 13
CONFIDENTIAL




    DESTECS approach

    • Methods and Open tools
               •   Model-based approach for collaborative design of ECS

    • Co-simulation
               •   Different tools, reflecting relevant aspects of design

               •   Rapid, consistent analysis & comparison of models

    • Advances needed in
               •   Continuous time modeling

               •   Discrete event modeling

               •   Fault modeling and fault tolerance

               •   Open tool frameworks




26.10.2012
                                                         Slide 14
CONFIDENTIAL




    Dredging

    • Dredging

        = Underwater excavation

    • No visual

    • Introducing semi automated control




26.10.2012
                                  Slide 15
CONFIDENTIAL




    Scale model




26.10.2012
                  Slide 16
CONFIDENTIAL




    Actuators


     Full scale  Hydraulic pistons
        vs.
    Scale model  Electric linear actuators

        12V  full speed out
         0V  no movement
       -12V  full speed retract




26.10.2012
                                   Slide 17
CONFIDENTIAL




    Sensors

    Incremental encoders

    2 shifted square waves
    Step and direction information
    Driving step counter (up and down)

    1 index pulse / revolution
    Absolute positioning




26.10.2012
                                 Slide 18
CONFIDENTIAL




    Continuous Time model




26.10.2012
                            Slide 19
CONFIDENTIAL




    3D Model




    • STL-files for visualisation
    • Mass & Inertia
    • Dimmensions




26.10.2012
                                    Slide 20
CONFIDENTIAL




    Discrete Event model




26.10.2012
                           Slide 21
CONFIDENTIAL




    Excavator model




26.10.2012
                      Slide 22
CONFIDENTIAL




    Operator


    • Joystick inputs (from CSV files)

    • Pressing buttons
       • Power on
       • Start/Stop
       • Manual/Assisted mode




26.10.2012
                                     Slide 23
CONFIDENTIAL




    Safety unit

    • Redundant system
    • In normal circumstances, no action
    • Overrules controller at controller failure
               Software bug,
               unforeseen situation,
               hardware failure
    • If triggered, 3 actions:
               Trigger emergency state on controller
               Overrule output and thereby stop all motion
               Cut off power to the motors (unimplemented, slows down CT)




26.10.2012
                                                    Slide 24
CONFIDENTIAL




    Controller




26.10.2012
                 Slide 25
CONFIDENTIAL




    Operation modes
               Direct mode              Assisted mode




26.10.2012
                             Slide 26
CONFIDENTIAL




     Assisted mode

               X-joystick
               Y-joystick
             Scoop-joystick




                              Angular velocities:                Actuator velocities:
                                Boom, Stick,                        Boom, Stick,
                                                                                        Boom linear actuator
                                   Bucket            Inverse          Bucket
               Kinematics                                                               Stick linear actuator
                                                    kinematics                          Bucket linear actuator




                                Boom encoder
                                 Stick encoder
                                Bucket encoder


26.10.2012
                                                    Slide 27
CONFIDENTIAL




    Conclusions

    • Ability to implement large level of complexity at both sides:
      Physics and Controller

    • Currently it’s an academic tool, not mature.

    • Steep learning curve, only for large and complex projects




26.10.2012
                                     Slide 28
CONFIDENTIAL




    Excavator : current practice

                                System design
                                • requirements doc
                                • architecture doc
                                • design specs doc

                                   Detailed design
                                                actuator
                Mechanics   Hydraulics                     Electronics   control sw
                • 3D CAD    • 1D model                     • schematic   • C-code

               sensor                 Build &
                                    Integration
                               Final product
                               • Test & verification

26.10.2012
                                     Slide 29
CONFIDENTIAL




    Excavator : with DESTECS

                                    Co-Sim IF
                                    • version tracking
                                    • co-sim solver
                                    • design space exploration
                                    • fault injection


             20sim                                      VDM++
             • continuous time                          • discrete event
             • multi-disciplinary                       • inherent condition checking
             • graphical                                • formal
             • open libraries with                      • graphical (via UML)
               validated components                     • support for sw methods
             • from high level to detailed              • C-code generation


26.10.2012
                                             Slide 30
CONFIDENTIAL




    Time for a demonstration




26.10.2012
                     Slide 31
CONFIDENTIAL




    Any questions?




26.10.2012
                     Slide 32
CONFIDENTIAL




                                                                                                          VERHAERT MASTERS IN INNOVATION®
                                                                                                                                  Headquarters
                                                                                                                       Hogenakkerhoekstraat 21
                                                                                                                               9150 Kruibeke (B)
                                                                                                                          tel +32 (0)3 250 19 00
                                                                                                                         fax +32 (0)3 254 10 08
                                                                                                                            ezine@verhaert.com

                                                                                                                      More at www.verhaert.com




                                                                                                           VERHAERT MASTERS IN INNOVATION®
                                                                                                                                      Netherlands
                                                                                                                European Space Innovation Centre
                                                                                                                                    Kapteynstraat 1
             VERHAERT MASTERS IN INNOVATION® helps companies and governments to innovate.                                  2201 BB Noordwijk (NL)
             We design products and systems for organizations looking for new ways to provide value                        Tel: +31 (0)633 666 828
             for their customers.                                                                              willard.vanderheijden@verhaert.com

             We are a leading integrated product innovation center; creating technology platforms,                      More at www.verhaert.com
             developing new products and business in parallel, hence facilitating new-growth strategies
             for our clients.




26.10.2012
                                                                                   Slide 33

Más contenido relacionado

La actualidad más candente

Leveraging process models across the asset lifecycle t fiske arc
Leveraging process models across the asset lifecycle t fiske arcLeveraging process models across the asset lifecycle t fiske arc
Leveraging process models across the asset lifecycle t fiske arcARC Advisory Group
 
Outsourced Product Development Services
Outsourced Product Development ServicesOutsourced Product Development Services
Outsourced Product Development Servicesvinodpandeyaxcend
 
A platform for the decision support studio
A platform for the decision support studioA platform for the decision support studio
A platform for the decision support studiojhjsmits
 
Test designandmanagementfreenest1dot4
Test designandmanagementfreenest1dot4Test designandmanagementfreenest1dot4
Test designandmanagementfreenest1dot4JAMK
 
Lanzamiento Visual Studio 2012 - Modern ALM
Lanzamiento Visual Studio 2012 - Modern ALMLanzamiento Visual Studio 2012 - Modern ALM
Lanzamiento Visual Studio 2012 - Modern ALMDebora Di Piano
 

La actualidad más candente (15)

Leveraging process models across the asset lifecycle t fiske arc
Leveraging process models across the asset lifecycle t fiske arcLeveraging process models across the asset lifecycle t fiske arc
Leveraging process models across the asset lifecycle t fiske arc
 
Outsourced Product Development Services
Outsourced Product Development ServicesOutsourced Product Development Services
Outsourced Product Development Services
 
A platform for the decision support studio
A platform for the decision support studioA platform for the decision support studio
A platform for the decision support studio
 
Vaidyanathan Ramalingam Silicon India Testing Conference 2 July2011 Speech
Vaidyanathan Ramalingam Silicon India Testing Conference 2 July2011 SpeechVaidyanathan Ramalingam Silicon India Testing Conference 2 July2011 Speech
Vaidyanathan Ramalingam Silicon India Testing Conference 2 July2011 Speech
 
Vaidyanathan Ramalingam Agile Conference Speech
Vaidyanathan Ramalingam Agile Conference SpeechVaidyanathan Ramalingam Agile Conference Speech
Vaidyanathan Ramalingam Agile Conference Speech
 
Vaidyanathan Ramalingam Agile Testing Conference Speech
Vaidyanathan Ramalingam Agile Testing Conference SpeechVaidyanathan Ramalingam Agile Testing Conference Speech
Vaidyanathan Ramalingam Agile Testing Conference Speech
 
Vaidyanathan Ramalingam Trade Off Economics In Testing Conference Speech
Vaidyanathan Ramalingam Trade Off Economics In Testing Conference SpeechVaidyanathan Ramalingam Trade Off Economics In Testing Conference Speech
Vaidyanathan Ramalingam Trade Off Economics In Testing Conference Speech
 
Vaidyanathan Ramalingam Testing Checklist Conference Speech
Vaidyanathan Ramalingam Testing Checklist Conference SpeechVaidyanathan Ramalingam Testing Checklist Conference Speech
Vaidyanathan Ramalingam Testing Checklist Conference Speech
 
Vaidyanathan Ramalingam Waterfall Vs Agile Testing Conference Speech
Vaidyanathan Ramalingam Waterfall Vs Agile Testing Conference SpeechVaidyanathan Ramalingam Waterfall Vs Agile Testing Conference Speech
Vaidyanathan Ramalingam Waterfall Vs Agile Testing Conference Speech
 
Vaidyanathan Ramalingam Agile Testing Leadership Lessons Softec 2 July2011
Vaidyanathan Ramalingam Agile Testing Leadership Lessons Softec 2 July2011Vaidyanathan Ramalingam Agile Testing Leadership Lessons Softec 2 July2011
Vaidyanathan Ramalingam Agile Testing Leadership Lessons Softec 2 July2011
 
Vaidyanathan Ramalingam Rca In Agile Conference Speech
Vaidyanathan Ramalingam Rca In Agile Conference SpeechVaidyanathan Ramalingam Rca In Agile Conference Speech
Vaidyanathan Ramalingam Rca In Agile Conference Speech
 
Vaidyanathan Ramalingam Rca In Testing Conference Speech
Vaidyanathan Ramalingam Rca In Testing Conference SpeechVaidyanathan Ramalingam Rca In Testing Conference Speech
Vaidyanathan Ramalingam Rca In Testing Conference Speech
 
Vaidyanathan Ramalingam Software Testing Eco System Conference Speech
Vaidyanathan Ramalingam Software Testing Eco System Conference SpeechVaidyanathan Ramalingam Software Testing Eco System Conference Speech
Vaidyanathan Ramalingam Software Testing Eco System Conference Speech
 
Test designandmanagementfreenest1dot4
Test designandmanagementfreenest1dot4Test designandmanagementfreenest1dot4
Test designandmanagementfreenest1dot4
 
Lanzamiento Visual Studio 2012 - Modern ALM
Lanzamiento Visual Studio 2012 - Modern ALMLanzamiento Visual Studio 2012 - Modern ALM
Lanzamiento Visual Studio 2012 - Modern ALM
 

Similar a Model-Driven Engineering for Embedded Control Systems

Design For Testability
Design For TestabilityDesign For Testability
Design For TestabilityWill Iverson
 
Quality Assurance in SDLC
Quality Assurance in SDLCQuality Assurance in SDLC
Quality Assurance in SDLCAdil Mughal
 
How to bake in quality in agile scrum projects
How to bake in quality in agile scrum projectsHow to bake in quality in agile scrum projects
How to bake in quality in agile scrum projectsSantanu Bhattacharya
 
Chef for DevOps - an Introduction
Chef for DevOps - an IntroductionChef for DevOps - an Introduction
Chef for DevOps - an IntroductionSanjeev Sharma
 
Modeling: the holy grail for designing complex systems?
Modeling: the holy grail for designing complex systems?Modeling: the holy grail for designing complex systems?
Modeling: the holy grail for designing complex systems?xmoneva
 
Quality Coding with Visual Studio 2012
Quality Coding with Visual Studio 2012Quality Coding with Visual Studio 2012
Quality Coding with Visual Studio 2012Imaginet
 
Evolving the Product Management Process to Match Company Growth
Evolving the Product Management Process to Match Company GrowthEvolving the Product Management Process to Match Company Growth
Evolving the Product Management Process to Match Company GrowthSVPMA
 
XebiaLabs, CloudBees, Puppet Labs Webinar Slides - IT Automation for the Mode...
XebiaLabs, CloudBees, Puppet Labs Webinar Slides - IT Automation for the Mode...XebiaLabs, CloudBees, Puppet Labs Webinar Slides - IT Automation for the Mode...
XebiaLabs, CloudBees, Puppet Labs Webinar Slides - IT Automation for the Mode...XebiaLabs
 
Software Engineering The Multiview Approach And Wisdm
Software Engineering   The Multiview Approach And WisdmSoftware Engineering   The Multiview Approach And Wisdm
Software Engineering The Multiview Approach And Wisdmguestc990b6
 
Aligning Software Testing With Modern Age Development Practices
Aligning Software Testing With Modern Age Development PracticesAligning Software Testing With Modern Age Development Practices
Aligning Software Testing With Modern Age Development PracticesAspire Systems
 
Building Results Oriented Websites: The Method That Ends the Madness
Building Results Oriented Websites: The Method That Ends the MadnessBuilding Results Oriented Websites: The Method That Ends the Madness
Building Results Oriented Websites: The Method That Ends the MadnessTom McCracken
 
Quality Coding: What's New with Visual Studio 2012
Quality Coding: What's New with Visual Studio 2012Quality Coding: What's New with Visual Studio 2012
Quality Coding: What's New with Visual Studio 2012Imaginet
 
Quality Coding: What’s New with Visual Studio 2012
Quality Coding: What’s New with Visual Studio 2012Quality Coding: What’s New with Visual Studio 2012
Quality Coding: What’s New with Visual Studio 2012Imaginet
 
Презентация
ПрезентацияПрезентация
Презентацияguest22d71d
 
TDD in functional testing with WebDriver
TDD in functional testing with WebDriverTDD in functional testing with WebDriver
TDD in functional testing with WebDriverMikalai Alimenkou
 
Chapter 1 ASE Slides ppt
Chapter 1 ASE Slides pptChapter 1 ASE Slides ppt
Chapter 1 ASE Slides pptMr SMAK
 

Similar a Model-Driven Engineering for Embedded Control Systems (20)

Design For Testability
Design For TestabilityDesign For Testability
Design For Testability
 
Quality Assurance in SDLC
Quality Assurance in SDLCQuality Assurance in SDLC
Quality Assurance in SDLC
 
E3 chap-06
E3 chap-06E3 chap-06
E3 chap-06
 
Manual testing1
Manual testing1Manual testing1
Manual testing1
 
Lafauci dv club oct 2006
Lafauci dv club oct 2006Lafauci dv club oct 2006
Lafauci dv club oct 2006
 
How to bake in quality in agile scrum projects
How to bake in quality in agile scrum projectsHow to bake in quality in agile scrum projects
How to bake in quality in agile scrum projects
 
Chef for DevOps - an Introduction
Chef for DevOps - an IntroductionChef for DevOps - an Introduction
Chef for DevOps - an Introduction
 
Modeling: the holy grail for designing complex systems?
Modeling: the holy grail for designing complex systems?Modeling: the holy grail for designing complex systems?
Modeling: the holy grail for designing complex systems?
 
Quality Coding with Visual Studio 2012
Quality Coding with Visual Studio 2012Quality Coding with Visual Studio 2012
Quality Coding with Visual Studio 2012
 
ITS-Fidel
ITS-FidelITS-Fidel
ITS-Fidel
 
Evolving the Product Management Process to Match Company Growth
Evolving the Product Management Process to Match Company GrowthEvolving the Product Management Process to Match Company Growth
Evolving the Product Management Process to Match Company Growth
 
XebiaLabs, CloudBees, Puppet Labs Webinar Slides - IT Automation for the Mode...
XebiaLabs, CloudBees, Puppet Labs Webinar Slides - IT Automation for the Mode...XebiaLabs, CloudBees, Puppet Labs Webinar Slides - IT Automation for the Mode...
XebiaLabs, CloudBees, Puppet Labs Webinar Slides - IT Automation for the Mode...
 
Software Engineering The Multiview Approach And Wisdm
Software Engineering   The Multiview Approach And WisdmSoftware Engineering   The Multiview Approach And Wisdm
Software Engineering The Multiview Approach And Wisdm
 
Aligning Software Testing With Modern Age Development Practices
Aligning Software Testing With Modern Age Development PracticesAligning Software Testing With Modern Age Development Practices
Aligning Software Testing With Modern Age Development Practices
 
Building Results Oriented Websites: The Method That Ends the Madness
Building Results Oriented Websites: The Method That Ends the MadnessBuilding Results Oriented Websites: The Method That Ends the Madness
Building Results Oriented Websites: The Method That Ends the Madness
 
Quality Coding: What's New with Visual Studio 2012
Quality Coding: What's New with Visual Studio 2012Quality Coding: What's New with Visual Studio 2012
Quality Coding: What's New with Visual Studio 2012
 
Quality Coding: What’s New with Visual Studio 2012
Quality Coding: What’s New with Visual Studio 2012Quality Coding: What’s New with Visual Studio 2012
Quality Coding: What’s New with Visual Studio 2012
 
Презентация
ПрезентацияПрезентация
Презентация
 
TDD in functional testing with WebDriver
TDD in functional testing with WebDriverTDD in functional testing with WebDriver
TDD in functional testing with WebDriver
 
Chapter 1 ASE Slides ppt
Chapter 1 ASE Slides pptChapter 1 ASE Slides ppt
Chapter 1 ASE Slides ppt
 

Más de Verhaert Masters in Innovation

Software language over the last 50 years, what will be next (by Pieter Zulian...
Software language over the last 50 years, what will be next (by Pieter Zulian...Software language over the last 50 years, what will be next (by Pieter Zulian...
Software language over the last 50 years, what will be next (by Pieter Zulian...Verhaert Masters in Innovation
 
Geospatial technologies, the evolution and impact on our daily life (by Nicol...
Geospatial technologies, the evolution and impact on our daily life (by Nicol...Geospatial technologies, the evolution and impact on our daily life (by Nicol...
Geospatial technologies, the evolution and impact on our daily life (by Nicol...Verhaert Masters in Innovation
 
Advanced human interfaces, the underestimated enabler for innovation (by Bert...
Advanced human interfaces, the underestimated enabler for innovation (by Bert...Advanced human interfaces, the underestimated enabler for innovation (by Bert...
Advanced human interfaces, the underestimated enabler for innovation (by Bert...Verhaert Masters in Innovation
 
The first humanoid robot, wabot 1 (by Robrecht Van Velthoven)
The first humanoid robot, wabot 1 (by Robrecht Van Velthoven)The first humanoid robot, wabot 1 (by Robrecht Van Velthoven)
The first humanoid robot, wabot 1 (by Robrecht Van Velthoven)Verhaert Masters in Innovation
 
The government as launching customer, a great opportunity for companies (by R...
The government as launching customer, a great opportunity for companies (by R...The government as launching customer, a great opportunity for companies (by R...
The government as launching customer, a great opportunity for companies (by R...Verhaert Masters in Innovation
 
Landing on the moon, the impact and future opportunities (by Sam Waes)
Landing on the moon, the impact and future opportunities (by Sam Waes)Landing on the moon, the impact and future opportunities (by Sam Waes)
Landing on the moon, the impact and future opportunities (by Sam Waes)Verhaert Masters in Innovation
 
Building an innovation culture, steering individual and team behavior (by Möb...
Building an innovation culture, steering individual and team behavior (by Möb...Building an innovation culture, steering individual and team behavior (by Möb...
Building an innovation culture, steering individual and team behavior (by Möb...Verhaert Masters in Innovation
 
Is the start-up way of working really different than the corporate one (by Fr...
Is the start-up way of working really different than the corporate one (by Fr...Is the start-up way of working really different than the corporate one (by Fr...
Is the start-up way of working really different than the corporate one (by Fr...Verhaert Masters in Innovation
 
Is the house of quality still a valid model to manage innovation (by Dany Rob...
Is the house of quality still a valid model to manage innovation (by Dany Rob...Is the house of quality still a valid model to manage innovation (by Dany Rob...
Is the house of quality still a valid model to manage innovation (by Dany Rob...Verhaert Masters in Innovation
 
How to shape your innovation ecosystem to create impact in your organization ...
How to shape your innovation ecosystem to create impact in your organization ...How to shape your innovation ecosystem to create impact in your organization ...
How to shape your innovation ecosystem to create impact in your organization ...Verhaert Masters in Innovation
 
The evolution of the bicycle industry 50 years after eddy merckx' victory (by...
The evolution of the bicycle industry 50 years after eddy merckx' victory (by...The evolution of the bicycle industry 50 years after eddy merckx' victory (by...
The evolution of the bicycle industry 50 years after eddy merckx' victory (by...Verhaert Masters in Innovation
 
The acceleration of Artificial Intelligence (by Jochem Grietens)
The acceleration of Artificial Intelligence (by Jochem Grietens)The acceleration of Artificial Intelligence (by Jochem Grietens)
The acceleration of Artificial Intelligence (by Jochem Grietens)Verhaert Masters in Innovation
 
The drivers of value creation, 50 years of research (by Dany Robberecht)
The drivers of value creation, 50 years of research (by Dany Robberecht)The drivers of value creation, 50 years of research (by Dany Robberecht)
The drivers of value creation, 50 years of research (by Dany Robberecht)Verhaert Masters in Innovation
 
Multi-sided business models in smart cities (IoT Convention 2019)
Multi-sided business models in smart cities (IoT Convention 2019)Multi-sided business models in smart cities (IoT Convention 2019)
Multi-sided business models in smart cities (IoT Convention 2019)Verhaert Masters in Innovation
 
Dany Robberecht - The benefits of cross industry innovation
Dany Robberecht - The benefits of cross industry innovationDany Robberecht - The benefits of cross industry innovation
Dany Robberecht - The benefits of cross industry innovationVerhaert Masters in Innovation
 
Space 4.0 and the Belgian start-up ecosystem by Omar Mohout
Space 4.0 and the Belgian start-up ecosystem by Omar MohoutSpace 4.0 and the Belgian start-up ecosystem by Omar Mohout
Space 4.0 and the Belgian start-up ecosystem by Omar MohoutVerhaert Masters in Innovation
 

Más de Verhaert Masters in Innovation (20)

Technology watch - AI in chemical industry
Technology watch - AI in chemical industryTechnology watch - AI in chemical industry
Technology watch - AI in chemical industry
 
Software language over the last 50 years, what will be next (by Pieter Zulian...
Software language over the last 50 years, what will be next (by Pieter Zulian...Software language over the last 50 years, what will be next (by Pieter Zulian...
Software language over the last 50 years, what will be next (by Pieter Zulian...
 
Geospatial technologies, the evolution and impact on our daily life (by Nicol...
Geospatial technologies, the evolution and impact on our daily life (by Nicol...Geospatial technologies, the evolution and impact on our daily life (by Nicol...
Geospatial technologies, the evolution and impact on our daily life (by Nicol...
 
Advanced human interfaces, the underestimated enabler for innovation (by Bert...
Advanced human interfaces, the underestimated enabler for innovation (by Bert...Advanced human interfaces, the underestimated enabler for innovation (by Bert...
Advanced human interfaces, the underestimated enabler for innovation (by Bert...
 
The first humanoid robot, wabot 1 (by Robrecht Van Velthoven)
The first humanoid robot, wabot 1 (by Robrecht Van Velthoven)The first humanoid robot, wabot 1 (by Robrecht Van Velthoven)
The first humanoid robot, wabot 1 (by Robrecht Van Velthoven)
 
The government as launching customer, a great opportunity for companies (by R...
The government as launching customer, a great opportunity for companies (by R...The government as launching customer, a great opportunity for companies (by R...
The government as launching customer, a great opportunity for companies (by R...
 
Landing on the moon, the impact and future opportunities (by Sam Waes)
Landing on the moon, the impact and future opportunities (by Sam Waes)Landing on the moon, the impact and future opportunities (by Sam Waes)
Landing on the moon, the impact and future opportunities (by Sam Waes)
 
Building an innovation culture, steering individual and team behavior (by Möb...
Building an innovation culture, steering individual and team behavior (by Möb...Building an innovation culture, steering individual and team behavior (by Möb...
Building an innovation culture, steering individual and team behavior (by Möb...
 
The era of pretotyping has arrived (by Kevin Douven)
The era of pretotyping has arrived (by Kevin Douven)The era of pretotyping has arrived (by Kevin Douven)
The era of pretotyping has arrived (by Kevin Douven)
 
Is the start-up way of working really different than the corporate one (by Fr...
Is the start-up way of working really different than the corporate one (by Fr...Is the start-up way of working really different than the corporate one (by Fr...
Is the start-up way of working really different than the corporate one (by Fr...
 
Behind the waterfall methodology (by Jan Buytaert)
Behind the waterfall methodology (by Jan Buytaert)Behind the waterfall methodology (by Jan Buytaert)
Behind the waterfall methodology (by Jan Buytaert)
 
Is the house of quality still a valid model to manage innovation (by Dany Rob...
Is the house of quality still a valid model to manage innovation (by Dany Rob...Is the house of quality still a valid model to manage innovation (by Dany Rob...
Is the house of quality still a valid model to manage innovation (by Dany Rob...
 
How to shape your innovation ecosystem to create impact in your organization ...
How to shape your innovation ecosystem to create impact in your organization ...How to shape your innovation ecosystem to create impact in your organization ...
How to shape your innovation ecosystem to create impact in your organization ...
 
The evolution of the bicycle industry 50 years after eddy merckx' victory (by...
The evolution of the bicycle industry 50 years after eddy merckx' victory (by...The evolution of the bicycle industry 50 years after eddy merckx' victory (by...
The evolution of the bicycle industry 50 years after eddy merckx' victory (by...
 
The acceleration of Artificial Intelligence (by Jochem Grietens)
The acceleration of Artificial Intelligence (by Jochem Grietens)The acceleration of Artificial Intelligence (by Jochem Grietens)
The acceleration of Artificial Intelligence (by Jochem Grietens)
 
The drivers of value creation, 50 years of research (by Dany Robberecht)
The drivers of value creation, 50 years of research (by Dany Robberecht)The drivers of value creation, 50 years of research (by Dany Robberecht)
The drivers of value creation, 50 years of research (by Dany Robberecht)
 
Multi-sided business models in smart cities (IoT Convention 2019)
Multi-sided business models in smart cities (IoT Convention 2019)Multi-sided business models in smart cities (IoT Convention 2019)
Multi-sided business models in smart cities (IoT Convention 2019)
 
Space for Artificial Intelligence
Space for Artificial IntelligenceSpace for Artificial Intelligence
Space for Artificial Intelligence
 
Dany Robberecht - The benefits of cross industry innovation
Dany Robberecht - The benefits of cross industry innovationDany Robberecht - The benefits of cross industry innovation
Dany Robberecht - The benefits of cross industry innovation
 
Space 4.0 and the Belgian start-up ecosystem by Omar Mohout
Space 4.0 and the Belgian start-up ecosystem by Omar MohoutSpace 4.0 and the Belgian start-up ecosystem by Omar Mohout
Space 4.0 and the Belgian start-up ecosystem by Omar Mohout
 

Model-Driven Engineering for Embedded Control Systems

  • 1. CONFIDENTIAL Model Based Design for Embedded Control Systems Koenraad Rombaut Coordinator applied physics & systems Koenraad.rombaut@verhaert.com Michiel De Paepe Consultant applied physics & systems Michiel.depaepe@verhaert.com 26.10.2012 Slide 1
  • 2. CONFIDENTIAL Content Model Based Design in general: • What ? • Why ? • How ? A model based design case study: • Case study • Models • Conclusions & demonstration 26.10.2012 Slide 2
  • 3. CONFIDENTIAL What ? Model driven engineering ? Model based development ? Plant / Process Build model Model space Product design Concepts Design Verification Code space Product code Implement Testing Model = system + control + environment + stimuli Multi-domain = control + system behaviour Coupling / transformations models  design requirements  design  implementation  test scenario 26.10.2012 Slide 3
  • 4. CONFIDENTIAL Why ? Why ? • Cheaper & faster • Higher reliability • Better definition When ? • Complex processes / designs Complex control strategies • High reliability • Early validation • Fast developments • Changing requirements Outputs: • design inputs • insights • derisk 26.10.2012 Slide 4
  • 5. CONFIDENTIAL Why : definition Needs (what do we want) vs. Communication specifications (how do we define) between disciplines, Specifying new (innovating) products with customer & subcontractors, and subsystems over project phases Changing requirements Re-use of subsystems Safety factor  for (sw) budget & schedule Needs Requirements Specs Design Implementation Documentation 26.10.2012 Slide 5
  • 6. CONFIDENTIAL Why simulation : early validation Traditional: Benefits • sequential = lengthy • validation on hw = late • More and faster iterations • Parallel hw & sw development Device Requirements Device Validation • Multiple off-nominal and fault testing (non feasible tests) • Early full system validation System System and risk mitigation without hw Design Verfication • Less real-life testing (= the poor man’s approach) Subsystem Functional • More optimal system design requirements Test by sw-physics co-simulation • Improved communication & design specification Detailled Component Design Test => time & cost reduction Model based: • Parallel = fast • validation on model = early 26.10.2012 Slide 6
  • 7. CONFIDENTIAL Why early: cost vs. freedom Virtual Lab Field model model model • Design & test • Cost (project, freedom build, • Unlimited measurement, measurements change) in simulation Risk / Effort • Real world • Lots of risks representation • Number of people involved Time 26.10.2012 Slide 7
  • 8. CONFIDENTIAL How ? Re-use proven tools from high reliability domains? • Space, aeronautics, nuclear, automotive, chemical plants • Domain specific tools • Tool cost not an issue • Long learning curve, less flexibility Need for a new toolchain • affordable • flexible, scalable for generic developments • easy learning (graphical ?) • open (no vendor lock-in) • automatic transformations 26.10.2012 Slide 8
  • 9. CONFIDENTIAL How: examples Some research projects • Modelisar: Modelica + Autosar • Destecs: co-sim CT + DE • Deploy: B for dependable sw Multi domain tools: • Matlab/Simulink + SimMech+StateFlow + RTW + AutoSar • Dymola / Modelica • LabView • SysML / Raphsody 26.10.2012 Slide 9
  • 10. CONFIDENTIAL How : Modelisar / Autosar ? Customer needs  Adaptive Cruise Control  Lane Departure Warning Application sw  Advanced Front Lighting System standardized Autosar = Using standards  Communication Stack Automotive  OSEK hw interface HW-specific  Diagnostics  CAN, FlexRay Hardware Modelica = Plant modelling 26.10.2012 Slide 10
  • 11. CONFIDENTIAL Case study : excavator with Destecs Complex • manual operations • => inherent fault tolerant design • 3D dynamic motion, digging map & boundaries • unknown soil conditions • multidomain: hydraulics, mechanics, sw Well known case • Manual operator as a reference • Scalable & testable Destecs differentiators: • discrete event (sw) & continuous time (physics) • fault injection & error checking • open 26.10.2012 Slide 11
  • 12. CONFIDENTIAL Content Model Based Design in general: • What ? • Why ? • How ? A model based design case study: • Case study introduction • Models • Scale model • Continuous time model • Discrete event model • Conclusions & demonstration 26.10.2012 Slide 12
  • 13. CONFIDENTIAL DESTECS inspiration • Inspiration • Use collaborative multidisciplinary design of Embedded Systems • Rapid construction and evaluation of system models • Evaluated on industrial applications • Need because of Embedded Systems • More demanding functional & non-functional requirements • Reliability, Fault Tolerance • Increasingly distributed • More design possibilities, and faults • Communication between physics and control 26.10.2012 Slide 13
  • 14. CONFIDENTIAL DESTECS approach • Methods and Open tools • Model-based approach for collaborative design of ECS • Co-simulation • Different tools, reflecting relevant aspects of design • Rapid, consistent analysis & comparison of models • Advances needed in • Continuous time modeling • Discrete event modeling • Fault modeling and fault tolerance • Open tool frameworks 26.10.2012 Slide 14
  • 15. CONFIDENTIAL Dredging • Dredging = Underwater excavation • No visual • Introducing semi automated control 26.10.2012 Slide 15
  • 16. CONFIDENTIAL Scale model 26.10.2012 Slide 16
  • 17. CONFIDENTIAL Actuators Full scale  Hydraulic pistons vs. Scale model  Electric linear actuators 12V  full speed out 0V  no movement -12V  full speed retract 26.10.2012 Slide 17
  • 18. CONFIDENTIAL Sensors Incremental encoders 2 shifted square waves Step and direction information Driving step counter (up and down) 1 index pulse / revolution Absolute positioning 26.10.2012 Slide 18
  • 19. CONFIDENTIAL Continuous Time model 26.10.2012 Slide 19
  • 20. CONFIDENTIAL 3D Model • STL-files for visualisation • Mass & Inertia • Dimmensions 26.10.2012 Slide 20
  • 21. CONFIDENTIAL Discrete Event model 26.10.2012 Slide 21
  • 22. CONFIDENTIAL Excavator model 26.10.2012 Slide 22
  • 23. CONFIDENTIAL Operator • Joystick inputs (from CSV files) • Pressing buttons • Power on • Start/Stop • Manual/Assisted mode 26.10.2012 Slide 23
  • 24. CONFIDENTIAL Safety unit • Redundant system • In normal circumstances, no action • Overrules controller at controller failure Software bug, unforeseen situation, hardware failure • If triggered, 3 actions: Trigger emergency state on controller Overrule output and thereby stop all motion Cut off power to the motors (unimplemented, slows down CT) 26.10.2012 Slide 24
  • 25. CONFIDENTIAL Controller 26.10.2012 Slide 25
  • 26. CONFIDENTIAL Operation modes Direct mode Assisted mode 26.10.2012 Slide 26
  • 27. CONFIDENTIAL Assisted mode X-joystick Y-joystick Scoop-joystick Angular velocities: Actuator velocities: Boom, Stick, Boom, Stick, Boom linear actuator Bucket Inverse Bucket Kinematics Stick linear actuator kinematics Bucket linear actuator Boom encoder Stick encoder Bucket encoder 26.10.2012 Slide 27
  • 28. CONFIDENTIAL Conclusions • Ability to implement large level of complexity at both sides: Physics and Controller • Currently it’s an academic tool, not mature. • Steep learning curve, only for large and complex projects 26.10.2012 Slide 28
  • 29. CONFIDENTIAL Excavator : current practice System design • requirements doc • architecture doc • design specs doc Detailed design actuator Mechanics Hydraulics Electronics control sw • 3D CAD • 1D model • schematic • C-code sensor Build & Integration Final product • Test & verification 26.10.2012 Slide 29
  • 30. CONFIDENTIAL Excavator : with DESTECS Co-Sim IF • version tracking • co-sim solver • design space exploration • fault injection 20sim VDM++ • continuous time • discrete event • multi-disciplinary • inherent condition checking • graphical • formal • open libraries with • graphical (via UML) validated components • support for sw methods • from high level to detailed • C-code generation 26.10.2012 Slide 30
  • 31. CONFIDENTIAL Time for a demonstration 26.10.2012 Slide 31
  • 32. CONFIDENTIAL Any questions? 26.10.2012 Slide 32
  • 33. CONFIDENTIAL VERHAERT MASTERS IN INNOVATION® Headquarters Hogenakkerhoekstraat 21 9150 Kruibeke (B) tel +32 (0)3 250 19 00 fax +32 (0)3 254 10 08 ezine@verhaert.com More at www.verhaert.com VERHAERT MASTERS IN INNOVATION® Netherlands European Space Innovation Centre Kapteynstraat 1 VERHAERT MASTERS IN INNOVATION® helps companies and governments to innovate. 2201 BB Noordwijk (NL) We design products and systems for organizations looking for new ways to provide value Tel: +31 (0)633 666 828 for their customers. willard.vanderheijden@verhaert.com We are a leading integrated product innovation center; creating technology platforms, More at www.verhaert.com developing new products and business in parallel, hence facilitating new-growth strategies for our clients. 26.10.2012 Slide 33