En DAL-A ou DAL-B les contraintes sont énormes. Tu dois démontrer que ton programme fait ce qui est attendu et que tous les cas sont gérés. Au niveau matériel il n'est pas envisageable non plus d'utiliser des processeurs trop complexes et modernes que ce que tu as sur ton propre ordinateur.
Tu n'as le droit de programmer qu'avec un sous ensemble du langage C, du genre pas d'allocation dynamique, de nombreuses instructions sont interdites, etc. L'objectif étant d'apporter des garanties.
Donc tu ne peux pas y mettre des systèmes aussi complexes que Linux. En général tu vas plutôt faire du développement dit bare metal sur un petit microprocesseur qui ne gèrera pas grand chose pour respecter ces contraintes.
[^] # Re: Plusieurs serveurs en ligne...
Posté par Renault (site web personnel) . En réponse au journal JSON est dans les airs. Évalué à 10.
En DAL-A ou DAL-B les contraintes sont énormes. Tu dois démontrer que ton programme fait ce qui est attendu et que tous les cas sont gérés. Au niveau matériel il n'est pas envisageable non plus d'utiliser des processeurs trop complexes et modernes que ce que tu as sur ton propre ordinateur.
Tu n'as le droit de programmer qu'avec un sous ensemble du langage C, du genre pas d'allocation dynamique, de nombreuses instructions sont interdites, etc. L'objectif étant d'apporter des garanties.
Donc tu ne peux pas y mettre des systèmes aussi complexes que Linux. En général tu vas plutôt faire du développement dit bare metal sur un petit microprocesseur qui ne gèrera pas grand chose pour respecter ces contraintes.