Hello again, first I want to thank Tristan for his answer. I am a little further but I found new problems. The verification still concerns me because I can't create an ADELE-Diagram, every time I try it, I get an error-message (Unhandled event loop exception) so I'm stuck at this point. Does anybody know this problem or does anybody know somebody who knows how the verification runs? Then I have tried to solve this problem by using Topcased in Ubuntu (not Windows 7) but there I found a new problem. I set up a virtual machine with Ubuntu and download the latest version of Topcased, but I can't start it. I've followed the installation instructions, but I can't execute it. Then I tried to start it from a terminal, but here I get a message like "bash: ./eclipse: Kann die Datei nicht ausführen."(can't execute this data). I try this with with Ubuntu 9.10, Ubuntu 12.04, Ubuntu 14.04 and Debian 7.4.0 moreover I have tried several Topcased versions. I've tested version 5.3.1, version 5.3.0 and version 5.2.0.To solve this problem I load the Topcased version 4.30 and this version runs. Here I also able to create an ADELE-diagram but I still don't know what to do with it. Now I try to get the verification running in Ubuntu, but my problems still stay. I hope somebody can help me to fix this problems and I can continue my work and I am looking forward to hearing from you.
Best Regards Jacob Moschallski Von: [email protected] [mailto:[email protected]] Im Auftrag von Topcased user list where issues are discussed Gesendet: Freitag, 11. April 2014 15:40 An: [email protected] Betreff: Re: [Topcased-users] General support issues Hi Answers bellox De : [email protected]<mailto:[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]<mailto:[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
