Archives de catégorie : Trainings

Model-Based development and verification supplement (DO-331/ED-218)

Description

The purpose of this training is to provide attendees with the information required to understand the technical concepts of the standard and its associated requirements. The key principles and how to use them will be presented and detailed.

This will allow a better awareness of the constraints and benefits inherent to model based engineering practices, which may significantly impact both staffing and costs.

The training does not intend to promote any particular commercial modeling tool. However, as the tools usually play a key role in the design and verification of models, references to various tool suites/vendors will be made all along the training.

Who should attend?

Architects, Design authorities, Software leaders, Quality engineers, Software team engineers, certification engineers, involved in a project where models are used.

Prerequisite: Knowledge of the ED-12XX (DO-178XX) principles is a minimum.

Schedule

The training will be on two working days (total 14 hours), including large slots for discussion. The following items will be addressed:

  • Introduction: why, what…
  • Scope of applicability of the standard
  • Characterization of a model
  • The concept of Higher level requirements
  • Development Processes using models
  • Model Simulation, constraints and benefits
  • Model Coverage, a specific activity
  • Global Approaches using models
  • Discussion and conclusions

On top of the discussions, some exercises will also be provided, spread over the two days.

Object Oriented Technology and related techniques supplement (DO-332/ED-217)

Description:

This 2-day session comprehensively covers ED-217, the ED-12C supplement that describes the vulnerabilities associated with object-oriented technology and related techniques and shows how to address them. ED-217’s guidance can be used in developing High Integrity application in other domains besides avionics.

In addition to the lectures, attendees will have the opportunity to experiment these concepts in workshops, to be done on personal computers. Each attendee will need to bring their own laptop running Windows (Vista, 7 or 8). The workshops will be provided in the form of a pre-installed USB key

To whom is this Training Course for?

Software Manager, Quality Manager, Software Engineer, Certification Manager

A good knowledge of DO-178B/ED-12B is recommended.

Schedule

The seminar is setup on two working days and includes

  • Rationale for using object oriented technologies in certified software
  • Objectives and Activities modified and added by ED-217
  • Vulnerabilities associated with object oriented technologies
  • Practical exercises

The schedule incorporates significant opportunities for interaction and discussion.

Formal Methods Supplement (DO-333/ED-216)

The goal of this training is to present the Formal Methods Technical Supplement of ED-12C, identify the new objectives and the possible improvements when using formal methods.

Description:

This seminar explains what a formal method is, as defined in ED-216. It gives an overview of existing families of formal methods. It also explains how formal methods can be used for the verification of software as proposed in ED-216.

To whom is this Training Course for?

Software Manager, Quality Manager, Software Engineer, Certification Manager

A good knowledge of DO-178B/ED-12B is recommended.

Schedule

The seminar is setup on two working days and includes

  • Definition of a formal method
  • Overview of existing methods and tools
  • Verification process objectives and activities

The schedule incorporates significant opportunities for interaction and discussion.

DO200B/ED76A New standards for processing aeronautical databases

The purpose of this training is to provide attendees with the information required to understand the technical concepts of the standard and its associated requirements. The key principles and required activities will be presented and detailed. This will allow a better awareness of the constraints inherent in a proper “DO200/ED76 ” compliant process, which may significantly impact both staffing and costs

Beyond digging into the standard, the certification mechanisms will be presented.

The training will be on one working day, including large slots for discussion. The following items will be addressed:

Schedule

  • Basic concepts of an aeronautical data chain
  • Role of DO200/ED76 within an aeronautical data chain
  • Data characteristics
  • Verification and validation
  • Tool Qualification
  • Documentation
  • Compliance demonstration

Audience:

Architects, Design authorities, Software leaders, Quality engineers, Software team engineers,  certification engineers, involved in a project where aeronautical databases are to be developed, tuned, or used.
Prerequisite: none

Tool Qualification

The use of software tools in the software life cycle processes is increasing and the need for their qualification may be requested.
To understand the tool qualification criteria and the objectives to satisfy for qualification in the user context and to improve the software life cycle by optimizing the certification credit claimed are the main aspects of this training.
This training includes the different tool categories as defined in DO-178B/ED-12B and the change impact of DO-178C/ED-12C on tool qualification, as well as the application of the Tool Qualification Document (DO-330/ED-215).

Goals:

  • To understand the stakes of the tool qualification and the tool qualification criteria
  • To know how to satisfy the tool qualification objectives
  • To have the keys to optimize the software life cycle with qualified tools, as code generators

Audience:

  • Software project leader, Quality Responsible, Software team engineers
  • Knowledge of DO-178/ED-12 and a first software development experience is recommended

Schedule
The general training is typically scheduled on a single day

  • Changes related to tool qualification between DO-178B/ED-12B and DO-178C/ED-12C
  • How to apply DO-330/ED-215 in other domains
  • Tool qualification criteria and tool qualification levels
  • How to qualify a verification tool (Criteria 2 and 3)
  • How to qualify a development tool (criteria 1)
  • Certification credit of using a qualified code generator

DO-178B/ED-12B to DO-178C/ED-12C: What has changed for which impact

This training identifies and analyses each modification between the B and C versions of the DO-178/ED-12 document, and analyses the possible impacts of these changes onto the current software life cycles.
The recommendations concerning the techniques related to the supplements to the DO-178/ED-12C are then presented afterwards:

  • Model Based Development (DO-331/ED-218),
  • Formal Methods (DO-333/ED-216),
  • Object Oriented Technology and Related Technics (DO-332ED-217), and
  • The new Tool Qualification Document (DO-330/ED-215). Software Manager, Quality Manager, Software Engineer, Certification Manager

Audience
Software Manager, Quality Manager, Software Engineer, Certification Manager. A good knowledge of DO-178B/ED-12B is recommended

Schedule
The seminar is setup on two working days and includes

  • Why changing? Identification and analyze of the main text changes (DO-178/ED-12)
  • Supplements: Formal Methods, Objet Oriented Technologies and Model based Development and Verification
  • Tool Qualification Document.
  • The schedule incorporates significant opportunities for interaction and discussion with the authors of the documents.

DO-178C/ED-12C

RTCA DO-178C/EUROCAE ED-12C defines the applicable objectives to the development of airborne software. How to use this document all along the software life cycle? How to be compliant with? How to improve the software life cycle processes? What are the changes from DO-178B/ED-12B?

ACG Solutions proposes a three or four day DO-178C/ED-12C training.  It includes

  • The core document DO-178C/ED-12C
  • The “supporting information” (DO248C/ED-94C)
  • The Model Based Development and Verification supplement (DO-331/ED-218)
  • and the Tool Qualification document (DO-330/ED-215)

The agenda of the four day training is the same, but this extra day provides more time for case studies and practices

Goals:

The goal of this training is to provide all necessary knowledge to understand the new “Software regulations Suite”, to highlights the main changes between DO-178B and DO-178C and then to discuss on their possible impacts on the current processes.

Audience:

This training is addressed to Software project leader, Quality Responsible, Software team engineers. A first software development experience is recommended.

Schedule

  • First Day: DO-178C/ED-12C principles, planning and  development  processes and
  • Second Day: Practice on requirement development, verification process, practices on test cases, tool qualification, and
  • Third Day:  Model Based Development and Verification supplement, other integral processes (configuration and change management, quality assurance and Certification liaison), several hot topics (such as WCET, COTS, Parameter Data Items).