FORMATION OF REQUIREMENTS FOR THE DESIGN PROCESS OF SECURE CYBER-PHYSICAL SYSTEMS
Annotation
An approach to formation of requirements for the design process of secure cyber-physical systems is described. This approach covers one of the stages of the design and verification methodology for such systems. During this stage, the customer's wishes are transformed into specific requirements and constraints, which determines the design process. The transformation is performed based on the formed knowledge base. As an example of the approach application, the process of forming requirements for the design of a mobile robot for an object perimeter monitoring is presented.
Keywords
Постоянный URL
Articles in current issue
- METHODOLOGICAL AND METHODICAL BASES FOR CREATING AND USING INTEGRATED SYSTEMS OF DECISION-MAKING SUPPORT
- SOFTWARE AND MATHEMATICAL SUPPORT FOR COMPLEX OBJECTS MODERNIZATION
- FUZZY-PROBABILISTIC APPROACH TO FORMALIZING AND USING EXPERT KNOWLEDGE TO EVALUATE COMPLEX OBJECTS STATES
- METHOD FOR CONDUCTING SYNERGETIC OBSERVATIONS OF PROCESSES ON BOARD A SPACECRAFT
- INVESTIGATION OF STREAM CLUSTERING ALGORITHMS WHEN SOLVING THE PROBLEM OF SMALL SPACECRAFT TELEMETRY DATA ANALYSIS
- TECHNOLOGY OF AUTOMATED INFORMATION AND ANALYTICAL SUPPORT OF THE PRODUCT LIFE CYCLE ON THE EXAMPLE OF UNIFIED VIRTUAL ELECTRONIC PASSPORT OF SPACE FACILITIES
- VARIANT OF INFORMATION AND COMMUNICATION INFRASTRUCTURE BASED ON A CONTENT-CONTROLLED NETWORK
- COMPARATIVE STUDY OF NEURAL NETWORK ARCHITECTURES FOR INTEGRATED SPEECH RECOGNITION SYSTEM
- AUTOMATION OF LEGAL EXPERTISE OF AGREEMENT TEXTS
- FORMATION OF REQUIREMENTS FOR THE DESIGN PROCESS OF SECURE CYBER-PHYSICAL SYSTEMS
- EFFECTIVENESS OF DATA VISUALIZATION IN VIRTUAL REALITY