Training

Training: Safety of calculators and computer architectures

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.

Contact Us

By phone on +1 514-798-7436 and on social networks:


 

France head office

Sector
12 avenue du Québec
BP 636 Villebon-sur-Yvette
F91965 Courtabœuf 1 cedex

Canada

Sector Group Canada Inc
227-7236 rue Waverly
Montréal, QC H2R 0C2
Phone: +1 (514) 798-7436

 
X

Contact Us

A question, a request, a quote? Contact Us