Hi,
I had installed mrmc by doing unzip of mrmc_lin_v1.3.zip and by doing make all in the directory mrmc_lin_v1.3.zip
when doing make all I had obtained this message when making:
mrmc_tokenizer.c:1: warning: ISO C forbids an empty source file
make[1]: Leaving directory `/root/Desktop/mrmc_lin_v1.3/obj'
make: *** [lib] Error 2
and then going to bash command line and running ./bin/mrmc I obtain this meaasge:
bash cannot execute mrmc binary file
I don't know where is the problem, can you help me plz?
Thanks.
Diana
Hello,
I'm relatively new to MRMC. Is there an easy way of
a) extracting the lumped Markov chain generated by MRMC, and
b) computing a collection of steady state probability values ?
So that these results can be used in another tool/program.
Thanks in advance,
Sayan
--
Sayan Mitra
http://users.crhc.illinois.edu/mitras/
The original message was received at Sat, 10 May 2003 18:17:23 +0800 from lists.rwth-aachen.de [162.173.14.63]
----- The following addresses had permanent fatal errors -----
<mrmc-users(a)lists.rwth-aachen.de>
----- Transcript of the session follows -----
... while talking to 220.16.48.197:
>>> DATA
<<< 400-aturner; -RMS-E-CRE, ACP file create failed
<<< 400-aturner; -SYSTEM-F-EXDISKQUOTA, disk quota exceeded
<<< 400
Dear all,
It's time to define the future of MRMC and with this email I would
like to start a debate. The flexibility of the current MRMC codebase
is nearing its end (as expressed by Ivan), and for further growth, we
need to take up a vision. Professor Katoen supports this and
encourages external participation from interested parties.
I want to highlight the following issues in this discussion:
1. We need to define a target of users in which we operate. We should
be different. I think we should not try to compete against PRISM, but
look further and open up different areas. This is going to be a
difficult one. Related questions are: "in which research fields is
stochastic model checking interesting, but absent?", "for which
applications is stochastic verification desired, but absent?", "what
problems/inconveniences do users experience with the current MRMC?"
2. We need to define the feature set of a new MRMC that is suitable
for our target user. This is where our creativity comes :)
3. We need to define a global strategy that enables us to reach these
users effectively. That is, we need to know the key figures, what
their interests are, how they view tools and what they expect from
tools. Also helpful is to know to which conferences they publish and
what their key publications are.
4. We need to define a new architecture that can support this feature
set.
Also, to keep an overview in the discussion, I'll make sure that I'll
make an overview of the discussion so far from time to time.
Also, to define my role more clearly: within the ESA project I am
working, it is my first duty to apply techniques readily available. My
efforts will therefore mostly be about having bugs fixed in the MRMC
1.3 codebase. For the development of the future MRMC, a new HiWi can
be hired to do the job (though this might take some time because
finding a suitable one is not easy)
Start brainstorming! :)
Viet Yen
--
http://www-i2.cs.rwth-aachen.de/~nguyen