Hi Answers bellox De : [email protected] [mailto:[email protected]] De la part de Topcased user list where issues are discussed Envoyé : lundi 7 avril 2014 16:24 À : [email protected] Objet : [Topcased-users] General support issues
Dear Sir or Madam, My name is Jacob Moschallski and I am studying computer science at University of Furtwangen in Germany. At the moment I am writing my bachelor thesis on evaluation of the Topcased tool chain. I've edited all the tutorials I could find but I still do not really understand it at all. Therefore I have the following questions: 1. Is there a complete example project (not only parts of a project)? [Tristan FAURE] There is the watch project, did you try it ? http://gforge.enseeiht.fr/docman/view.php/20/4541/Watch+%28SysML%29_TPC_5.0.0.zip 1. Is there a description, which explains the whole process of creating a Topcased Project? [Tristan FAURE] The document tutorial should contain this http://gforge.enseeiht.fr/docman/view.php/7/4702/TPC_5.2.0_QuickStart_editor_tutorial-ForPapyrus.pdf 1. Do already TOPCASED evaluations exist? [Tristan FAURE] Yes but I don't have the content of them, maybe some people on the list can answer you 1. How the verification runs exactly from SysML model to Tina toolbox? [Tristan FAURE] I don't have answers about it, maybe you should contact tina team directly I hope you can support me in my work and I am looking forward to hear from you. [Tristan FAURE] No problem, feel free to ask, I also recommend you to take a look on Polarsys (http://www.polarsys.org) which will contain future updates of some TOPCAS Any kind of help is welcome to me. Best Regards [Tristan FAURE] Regards Jacob Moschallski ________________________________ 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.
_______________________________________________ Topcased-users mailing list [email protected] http://lists.gforge.enseeiht.fr/cgi-bin/mailman/listinfo/topcased-users
