A formal approach for the specification and verification of trustworthy component-based systems

2011 ◽  
Vol 84 (1) ◽  
pp. 77-104 ◽  
Author(s):  
Mubarak Mohammad ◽  
Vangalur Alagar
Keyword(s):  
Formal Approach ◽  
Specification And Verification

Reconfiguration of Autonomous Robotics

2015 ◽  
Vol 3 (1) ◽  
pp. 41-58
Author(s):  
Yujian Fu ◽  
Steven Drager
Keyword(s):  
Natural Transformation ◽  
Formal Model ◽  
Research Work ◽  
Dynamic Reconfiguration ◽  
Dynamic Adaptation ◽  
Autonomous Robotics ◽  
Enabling Technology ◽  
Formal Approach ◽  
Heterogeneous Objects ◽  
Specification And Verification

Autonomous robotics systems (ARSs) consist of multiple heterogeneous objects and intelligent inferences that are expected to take appropriate actions even in unforeseen circumstances. Dynamic reconfiguration of ARSs is a key enabling technology and plays a major role in the future cyber-enabled battle field. This research work, focused on the development of a formal approach to the specification and verification of reconfigurability of ARSs. Two typical problems w.r.t. the dynamic adaptation and reconfiguration of ARSs were identified and studied. The first problem is how to formally represent the ARSs and describe the reconfigurable behavior precisely so that the ARSs can adapt to the new changes. The second problem focuses on how to analyze and verify the formal model of the reconfiguration and ensure the correctness of the system during reconfiguration. Considering behavior preserving in the reconfiguration model, a net reconfigurations based on the natural transformation is introduced.

Towards Systematization

1977 ◽  
Vol 16 (03) ◽  
pp. 125-130 ◽  
Author(s):  
P. L. Reichertz
Keyword(s):  
Clinical Medicine ◽  
Medical Science ◽  
User Involvement ◽  
Empirical Science ◽  
Target System ◽  
General Strategy ◽  
System Construction ◽  
Formal Approach ◽  
Methodology Development ◽  
Planning Development

Data processing has become an important tool in theoretical and clinical medicine. The main categories of applications are : information analysis, (bio)signal processing and the field of information logistics (information systems).The problems encountered lie in the discrepancy of the basic methods of a formal approach to an empirical science, the complexity of the target system and the system ecology, i.e. the involvement of the user and the system environment during system construction and utilization.Possible solutions to these problems are the application of system techniques, inductive planning, development of medical methodology, development of methods and techniques for user involvement and assessment of motivation and education and educational planning.The necessary general strategy in the development in medical informatics is seen in the continuing systematization of the theoretical and practical approach. It is estimated that this will eventually contribute to the systematization of medical science and practice.

THE CHALLENGES OF TEACHING FOREIGN LANGUAGES TO STUDENTS WITH SPECIAL EDUCATIONAL NEEDS

2020 ◽  
pp. 115-122
Author(s):  
Elena N. Gur'yanova ◽  
Keyword(s):  
Learned Helplessness ◽  
Educational Needs ◽  
Point Of View ◽  
Teaching Staff ◽  
Technical Equipment ◽  
Special Educational Needs ◽  
Right To Education ◽  
Formal Approach ◽  
Program Compliance ◽  
Special Health

A modern university answering the challenges of the society does not remain aloof to introduce certain inclusive practices. Currently, the legislation of the Russian Federation clearly distinguishes between the concepts of “Disability”, “Special health opportunities “and” Special educational needs”. However, there is a demand to combine all three terms into one, that is “Special educational needs”. The author considers this substitution to be unlawful. The article attempts to analyze each term from the point of view of prospects for each group of students to get higher education, taking into account the peculiarities of their psychophysical development. In addition, the author reviews some difficulties (insufficient technical equipment of the classrooms, learned helplessness of students, lack of knowledge about various nosological groups of disabled people, etc.) and ways to overcome these and other problems such as development of an adapted educational program, compliance with the principles of health conservation, psychological readiness of the teaching staff to work with such students. The author draws the conclusion that only training of teachers and the creation of a special educational space, the inadmissibility of a formal approach to the integration of students with special educational needs can contribute to the successful provision of their right to education.

Research the Mutual Influence of Indicators in Innovation Planning at Enterprises

2020 ◽  
pp. 192-198
Author(s):  
M. S. Kuz’min
Keyword(s):  
Performance Indicators ◽  
Mutual Influence ◽  
Development Planning ◽  
Current Situation ◽  
Innovation Activity ◽  
Development Programs ◽  
Formal Approach ◽  
Innovation Development ◽  
Target Values ◽  
Innovation Planning

The author analyzes the innovation development programs of 11 Russian companies with state participation and state corporations and compares the achieved results with innovation development plans. The results of the analysis show that the existing relationships between the performance indicators of the companies’ innovation activity for 2014–2016 are not considered or reflected in the programs of innovation development until 2020. This study indicates the causes of the current situation and proposes directions for improving the efficiency of innovation development planning.Aim. The study aims to examine the mutual influence of indicators in innovation planning at enterprises.Tasks. The author analyzes the existing innovation development programs of large state-owned companies and the correlation between the performance indicators of innovation activity, assesses the actual results of the implementation of innovation development programs for 2014–2016 and the validity of the planned indicators of innovation development until 2020.Methods. This study uses the methods of systems and correlation-regression analysis.Results. The analysis shows that the actual relationships between the performance indicators of the companies’ innovation activity for 2014–2016 are not considered or reflected in the programs of innovation development until 2020. This study indicates the causes of the current situation and proposes directions for improving the efficiency of innovation development planning. A matrix for determining problem situations in innovation development planning is developed.Conclusions. The actual relationships between the indicators that characterize many aspects of innovation development at various stages of the innovation life cycle are not fully considered in the planning of innovation development. The conducted study confirms a formal approach to estimating the target values of the examined indicators, which disregards the actual relationships between them. The outcome of this can be seen in the programs of innovation development until 2020 developed by corporations. It is possible to make allowance for the actual relationships in the planning of the target values of innovation development indicators by using the methods and tools of dynamic modeling.

Sign in / Sign up

Export Citation Format

Share Document