Esterel Technologies>服务产品>培训>SCADE Training
SCADE Training
A Comprehensive Training Program
Because we develop, market and sell SCADE, we have vital links with our customers.
Their feedback gives us the opportunity to improve the strong background of our
training so that we are able to share this knowledge with you through a comprehensive
training course.
Practice is the strength of our curriculum
Half of our program is dedicated to practical work through the use of workstations,
exercises and case studies.
Our Trainers are Highly Competent
All of our trainers are very experienced in fundamental computer science, have practical
experience through the development of projects, and are highly experienced in training.
Training Location
Trainings take place in our training centers in Elancourt (Paris area), Villeneuve-Loubet
(Nice area . French Riviera), Toulouse, or at customer’s site.
In the case where the training is delivered at customer site, the minimal configuration
for trainees’ computer is the following:
- Processor
- 1,5 Ghz Pentium 4
- RAM
- 512 Mo
- Disk space
- 40 Go
- Peripherals
- CD Driver, USB port
- System
- Windows XP Professional
- Screen
- 17″
- Input Devices
- Keyboard
- Mouse
- Microsoft Visual 6 C++ is recommended, though SCADE comes with the GCC (MinGW)
free compiler.
Materials
Esterel Technologies supplies course-related materials, including:
- Training Manuals
- Reference Cards
- Reference Guide
- CD-ROM including e-versions of the materials above, additional documentation, and exercises and labs solutions
SCADE Training Program Overview
The SCADE Training is divided in Modules. A Module is a set of courses dedicated to a
particular SCADE activity in the SCADE software development process life cycle task or
to a particular SCADE feature.
The SCADE training is composed of five Modules numbered from M1 to M5. Figure 1
shows the process task each Module covers, which are:
- Module M1: Model-based design with SCADE
- Module M2: Model-based verification
- Module M3: Model-based automatic code generation
- Module M4: Project Management with SCADE
- Module M5: SCADE Advanced
Figure 1 : SCADE Training Modules
Module M1: Model-Based Design with SCADE
Objectives
This module contains the courses related to the capturing of the System Requirements
allocated to Software in SCADE, while ensuring a full traceability of the SCADE Software
Requirement with respect to the System Requirements.
Contents
| Course 1: Basic SCADE Designing |
Ref : M1 – C1 |
| • SCADE Language |
|
| • Design Architecture |
|
| • Design Edition |
|
| • SCADE Data Modeling |
|
| • SCADE Libraries |
|
| • Prerequisites: Basic knowledge of programming |
|
| Course 2: Basic SSM Designing |
Ref : M1 – C2 |
| • SSM Inputs / Outputs |
|
| • SSM States |
|
| • SSM Transitions |
|
| • SSM Macro-states |
|
| • Prerequisites: Knowledge of SCADE |
|
| Course 3: Simulink Import |
Ref : M1 – C3 |
| • Principles of the Simulink Gateway |
|
| • From Simulink to SCADE |
|
| • From SCADE to Simulink |
|
| • Advanced usage |
|
| • Prerequisites: Basic knowledge of SCADE |
|
| Course 4: Basic Traceability Management |
Ref : M1 – C4 |
| • Requirement traceability |
|
| • The DOORS™ Gateway |
|
| • SCADE Comments and Annotations |
|
| • Code generation and traceability |
|
| • Prerequisites: Basic knowledge of SCADE |
|
Module M2: Model-Based Verification with SCADE
Objectives
This module contains the courses related to verifying that the SCADE Software
Requirements are compliant with the System Requirements allocated to Software.
Contents
| Course 1: Model Checks |
Ref : M2 – C1 |
| • SCADE Model Check |
|
| • Prerequisites: Basic knowledge of SCADE |
|
| Course 2: Simulation |
Ref : M2 – C2 |
| • Simulation interface |
|
| • Data views |
|
| • Breakpoints and stops |
|
| • Prerequisites: Basic knowledge of SCADE |
|
| Course 3: Model Test Coverage |
Ref : M2 – C3 |
| • Sw development and verification |
|
| • Model-based Sw development |
|
| • Model test coverage |
|
| • Examples |
|
| • Case Study and Exercises |
|
| • Prerequisites: Basic knowledge of SCADE and SCADE Simulator |
|
Module M3: Model-Based Code Generation with SCADE
Objectives
This module contains the courses related to generating code with the SCADE KCG code
generator and to integrating the code in the final application.
Contents
| Course 1: The KCG Code Generator |
Ref : M3 – C1 |
| • Mechanisms |
|
| • Code Generation |
|
| • Optimizations |
|
| • Prerequisites: Basic knowledge of SCADE and C code |
|
| Course 2: Imported Code Integration |
Ref : M3 – C2 |
| • Imported entities: nodes, types, constants |
|
| • Prerequisites: Basic knowledge of SCADE and C code |
|
| Course 3: Integration in Real-Time Environment |
Ref : M3 – C3 |
| • Module integration |
|
| • Prerequisites: Basic knowledge of SCADE and C code |
|
Module M4: SCADE Prject Management
Objectives
This module contains the courses related to the SCADE methodology and features that
help in the management of a SCADE project.
Contents
| Course 1: SCADE Project Structure |
Ref : M4 – C1 |
| • Project Files |
|
| • Configurations |
|
| • Symbol Customization |
|
| • Prerequisites: none |
|
| Course 2: Configuration Management |
Ref : M4 – C2 |
| • SCADE and configuration management tools integration |
|
| • Prerequisites: Knowledge of commercial CM tools |
|
| Course 3: SCADE Model Reporter |
Ref : M4 – C3 |
| • Documentation generation and customization |
|
| • Prerequisites: Basic knowledge of SCADE |
|
| Course 4: Certification with SCADE |
Ref : M4 – C4 |
| • The Combined Testing Process |
|
| • SCADE certification data |
|
| • The benefits of SCADE |
|
| • Prerequisites: Knowledge of certification standards |
|
Module M5: SCADE Advanced
Objectives
This module contains the courses related to the advanced aspects of SCADE development
methodology.
Contents
| Course 1: Advanced SCADE Designing |
Ref : M5 – C1 |
| • Activation constructs |
|
| • Iteration schemes |
|
| • Preemption constructs |
|
| • Polymorphism |
|
| • Parameterization |
|
| • Prerequisites: Basic knowledge of SCADE |
|
| Course 2: Advanced SCADE RM Gateway |
Ref : M5 – C2 |
| • Analysis process |
|
| • Custom document type |
|
| • Custom scripts |
|
| • Prerequisites: Basic knowledge of SCADE and SCADE RM Gateway |
|
| Course 4: Model Design Formal Verification |
Ref : M5 – C4 |
| • Formal Verification in the SCADE process |
|
| • Getting started with Design Verifier |
|
| • Writing properties |
|
| • Verification with data |
|
| • Methodology |
|
| • Prerequisites: Basic knowledge of SCADE |
|
