Context part, scheme, and 1st activity have been reviewed and improved => next step consists in continuing description of the other activities in the same way.
added a synthesis table for system definition to cover all activities and the error classes they introduce, to clarify
need to add in each chapter
- inputs/outputs of each activity
- details of each activity
- complete the error classes of each activity from the synthesis table
synthesis table to remove from document when activities descriptions are complete.
Root type System.Dim.Mks is of type Long_Long_Float which is not
supported in SPARK, on systems where this is a larger type than the
IEEE-754 64bits floats. Redefine a local version of Mks package to
use Long_Float as a root type instead.
Some units in types.ads are defined as floating-point types and others
as signed integer types. Start using the dimension system in GNAT on
floating-point units. Next step is to see if there is a benefit in using
floating-point types instead of signed integer types for the input and
output types, so that we can use the standard dimension system. Otherwise,
we could use a signed integer type with the Dimension_System aspect as
the root type for all these signed integer types.
Description of the architecture at multi-system level (layer 0).
Description of the incremental approach to architecture development.
Fail-safe design rationale, considerations on fault tolerance and development assurance.
HerveDelseny
AP Porte
fpothon
SylvanDissoubray
pfarail
Anthony Leonardo Gracio
CyrilleComar
Yannick Moy
Emmanuel Ledinot
Claire Dross
JoseRuizAdaCore