Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000831Taste[All Projects] ASN.1 Compiler v4public2019-02-20 09:072024-03-20 13:23
Reportercavada@fbk.eu 
Assigned Tomaxime 
PrioritynormalSeverityminorReproducibilityhave not tried
StatusclosedResolutionfixed 
PlatformOSOS Version
Summary0000831:

Standard of generated C code

Description

Which standard is adopted in generated C code of ASN.1 compiler, for structures, encoding/decoding functions and runtime?

I think the question is important if generated code and runtime get involved in a certification process.

  • DO-178B?
  • EN 50128?
  • MISRA-C? (I think it is not compliant, although perhaps not far from being so)
  • ...?

I think this should be documented, if it is not yet.

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0003576)
maxime (administrator)
2019-02-20 09:28

We have not run yet any auditing tool to check for MISRA compliance. However that is our target standard. We follow all major rules for embedded systems (no malloc, no system calls..).
The code being emitted from templates, it is very easy to adapt if we find some MISRA rules are broken.

At the moment we are doing a major refactoring of the Ada runtime and code generation templates. We use Ada 2012 with SPARK contracts to prove the correctness of the code. We also run a static code analyzer (CodePeer) on the code and target zero warnings.

When this is completed we will perhaps try to have the C runtime aligned with Ada, to get the best code quality (and evaluate the possibility to emit Spark-equivalent contracts in C, with Frama-C). We also have several static code analyzers in our development processes (Polyspace, clang analyser, Infer, and others) and a large experience of use - we will run everything on the code.

(0003577)
cavada@fbk.eu (reporter)
2019-02-20 09:48

Thanks for the quick answer, and for the glace at the very promising future goals! Do you have also some rough time estimation for the ADA refactoring?

We are trying to target EN 50128 (Railways), which includes MISRA-C, so targeting MISRA-C would ensure full compliance.

We found a few issues, but further analysis is needed to identify the impacts.
Suspect is that the impact would be minor (style issues).

When the analysis is done, if somehow useful, we may provide you with the list of the identified issues.

(0003578)
maxime (administrator)
2019-02-20 09:52

Thanks, any help with MISRA reports and ways to improve the code is fully appreciated.

The Ada refactoring is progressing well and should be completed in the near future.


- Issue History
Date Modified Username Field Change
2019-02-20 09:07 cavada@fbk.eu New Issue
2019-02-20 09:28 maxime Note Added: 0003576
2019-02-20 09:48 cavada@fbk.eu Note Added: 0003577
2019-02-20 09:52 maxime Note Added: 0003578
2024-03-20 13:23 maxime Status

new => closed

2024-03-20 13:23 maxime Assigned To

=> maxime

2024-03-20 13:23 maxime Resolution

open => fixed



Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker