Modelling Activities in the Development Process Sample Clauses

Modelling Activities in the Development Process. 4.2.1. Modelling of BepiColombo SIXS/MIXS OBSW Requirements In the WP3 pilot deployment (see [RD5]), SSF created Event-B models for a considerable subset of requirements of the OBSW, with focus on handling of telecommands and on production of telemetry packets, i.e., on application of PUS (Packet Utilisation Standard, see [RD1]). While modelling in Event-B we had to clarify certain requirements. As a result of spotting certain ambiguities the requirements were changed. Though it is hard to assess whether the thorough requirements inspection would have had the same impact, we can certainly say that DEPLOY has facilitated requirements engineering of the OBSW. After the initial modelling several other modelling attempts were undertaken (see [RD6]). At that phase, no new requirement was modelled and no feedback to requirement authors got produced. Instead, the focus was on trying to construct better models by utilising the modular and decompositional extensions (see [RD7]) of the Event-B language. Modelling with the modular extension was done by SSF, whereas modelling with the decompositional extension was done by Southampton. The work on the modular modelling produced a useful tool feedback that allowed the developers to improve the tools as well as analyse different approaches to using modularisation in Event-B development. Development of OBSW has demonstrated that for some systems modelling of dynamic behaviour poses the main challenge. For instance, OBSW does not have complex safety constraints represented by the corresponding invariants. This was not surprising for modellers at SSF because a typical software requirement expresses what the software should do in a given situation. Events alone suffice for modelling such requirements. Invariant-like higher-level requirements may exist but may consider equipment in a way that the implications to the software are “shallow” or too abstract or beyond the scope of software requirements. Formal modelling of the systems similar to OBSW should be more focused on reasoning about liveness-type of properties. For instance, at the second phase of the project we have experimented with using UPPAAL tool to analyse dynamic behaviour and timing aspects of OBSW. Modelling of Attitude and Orbit Control Systems For the enhanced deployment phase, SSF has decided to experiment with a system that has a richer set of safety properties. The requirements for the case study were written in the Ada programming language. In that way, a...
Sample 1
AutoNDA by SimpleDocs

Related to Modelling Activities in the Development Process

  • Proposing Integration Activities in the Planning Submission No integration activity described in section 6.3 may be proposed in a CAPS unless the LHIN has consented, in writing, to its inclusion pursuant to the process set out in section 6.3(b).

  • Professional Development Activities Professional development activities are activities initiated by individual faculty members or groups of faculty members and may include attendance at conferences, workshops or seminars which facilitate the following:

  • Professional Development Program (a) The parties agree to continue a Professional Development Program for the maintenance and development of the faculty members' professional competence and effectiveness. It is agreed that maintenance of currency of subject knowledge, the improvement of performance of faculty duties, and the maintenance and improvement of professional competence, including instructional skills, are the primary professional development activities of faculty members.

  • Marketing Activities The Borrower will not, and will not permit any of its Subsidiaries to, engage in marketing activities for any Hydrocarbons or enter into any contracts related thereto other than (i) contracts for the sale of Hydrocarbons scheduled or reasonably estimated to be produced from their proved Oil and Gas Properties during the period of such contract, (ii) contracts for the sale of Hydrocarbons scheduled or reasonably estimated to be produced from proved Oil and Gas Properties of third parties during the period of such contract associated with the Oil and Gas Properties of the Borrower and its Subsidiaries that the Borrower or one of its Subsidiaries has the right to market pursuant to joint operating agreements, unitization agreements or other similar contracts that are usual and customary in the oil and gas business and (iii) other contracts for the purchase and/or sale of Hydrocarbons of third parties (A) which have generally offsetting provisions (i.e. corresponding pricing mechanics, delivery dates and points and volumes) such that no “position” is taken and (B) for which appropriate credit support has been taken to alleviate the material credit risks of the counterparty thereto.

  • DEVELOPMENT OR ASSISTANCE IN DEVELOPMENT OF SPECIFICATIONS REQUIREMENTS/ STATEMENTS OF WORK Firms and/or individuals that assisted in the development or drafting of the specifications, requirements, statements of work, or solicitation documents contained herein are excluded from competing for this solicitation. This shall not be applicable to firms and/or individuals providing responses to a publicly posted Request for Information (RFI) associated with a solicitation.

  • Program Development NWESD agrees that priority in the development of new applications services by XXXXX shall be in accordance with the expressed direction of the XXXXX Board of Directors operating under their bylaws.

  • Design Development Phase Services 3.3.1 Based on the Owner’s approval of the Schematic Design Documents, and on the Owner’s authorization of any adjustments in the Project requirements and the budget for the Cost of the Work, the Architect shall prepare Design Development Documents for the Owner’s approval. The Design Development Documents shall illustrate and describe the development of the approved Schematic Design Documents and shall consist of drawings and other documents including plans, sections, elevations, typical construction details, and diagrammatic layouts of building systems to fix and describe the size and character of the Project as to architectural, structural, mechanical and electrical systems, and other appropriate elements. The Design Development Documents shall also include outline specifications that identify major materials and systems and establish, in general, their quality levels.

  • Professional Development Plan Professional Development Plan (PDP) refers to plans developed by faculty members addressing the criteria contained in Article 22 and Appendix G.

  • Development Activities The Development activities referred to in item “b” of paragraph 3.1 include: studies and projects of implementation of the Production facilities; drilling and completion of the Producing and injection xxxxx; and installation of equipment and vessels for extraction, collection, Treatment, storage, and transfer of Oil and Gas. The installation referred to in item “c” includes, but is not limited to, offshore platforms, pipelines, Oil and Gas Treatment plants, equipment and facilities for measurement of the inspected Production, wellhead equipment, production pipes, flow lines, tanks, and other facilities exclusively intended for extraction, as well as oil and gas pipelines for Production Outflow and their respective compressor and pumping stations.

  • PROFESSIONAL DEVELOPMENT AND EDUCATIONAL IMPROVEMENT A. The Board agrees to implement the following:

Time is Money Join Law Insider Premium to draft better contracts faster.