CONTRIBUTIONS TO THE SESAMO MODEL Sample Clauses

CONTRIBUTIONS TO THE SESAMO MODEL. BASED PERSPECTIVE FROM CHESS The generic SESAMO approach to joint security and safety modelling presents several challenges to the model-based engineering community:  Safety and security are both non-functional properties. Traditional modelling approaches have been very good at capturing functional properties, but much less attention has been paid to non-functional properties – not just safety and security, but any non-functional properties such as performance and real-time characteristics (which also greatly affect safety and security, as the work in WP2 and WP3 of SESAMO has highlighted).  The building blocks of SESAMO WP2, and to a great extent even the analysis methods of WP3, are intended to be reusable modelling artefacts. But traditional modelling approaches have placed little emphasis on the reusability of parts of models – often the concept of a “component” does not even exist in a modelling approach. There is a single model for the entire system and nothing else. But SESAMO needs the concept of a reusable modelling “component” that can be composed with others not only to form the overall system, but sometimes even the overall set of activities (e.g. different forms of trade-off analysis).  Although the SESAMO generic process is described as a “joint” process, upon close examination it is evident that it involves a sequence of modelling first from different points of view, in which there is a separation of concerns between safety and security aspects, followed by confrontation involving trade-off-analyses – after which the cycle of separated modelling concerns followed by analyses starts anew. Traditional modelling approaches generally provide little or no support for modelling from different points of view – there is a single model, made from a single point of view. (We are not speaking of “vertical” abstraction levels here, which are well-known, but rather “horizontal” slices of the model, which are much less commonly provided.) All of the issues described above must be addressed in order for the model-based perspective of SESAMO to be adequate to accommodate the generic process. The SESAMO solution to these issues is provided through the results of the CHESS (Composition with Guarantees for High- integrity Embedded Software Components Assembly) ARTEMIS JU Call 2008 project, aimed at developing solutions to property-preserving component assembly in real-time and dependable embedded systems [22]. In particular, CHESS promoted the adoption of C...
Sample 1
AutoNDA by SimpleDocs

Related to CONTRIBUTIONS TO THE SESAMO MODEL

  • CONTRIBUTIONS TO COMPANY WEBSITE Xxxxxxx.xxx may provide an area for our user and members to contribute feedback to our website. When you submit ideas, documents, suggestions and/or proposals ("Contributions") to our site, you acknowledge and agree that:

  • Distributions to the Borrower The Agent may (with the Borrower’s consent or in accordance with Clause 28 (Set-off)) apply any amount received by it for the Borrower in or towards payment (on the date and in the currency and funds of receipt) of any amount due from the Borrower under the Finance Documents or in or towards purchase of any amount of any currency to be so applied.

  • Distributions to Members Section 9.1

  • Catch-Up Contributions In the case of a Traditional IRA Owner who is age 50 or older by the close of the taxable year, the annual cash contribution limit is increased by $1,000 for any taxable year beginning in 2006 and years thereafter.

  • Allocation of Contributions You may place your contributions in one fund or in any combination of funds, although your employer may place restrictions on investment in certain funds.

  • When Can I Make Contributions You may make annual contributions to your Xxxx XXX any time up to and including the due date for filing your tax return for the year, not including extensions. You may continue to make regular contributions to your Xxxx XXX even after you attain RMD age. In addition, rollover contributions and transfers (to the extent permitted as discussed below) may be made at any time, regardless of your age.

  • Initial Contributions The Members initially shall contribute to the Company capital as described in Schedule 2 attached to this Agreement.

  • Contributions to Capital (a) The minimum initial Capital Contribution of each Limited Partner will be $100,000 or such other amount as the General Partner determines from time to time. The amount of the initial Capital Contribution of each Partner will be recorded by the Partnership upon acceptance as a contribution to the capital of the Partnership. Each Limited Partner’s entire initial Capital Contribution will be paid to the Partnership immediately prior to the Partnership’s acceptance of the Limited Partner’s subscription for Units, unless otherwise agreed by the Partnership and such Limited Partner. (b) The Limited Partners may make additional Capital Contributions effective as of those times and in amounts as the General Partner may permit, but no Limited Partner will be obligated to make any additional Capital Contribution except to the extent provided in Sections 5.4 and 5.5 of this Agreement. Each additional Capital Contribution made by a Limited Partner (other than a contribution made pursuant to Section 5.3 or Section 5.5 of this Agreement) will be in the minimum amount of $25,000 or such other amount as the General Partner determines from time to time. (c) A General Partner may make additional Capital Contributions effective as of those times and in such amounts as it determines, and will be required to make additional Capital Contributions from time to time to the extent necessary to maintain the balance of its Capital Account at an amount, if any, necessary to ensure that the Partnership will be treated as a Partnership for U.S. federal income tax purposes. Except as provided in this Section 5.1 or in the Delaware Act, no General Partner will be required or obligated to make any additional contributions to the capital of the Partnership. (d) Subject to the provisions of the 1940 Act, and except as otherwise permitted by the General Partner, (1) initial and any additional Capital Contributions by any Partner will be payable in cash or in Securities that the General Partner, in its absolute discretion, causes the Partnership to accept, and (2) initial and any additional Capital Contributions in cash will be payable in readily available funds at the date of the proposed acceptance of the contribution. The Partnership will charge each Partner making a Capital Contribution in Securities to the capital of the Partnership an amount as may be determined by the General Partner to reimburse the Partnership for any costs incurred by the Partnership by reason of accepting the Securities, and any charge will be due and payable by the contributing Partner in full at the time the Capital Contribution to which the charges relate is due. The value of contributed Securities will be determined in accordance with Section 7.3 of this Agreement as of the date of contribution. (e) An Advisor may make Capital Contributions and own Units in the Partnership and, in so doing, will become a Limited Partner with respect to the contributions. (f) The minimum initial and additional contributions set out in paragraphs (a) and (b) of this Section 5.1 may be increased or reduced by the General Partner from time to time. Reductions may be applied to all investors, individual investors or to classes of investors, in each case in the sole discretion of the General Partner.

  • Distribution of Financial Contribution The financial contribution of the Funding Authority to the Project shall be distributed by the Coordinator according to: - the Consortium Plan - the approval of reports by the Funding Authority, and - the provisions of payment in Section 7.3. A Party shall be funded only for its tasks carried out in accordance with the Consortium Plan.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!