AOCS Modeling by SSF Sample Clauses

AOCS Modeling by SSF. The used AOCS specification [RD11] is an executable formal specification for “DEPLOY Satellite” in the form of Ada source code files. The decision to use a programming language as a specification language in the WP3 AOCS pilot was based on the desire to express algorithmic aspects unambiguously and to have an easy way to simulate a specification. Though the above Section 2.2 itself inevitably forms some kind of a specification for the AOCS, the WP3 team prefers to think that Section 2.2 is just a rough description of certain easy-to-describe features of the AOCS. The specification [RD11] essentially consists of four Ada packages, i.e. AocsMgr, FdirMgr, ModeMgr and UnitMgr that correspond to the AOCS Manager, the FDIR Manager, the Mode Manager and the Unit Manager described in Section 2.2. Each one of these packages has its own Main procedure. For a program produced by a compiler from the source code, a run-time call stack of the program contains always at most one and almost always at least one of those four Main procedures. This property corresponds to the sequential nature of the AOCS cycle described in Section 2.2. Let us then consider the Event-B project DepSatSpec015Model000 [RD12] that is a model of the specification [RD11]. In the model, essentially every event represents one or more source code statements in such a way that a single execution of the event corresponds to a single execution of one of the represented statements. DepSatSpec015Model000 fully models the non-debugging non-comment source code of [RD11] but contains only a few of the “behavioral invariants” that are discounted in comments and in debugging source code in [RD11]. Most of the discounted “behavioral invariants” are assertions concerning specific execution points. An Event-B proof for such an assertion typically requires auxiliary invariants where execution points are explicitly mentioned. The machines in DepSatSpec015Model000 are as follows where every machine except the first one refines the previous machine. By a “value binding statement” we mean any assignment statement, function call statement, return statement or parameter-passing procedure call statement. • ManagersMachine describes the systems execution cycle that is simply an infinite repetition of the call sequence “AocsMgr.Main; FdirMgr.Main; ModeMgr.Main; UnitMgr:Main;”. • FocusOnVariablesUpdatedByManyMgrs describes every value binding statement that is reachable from more than one Main procedure. For each such state...
AutoNDA by SimpleDocs

Related to AOCS Modeling by SSF

  • Alternate Work Schedules Workweeks and work shifts of different numbers of hours may be established for overtime-eligible employees by the Employer in order to meet business and customer service needs, as long as the alternate work schedules meet federal and state law. When there is a holiday, employees may be required to switch from their alternate work schedules to regular work schedules.

  • Technical Standards Applicable to a Wind Generating Plant i. Low Voltage Ride-Through (LVRT) Capability A wind generating plant shall be able to remain online during voltage disturbances up to the time periods and associated voltage levels set forth in the standard below. The LVRT standard provides for a transition period standard and a post-transition period standard.

  • LIMITATIONS ON REVERSE ENGINEERING, DECOMPILATION AND DISASSEMBLY You may not reverse engineer, decompile, or disassemble the Software, except and only to the extent that such activity is expressly permitted by applicable law notwithstanding this limitation.

  • Alternate Work Schedule An alternate work schedule is any work schedule where an employee is regularly scheduled to work five (5) days per week, but the employee’s regularly scheduled two (2) days off are NOT Saturday and Sunday.

  • Flexible Work Schedules (a) Academic Professional staff members throughout the University may have, as indicated below, flexible work schedules. For example, Academic Professionals often travel on University business and/or work evenings and weekends. A flexible work schedule is defined as having established working hours different from the standard 8:00 a.m. to 5:00 p.m. Monday through Friday schedule, to be followed by an employee for an agreed upon period of time.

  • Flexible Work Schedule A flexible work schedule is any schedule that is not a regular, alternate, 9/80, or 4/10 work schedule and where the employee is not scheduled to work more than 40 hours in the "workweek" as defined in Subsections F. and H., below.

  • Basis of compilation This statement of eligible expenditure has been prepared to meet the requirements of the grant agreement between [enter Grantee name] and the Commonwealth represented by the Department of Industry, Science, Energy and Resources. Significant accounting policies applied in the compilation of the statement of grant income and expenditure include the following: [enter details] Certification by directors [if not director, replace with appropriate equivalent] [Grantee name] [Project number] For the period [dd/ mm/yyyy] to [dd/ mm/yyyy] We confirm that, to the best of our knowledge and believe, having made such enquiries as we considered necessary for the purpose of appropriately informing ourselves: Statement of grant income and expenditure We have fulfilled our responsibilities for the preparation of the statement of grant income and expenditure in accordance with the cash basis of accounting and the terms of the grant agreement with the Commonwealth, represented by the Department of Industry, Science, Energy and Resources dated [enter date]; in particular, the statement of grant income and expenditure presents fairly in accordance therewith. All events subsequent to the date of the statement of grant income and expenditure which require adjustment or disclosure so as to present fairly the statement of grant income and expenditure, have been adjusted or disclosed. [Where applicable] The effects of uncorrected misstatements are immaterial, both individually and in the aggregate, to the statement of grant income and expenditure as a whole. A list of the uncorrected misstatements is attached to this representation letter. That all Grantee contributions and other financial assistance were spent for the purpose of the project and in accordance with the grant agreement and that the Grantee has complied with the grant agreement and relevant accounting policies. That salaries and allowances paid to persons involved in the project are in accordance with any applicable award or agreement in force under any relevant law on industrial or workplace relations. Signature Name [enter name] Director Date [dd/mm/yyyy] Signature Name [enter name] Director Date [dd/mm/yyyy] For Auditor use only I certify that this statement of grant income and expenditure is the one used to prepare my independent audit report dated [enter date] for the Department of Industry, Science, Energy and Resources. Signature Name [enter name] Position [enter position] Auditor’s employer [enter employer name] Date [dd/mm/yyyy] Attachment B - Independent audit report Background for auditors The purpose of the independent audit report is to provide us with an auditor's opinion on the Grantee’s statement of grant income and expenditure. The statement of grant income and expenditure is prepared by the Grantee to correspond with the expenditure reported to the department by the Grantee for the same period, in the process of claiming grant payments. The independent audit report must be prepared by a person who is an approved auditor. An approved auditor is a person who is: registered as a company auditor under the Corporations Xxx 0000 or an appropriately qualified member of Chartered Accountants Australia and New Zealand, or of CPA Australia or the Institute of Public Accountants; and not a principal, member, shareholder, officer, agent, subcontractor or employee of the Grantee or of a related body corporate or a Connected Entity. The audit should be undertaken and reported in accordance with Australian Auditing Standards. The independent audit report must follow the required format and include any qualification regarding the matters on which the auditor provides an opinion. We may follow up any qualifications with the Grantee or auditor. The independent audit report must be submitted on the auditor's letterhead. Auditors must comply with the professional requirements of Chartered Accountants Australia and New Zealand, CPA Australia and the Institute of Public Accountants in the conduct of their audit. If the auditor forms an opinion that the statement of grant income and expenditure does not give a true and fair view of the eligible expenditure for the period, the independent audit report should be qualified and the error quantified in the qualification section of the independent audit report. The required independent audit report format follows. Auditor’s report Independent audit report in relation to [Grantee name]’s statement of grant income and expenditure to the Commonwealth, represented by the Department of Industry, Science, Energy and Resources (the department). We have audited: the accompanying statement of grant income and expenditure of [Grantee name] for the period [dd/mm/yyyy] to [dd/mm/yyyy], a summary of significant accounting policies and other explanatory information, and management’s attestation statement thereon (together “the financial statement”). The financial statement has been prepared by management using the cash basis of accounting described in note 3.2 to the financial statement; and [Grantee name]'s compliance with the terms of the grant agreement between [Grantee name] and the Commonwealth dated [date of agreement] for the period [dd/mm/yyyy] to [dd/mm/yyyy] (the grant agreement). We have: reviewed [Grantee name]’s statement of labour costs in support of its claim of eligible expenditure[; and performed limited assurance procedures on [Grantee name]’s statement of employee numbers under the grant agreement]. Management’s responsibility Management is responsible for: the preparation and fair presentation of the financial statement in accordance with the basis of accounting described in note 3.2, this includes determining that the cash basis of accounting is an acceptable basis for the preparation of the financial statement in accordance with the grant agreement; compliance with the terms of the grant agreement; the preparation of the statement of employee numbers and labour costs in support of eligible expenditure; and such internal control as management determines is necessary to: enable the preparation of the financial statement and the statement of [employee numbers and ]labour costs that are free from material misstatement, whether due to fraud or error; and enable compliance with the terms of the grant agreement. Auditor’s responsibility Our responsibilities are: To express an opinion, based on our audit, on: the financial statement; and [Grantee name]’s compliance, in all material respects, with the terms of the grant agreement; and To conclude based on: our review procedures, on the statement of labour costs; and our limited assurance procedures on the statement of employee numbers. We conducted our audit of the financial statement in accordance with Australian Auditing Standards; our audit of compliance with the grant agreement in accordance with ASAE 3100, our review of the statement of labour costs in accordance with ASRE 2405[; and our limited assurance procedures on employee numbers in accordance with ASAE 3000]. The applicable Standards require that we comply with relevant ethical requirements and plan and perform our work to: obtain reasonable assurance about whether the financial statement is free from material misstatement and that [Grantee name] has complied, in all material respects, with the terms of the grant agreement; and obtain limited assurance as to whether anything has come to our attention that causes us to believe that the statements of employee numbers and labour costs are materially misstated. An audit involves performing procedures to obtain audit evidence about the amounts and disclosures in the financial statement and about the Grantee’s compliance with the grant agreement. The procedures selected depend on the auditor’s judgement, including the assessment of the risks of material misstatement of the financial statement, whether due to fraud or error. In making those risk assessments, the auditor considers internal control relevant to the Grantee’s preparation and fair presentation of the financial statement, and to the Grantee’s compliance with the grant agreement, in order to design audit procedures that are appropriate in the circumstances, but not for the purpose of expressing an opinion on the effectiveness of the Grantee’s internal control. An audit also includes evaluating the appropriateness of accounting policies used by management, as well as evaluating the overall presentation of the financial statement.

  • CONTRACTOR’S SUBMISSION OF CONTRACT MODIFICATIONS In connection with any Contract modification, OGS reserves the right to:  request additional information  reject Contract modifications  remove Products from Contract modification requests  request additional discounts for new or existing Products

  • Selection of Subcontractors, Procurement of Materials and Leasing of Equipment The contractor shall not discriminate on the grounds of race, color, religion, sex, national origin, age or disability in the selection and retention of subcontractors, including procurement of materials and leases of equipment. The contractor shall take all necessary and reasonable steps to ensure nondiscrimination in the administration of this contract.

  • Alternative Work Schedule An alternate forty (40) hour work schedule (other than five (5) uniform and consecutive eight (8) hour days in a seven (7) day period), or for hospital personnel an eighty (80) hour workweek in a fourteen (14) day period and other mutually agreed upon schedules that comply with applicable federal and state law. Employee work schedules normally include two (2) consecutive days off.

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