Re: [taste-users] asn1scc/tinyAsn1 and X.509

["Maxime Perrotin" <Maxime.Perrotin@xxxxxxx>]

Sure, here it is:

http://www.semantix.gr/asn1scc2/asn1Comp.tar.gz

We will release the source code (and documentation) a bit later on, when  
it is finalized.

In the meantime please feel free to ask if you need help to set it up and  
use it. And if you have comments or suggestions, don't hesitate.


Best regards
Maxime


On Thu, 27 Sep 2012 15:00:41 +0200, Adrian-Ken Rueegsegger  
<ken@xxxxxxxxxxx> wrote:

> Hello Maxime,
>
> Thank you for your quick reply.
>
> On 09/27/2012 02:41 PM, Maxime Perrotin wrote:
> > Dear Adrian,
> >
> > I checked with the compiler development team. It appears that if you  
> > look at the
> > latest version of the ASN.1 standard (which our compiler implements):
> > http://www.itu.int/rec/T-REC-X.680-200811-I , you will not find this  
> > construct
> > (ANY DEFINED BY).
> >
> > It seems that it was an extension of an old, temporary standard (X208):
>
> [snip]
>
> > So I would not recommend to use this construct, even if it is supported  
> > by some
> > tools.
>
> We will try to change the extracted ASN.1 specification from RFC 5280 to
> avoid that particular construct.
>
> > Note that if you are interested in the Ada backend, a newer version of  
> > the
> > compiler is available (but not officially released yet as we are still
> > conducting some tests on it) that generates SPARK Ada code for the  
> > types,
> > encoders and decoders. It has also more advanced capabilities for  
> > supporting
> > legacy encoding formats and automatically generating test cases and  
> > documentation.
>
> The Ada/SPARK code generation is the functionality we are interested in.
> Is there a way to use or test a pre-release of the newer version of the
> asn1scc tool?
>
> > You may be interested in reading the following paper for more  
> > information:
> > http://taste.tuxfamily.org/wiki/index.php?title=File:Erts2012_submission_27_ASN1Compiler.pdf
>
> I actually found the project via the paper. It sounds interesting and
> seems like it is the kind of tool we are looking for.
>
> Best regards,
> Adrian


--
ESA - European Space Agency

Maxime Perrotin
TASTE Project manager
PROBA V - PROBA 3 Software engineer

System, Software and Technology Department

ESTEC
Keplerlaan 1, PO Box 299
NL-2200 AG Noordiwjk, The Netherlands
maxime.perrotin@xxxxxxx | www.esa.int
+31 (0)71 565 4923 | Fax +31 (0)71 565 5420

This message and any attachments are intended for the use of the addressee or addressees only. The unauthorised disclosure, use, dissemination or copying (either in whole or in part) of its content is not permitted. If you received this message in error, please notify the sender and delete it from your system. Emails can be altered and their integrity cannot be guaranteed by the sender.

Please consider the environment before printing this email.