[GAP] The GNAT-on-Mindstorms project

[Luigi Zaffalon]

Hello,

  Oups, My apologies.

  Concerning:  The GNAT-on-Mindstorms project ...


  This is a good news (Franco Gasperoni told me about this project
  during Ada-Europe 2008). We have used NXT robots and, obviously, we 
are interested.

  But, we have too a interest for an Ada-only version based on
  "Ravenscar Profile", more appropriate for teaching tasks, protected 
objects
  and Ravenscar of course.
 
  More generally, there are a lot of developments based on ARM targets 
processors
  and it would be very interesting to have have a suitable environment...

  Thanks for your work, best regards.

  Luigi


Pierre Habraken a écrit :
> 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.
>>
>
>