Dear PolarSys members,
AtoS has an opportunity to develop a transformation tool (API) between OCL rules and ACSL (language to formalize pre and post conditions in C Code annotations). The idea is to define some static rules at the modelling
stage and then use FRAMA-C tooling to check those rules (translated in ACSL) on C code.
This tool will be open with EPL license.
We now have to choose a forge to host it and we thought that it would be a good opportunity to put it in PolarSys.
But we first need a PolarSys project to attach this small contribution.
Any idea?
Help would be appreciated for the process and to define the proposal.
Thanks
raphaël
Ce message et les pièces jointes sont confidentiels et réservés à l'usage exclusif de ses destinataires. Il peut également être protégé par le secret professionnel. Si vous recevez ce message par
erreur, merci d'en avertir immédiatement l'expéditeur et de le détruire. L'intégrité du message ne pouvant être assurée sur Internet, la responsabilité du groupe Atos ne pourra être engagée quant au contenu de ce message. Bien que les meilleurs efforts soient
faits pour maintenir cette transmission exempte de tout virus, l'expéditeur ne donne aucune garantie à cet égard et sa responsabilité ne saurait être engagée pour tout dommage résultant d'un virus transmis.
This e-mail and the documents attached are confidential and intended solely for the addressee; it may also be privileged. If you receive this e-mail in error, please notify the sender immediately and destroy it. As its integrity cannot be secured on the Internet,
the Atos group liability cannot be triggered for the message content. Although the sender endeavors to maintain a computer virus-free network, the sender does not warrant that this transmission is virus-free and will not be liable for any damages resulting
from any virus transmitted.
|