Training

SA4

Duration

2 days

Rate

1100€

Teaching methods

Presentations with illustrated practical case support

For who

Project Managers, Design Offices, Methods, R&D, Quality

Prerequisites

Former

Subject matter expert and/or specialist

Evaluation methods

Feedback form and self-assessment provided at the end of training

Pedagogical evaluation throught exercices and questionnaires

Places

Bended Session Format - In-person or Remote (PARIS/LYON)

In compagny/On-Site sessions upon request

Objectives

Focusing on the aspect of "securing application execution", the objectives of this training are to enable participants to acquire knowledge of the issues related to "zero-defect" development and computer architectures, methods for securing the execution of a program, the ability to meet system-level dependability requirements and principles related to the implementation of a hardware and software component dependability approach within a development entity.

Program

Dependability principles

Reminder of basic concepts (fault tolerance, etc.)
Software-specific characteristics
Risks impacting software execution
Impact on computer architecture
Defect typology

Introduction to "correct" software design

Definition and software-specific characteristics
Development challenges
Overview of formal approaches (B Method, SCADE, etc.)

Characteristics of embedded computing

Presentation of concepts and constraints
Normative requirements

Techniques for securing program execution

Hardware redundancy (1002, 2002, 2003, and n00m)
Software redundancy
Monitoring and fault detection
Information coding

Implementation analysis

Presentation of the "coded processor" used in rail transportation
Examples of hardware redundancy implementation in the aeronautics domain

Dependability of the software/hardware pair

Analysis of interactions between software and hardware
Study of common modes and dependability evaluation
Validation of the computer application (target testing)

Software verification and validation techniques

Classical verification techniques (static analysis, code review, etc.) And formal techniques (proof, model checking, etc.)
Analysis of strengths and weaknesses
Feedback on the application of these methods

Information request

Our trainings

Access our expertise

From Risk Management to Performance Improvement, SECTOR has been involved in over 10,000 studies and consultancy projects for more than 1,000 customers. All this rich and varied experience is applied to the training courses presented in our catalog. These are delivered by trainers who are also specialized and experienced consulting engineers. As a result, they enhance their training sessions with numerous case studies. This approach facilitates rapid assimilation of the essential notions and specific methods taught.

At the end of the course, the learner should have the keys to solving the problems specific to his or her company. This is our major concern and our main objective. We ensure that our training materials evolve in line with evaluation feedback and the latest developments in our business: standards, regulations, application guides, best technical practices, etc. In addition to training, SECTOR offers help and support in applying and deploying the methods taught.

Training: Safety of calculators and computer architectures

SA4