From: ttsiodras@gmail.com
Subject: Re: ANN: Ada/SPARK ASN.1 implementation version 0.0.01
Date: Wed, 3 Aug 2016 00:13:56 -0700 (PDT)
Date: 2016-08-03T00:13:56-07:00 [thread overview]
Message-ID: <c6f73d24-bc19-47c8-81e1-f605269ba4f6@googlegroups.com> (raw)
In-Reply-To: <5a686bf2-3af8-489b-b66b-dccbbaa4cdcb@googlegroups.com>
The project contract has just been signed, and will kickoff after the summer vacations. The expected duration of the work is 12 months, with development done in the open (in a branch on the GitHub repo).
Based on past experiences, we anticipare working versions (i.e. with SPARK 2014 support) a lot sooner than 12 months.
Feel free to chime in with tickets/comments - we welcome your feedback.
Kind regards,
Thanassis.
On Tuesday, August 2, 2016 at 8:47:59 PM UTC+2, p....@orange.fr wrote:
> Hello,
>
> By when do you plan to upgrade to SPARK 2014?
>
> Thanks, Pascal.
>
> Le mardi 2 août 2016 11:01:19 UTC+2, ttsi...@gmail.com a écrit :
> > On Monday, August 1, 2016 at 10:15:23 AM UTC+2, Shark8 wrote:
> > > I'm making public my ASN.1 project which aims to be a verified implementation of ASN.1, which is used in security-certificates, which is hopefully the first step in a verified-TLS/-TLS -- the project also aims to be [directly] usable in DSA projects.
> > >
> > > As of 0.0.01 the only portion implemented is a pure big-number package, and another currently shared-passive unit for usability.
> > >
> > > I would certainly appropriate comments, criticism, and most especially contributions.
> >
> > I am not sure if it can be used with the TLS ASN.1 grammar - but I think it's worth checking out our own open-source ASN.1 compiler, targetting both C and Spark/Ada (developed under the auspices of the European Space Agency, so targeting the same kind of safety-critical targets you probably have in mind).
> >
> > The compiler is here:
> >
> > https://github.com/ttsiodras/asn1scc
> >
> > And a crash-course in using it is here:
> >
> > https://www.thanassis.space/asn1.html
> >
> > Note also that a new project has just started that will add support for Spark 2014.
> >
> > Kind regards,
> > Thanassis Tsiodras, Dr.-Ing.
> > Real-time Embedded Software Engineer
> > System, Software and Technology Department
> >
> > European Space Agency
> > ESTEC - Keplerlaan 1, PO Box 299
> > NL-2200 AG Noordwijk, The Netherlands
prev parent reply other threads:[~2016-08-03 7:13 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-08-01 8:15 ANN: Ada/SPARK ASN.1 implementation version 0.0.01 Shark8
2016-08-01 8:16 ` Shark8
2016-08-01 8:51 ` Dmitry A. Kazakov
2016-08-01 16:18 ` Shark8
2016-08-01 18:37 ` Dmitry A. Kazakov
2016-08-01 19:47 ` Jeffrey R. Carter
2016-08-01 21:55 ` Shark8
2016-08-01 22:14 ` Randy Brukardt
2016-08-01 23:46 ` Shark8
2016-08-01 23:42 ` Jeffrey R. Carter
2016-08-01 23:53 ` Shark8
2016-08-02 0:29 ` Jeffrey R. Carter
2016-08-02 9:01 ` ttsiodras
2016-08-02 18:47 ` p.p11
2016-08-03 7:13 ` ttsiodras [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox