[GAP] The GNAT-on-Mindstorms project

[Pierre Habraken]

Hello,

Please, could you re-send your mail in english ?

Pierre


Luigi Zaffalon wrote:
> Buongiorno Matteo,
> 
>   Effettivamente é una buona notizia (Franco me ne aveva parlato ad Ada 
> Europe 2008).
>   Disponiamo di NXT e dunque siamo interessati.
> 
>   Pertanto, avrei un ulteriore preferenza per la futura soluzione 
> Ada-only basata sul
>   "Ravenscar Profile", per via delle task Ada e delle synchro/comm 
> indette, etc.
>  
>   Piu globalemente, ci sono molte target basate su processori ARM, e 
> sarebbe molto
>   interessante disporre di una piattaforma di sviluppo Ada, in questo 
> contesto.
> 
>   Ringraziandovi, distinti saluti.
> 
>   Luigi
> 
> 
> 
> Matteo Bordin a écrit :
>> Dear GAP members,
>>
>> Last summer an intern at AdaCore offices in Paris, Piotr Piwko, worked 
>> on a port of GNAT to the Lego Mindstorms NXT platform. The goal of the 
>> GNAT-on-Mindstorms project is to provide an education-oriented 
>> development platform for high-integrity embedded systems using Ada.
>>
>> The developed technology relies on an implementation of the OSEK 
>> operating system: OSEK is an international standard for operating 
>> systems in the automotive domain. We are currently also considering an 
>> Ada-only version based on the Ravenscar Profile.
>>
>> You can find a presentation which summarizes the project, its technical 
>> goals and the expected benefits of use in an educational context at:
>>
>> https://www2.adacore.com/gnattracker2/contributions#Labs_Material
>>
>> (access to your GNAT Tracker account and go to the 
>> "Contribution/Laboratory Material" section).
>>
>> We are currently finalizing the technology and documentation. A video 
>> showing a working demo will be available soon.
>>
>> We are considering adding the GNAT-on-Mindstorms technology to the GAP 
>> program. Future enhancement of the technology will largely depend on 
>> community feedback, so please let us know how you would be interested in 
>> using Ada and Lego Mindstorms in your courses.
>>
>> Thanks in advance.
>>
>> Kind regards,
>>
>> Matteo Bordin
>> _______________________________________________
>> GAP mailing list
>> GAP at gnat.info
>> /no-more-mailman.html
>> To unsubscribe from this list, please contact the GAP GNAT Tracker administrator
>> within your organization.
>>   
> 
> _______________________________________________
> GAP mailing list
> GAP at gnat.info
> /no-more-mailman.html
> To unsubscribe from this list, please contact the GAP GNAT Tracker administrator
> within your organization.
> 


-- 
Pierre HABRAKEN - mailto:Pierre.Habraken at imag.fr
Tél: 04 76 63 59 94 - Fax: 04 76 51 47 93