Experience at SSF Sample Clauses

Experience at SSF. A modularisation plug-­‐in experiment on BepiColombo SIXS/MIXS OBSW requirements was carried out at SSF in August – September 2010 and was focused on a few of the requirements that had been considered in the non-­‐modular experiments reported by [RD5]. The original goals of the experiment were as follows: • Systematic isolation of activity details and related conditions to modules in such a way that the machines using the modules do not replicate much of what is expressed inside the modules. • Precision of descriptions of the considered behaviour about as accurate as in the most detailed available non-­‐modular Event-­‐B model. • Avoidance of massive atomic activities. Long chains of atomic activities do realistically model concurrency. • To deal with “module integration invariants”. Such an invariant refers to variables of more than one module. • Reasonable total proof effort (including time spent in “iterative optimisation”) without compromising the above goals. The final Event-­‐B project [RD24] of the experiment can be understood to sufficiently meet all the above-­‐mentioned goals, except possibly the proof effort reasonability goal. However, the proof effort was to a certain extent more reasonable than in some earlier Rodin Platform experiments. Much time in the experiment got spent in recognition and circumvention of bugs and dealing with other undesirable features. The problems that were reported during the experiment (see [RD22] and [RD23]) have been solved in later releases of the plug-­‐in. Since October 2010, the plug-­‐in has been in a good shape w.r.t. the features used in the experiment. In particular, usage of the platform in the modular experiment was not dominated by memory-­‐consumption-­‐based non-­‐response phenomena. By following certain modelling conventions it is possible to significantly improve the usability of modularisation plug-­‐in. The conventions are summarized below: -­‐ Avoiding very large and complicated operation post conditions, especially involving existential quantifiers to simplify proofs. In general, complex post conditions can be simplified by introducing additional module variables and invariant properties on these variables -­‐ Refraining from using operation calls to model returned exceptions. To achieve the same effect one might strengthen preconditions of calling events by checking external module variables. Rather than using returned composite values, which can include the status indicating success or a parti...
View Source

Related to Experience at SSF

  • Experience Credit a. For the purpose of this article, a teacher teaching on call (TTOC) shall be credited with one (1) day of experience for each full-time equivalent day worked. b. One hundred seventy (170) full-time equivalent days credited shall equal one (1) year of experience.

  • Experience Pay An employee hired by the Hospital with recent and related experience, may claim, at the time of hiring on a form supplied by the Hospital consideration for such experience. Any such claim shall be accompanied by verification of previously related experience. The Hospital shall then evaluate such experience during the probationary period. Where, in the Hospital's opinion such experience is relevant, the employee shall be slotted in that step of the wage progression consistent with one (1) year's service for every one (1) year of related experience in the classification on the completion of the employee's probationary period. It is understood and agreed that this shall not constitute a violation of the wage schedule of the Collective Agreement.

  • Experience of Such Purchaser Such Purchaser, either alone or together with its representatives, has such knowledge, sophistication and experience in business and financial matters so as to be capable of evaluating the merits and risks of the prospective investment in the Securities, and has so evaluated the merits and risks of such investment. Such Purchaser is able to bear the economic risk of an investment in the Securities and, at the present time, is able to afford a complete loss of such investment.

  • Persons Having Access to Assets of the Fund (a) No trustee or agent of the Fund, and no officer, director, employee or agent of the Fund's investment adviser, of any sub-investment adviser of the Fund, or of the Fund's administrator, shall have physical access to the assets of the Fund held by the Custodian or be authorized or permitted to withdraw any investments of the Fund, nor shall the Custodian deliver any assets of the Fund to any such person. No officer, director, employee or agent of the Custodian who holds any similar position with the Fund's investment adviser, with any sub-investment adviser of the Fund or with the Fund's administrator shall have access to the assets of the Fund. (b) Nothing in this Section 5 shall prohibit any duly authorized officer, employee or agent of the Fund, or any duly authorized officer, director, employee or agent of the investment adviser, of any sub-investment adviser of the Fund or of the Fund's administrator, from giving Instructions to the Custodian or executing a Certificate so long as it does not result in delivery of or access to assets of the Fund prohibited by paragraph (a) of this Section 5.

  • Happen After We Receive Your Letter When we receive your letter, we must do two things: