首页>
外国专利>
COMPUTER IMPLEMENTING METHOD OF VERIFYING THE INTEGRITY OF A SPECIFICATION OF A COMPLEX SYSTEM, AND ASSOCIATED VERIFICATION SYSTEM
COMPUTER IMPLEMENTING METHOD OF VERIFYING THE INTEGRITY OF A SPECIFICATION OF A COMPLEX SYSTEM, AND ASSOCIATED VERIFICATION SYSTEM
展开▼
机译:验证复杂系统规格完整性的计算机实现方法及相关验证系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
The method comprises the following steps: providing a plurality of activities (A1 to A5) suitable for execution by the complex system (60) and an activity execution hierarchy (A1 to A5); the method being characterized by the following steps: - providing a plurality of functional actors (66, 68) units, each unit functional unit being able to perform at least one activity (A1 to A5); associating, with each defined activity (A1 to A5), at least one identification attribute of the functional actor dedicated to performing the activity (A1 to A5), at least one attribute of hierarchical characterization of the activity (A1 to A5) in the execution hierarchy, and at least one quality of service attribute of the activity (A1 to A5) and / or quality of service of data required or generated by the activity (A1 to A5); - checking the integrity of the complex system (60) on the basis of at least one attribute associated with each activity (A1 to A5) in the association step.
展开▼