Dear Hulianya,
With regard to your example, the problem lies that there is no communication partner for the warning event. Hence, the transition is disabled.
Secondly, the COMPASS toolset is only available for use within the ESA member states (members of the European Space Agency). Any use outside those states is **prohibited** unless a special agreement is setup. Your university (neither any institution in China) has no agreement with us for use of the COMPASS toolset so far.
You are sincerely requested to remove the COMPASS distribution from your systems. You may apply for a technology transfer license. This process takes a few months and requires approval from the ESA Technology Transfer Board and the COMPASS consortium.
Our slides and publications from our website can be viewed and studied outside ESA member states. You can find them on http://compass.informatik.rwth-aachen.de/publications.html
Viet Yen
On 26 apr. 2013, at 06:23, Hulianya hulianya@yahoo.com.cn wrote:
hello, I am a student from Harbin Institute of Technology in China, and I got some problems I have beeing study your Compass Toolset recently, and I got the version compass 20110610 , and I write a small test with slim language. however , I can't get results that I want.
The test is
system sensor features warning: out event port; switch: in event port; end sensor;
system implementation sensor.Impl subcomponents power: data real default 6.0; modes Off: activation mode; On: mode; transitions Off -[switch]-> On; On -[then power := power*0.8]-> On; On -[warning when power <= 0.5]-> Off; end sensor.Impl;
The result is that when I simulate the test in tab correctness, on the step 16, the mode should have changed to Off, But it didn't. That's what's the problem is.
I will be very grateful for your help;
Another questions is why when I use examples in compass-mannual ,the toolset gives some sytanx wrongs, which occurs on the variable energy’
姓名：胡连亚 学院：计算机科学与技术学院 联系电话：18945015506
COMPASS-support mailing list COMPASS-support@lists.rwth-aachen.de http://mailman.rwth-aachen.de/mailman/listinfo/compass-support