New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
How to combine fret and cocosim to a fret-cocosim workflow? #35
Comments
Hello @marious123g, Thanks for reading our paper. If you have already installed CoCoSim (installation instructions: https://github.com/NASA-SW-VnV/CoCoSim/blob/master/INSTALL.md), here is a video demo with the steps that you need to follow on the CoCoSim side: https://drive.google.com/file/d/1wcM4dYThECuhDD7I_-mi9c3mQdjHYzSv/view?usp=sharing (this was part of our conference demo). I hope this is helpful. Anastasia |
Hello @anmavrid |
Hello @SoftPro, How did you install CoCoSim? I suggest using the latest release: https://github.com/NASA-SW-VnV/CoCoSim/releases/tag/v1.2 |
OK,thank you!
…---Original---
From: "Andreas ***@***.***>
Date: Thu, Dec 9, 2021 17:33 PM
To: ***@***.***>;
Cc: ***@***.******@***.***>;
Subject: Re: [NASA-SW-VnV/fret] How to combine fret and cocosim to afret-cocosim workflow? (Issue #35)
Hello @SoftPro,
How did you install CoCoSim? I suggest using the latest release: https://github.com/NASA-SW-VnV/CoCoSim/releases/tag/v1.2
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
|
Hello @andreaskatis |
Hi @SoftPro, Unfortunately I do not currently have access to the tool to try and replicate your issue. Are you sure that you are launching CoCoSim from the directory where 'start_cocosim.m' exists for version v1.2? If yes, can you try v1.1 and see if that works instead? https://github.com/NASA-SW-VnV/CoCoSim/releases/tag/v1.1 |
Hello @andreaskatis |
Hi @SoftPro, Okay, so the installation did not complete successfully. I assume that the error is popping up some time after trying to install using the 'install_cocosim' script under 'CoCoSim/scripts'. The error message mentions a log file 'bootstrap.log' under 'tools/build'. Can you please attach this file here? |
***@***.***
I will bootstrap Log file has been added to the attachment. I hope you can help solve the following problems. It seems to be the version of OPAM.
…------------------ 原始邮件 ------------------
发件人: "NASA-SW-VnV/fret" ***@***.***>;
发送时间: 2021年12月11日(星期六) 下午2:56
***@***.***>;
***@***.******@***.***>;
主题: Re: [NASA-SW-VnV/fret] How to combine fret and cocosim to a fret-cocosim workflow? (Issue #35)
Hi @SoftPro,
Okay, so the installation did not complete successfully. I assume that the error is popping up some time after trying to install using the 'install_cocosim' script under 'CoCoSim/scripts'.
The error message mentions a log file 'bootstrap.log' under 'tools/build'. Can you please attach this file here?
—
You are receiving this because you were mentioned.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.
|
Hi @SoftPro, I don't see any attachment in your reply, but if it is an issue with the opam version, I would suggest switching to v2.0.5, which is the one I use and know for sure it currently works. |
hello,@andreaskatis |
Hi @SoftPro, All I can guess at the moment is that you are are not starting CoCoSim properly. Please make sure that you follow the steps below :
Unfortunately, I cannot currently provide visual guidance in the form of screenshots, but the most important thing is to make sure that you have navigated into CoCoSim's home folder within the MATLAB file explorer, before starting CoCoSim. Can you confirm that you are performing the steps, but still see different options? If yes, did you also try using v1.1 after resolving the previous issues in this thread? |
Looking at the screenshot, it appears that when you run 'start_cocosim', the configuration step skips the part that synchronizes with the necessary remote repositories. This is probably happening because you are either running this on a machine without internet connection, or a connection that blocks direct access to github. In this case, you would have to complete the configuration manually. This can be done by looking at what the 'scripts/install_cocosim_lib.m' does to fetch and install dependencies, and perform each one of them manually. |
Hello,@andreaskatis |
Hello @SoftPro, The release comes with prebuilt binaries for external tools such as LustreC. The 'OSX' folder is not relevant to Linux installations. Instead, you should have prebuilt binaries under the 'linux' folder (it is at the same level as the 'OSX' folder). In any case, I cannot say for sure if the matlab version is the main culprit. I can say for sure that 2020b works, because this is the latest version I am using. You can try installing that and see if it works. Finally, since this is an issue with CoCoSim, and not FRET, I would suggest that we continue the discussion over at the CoCoSim Issues page: https://github.com/NASA-SW-VnV/CoCoSim/issues If possible, please create a new issue there so that we have all the relevant information within the CoCoSim repository. |
I am closing this issue since it is on the CoCoSim side and the discussion has been moved over to the CoCoSim repository. |
Hi, all. I've read the paper Bridging the Gap Between Requirements and Model Analysis and want to run an example of fret-cocosim workflow but I dont know how to combine them. Like how can I use the exported zip file? Is there any interface on the front-end in cocosim to import? I would appreciate it if there is any tutorial.
The text was updated successfully, but these errors were encountered: