Добірка наукової літератури з теми "SysML Block Definition Diagram"

A comprehensive and systematic model for the production process of large-scale equipment manufacturing can reduce the cost and time of the development and enforcement of the management system. The characters of a modeling language for systems engineering, SysML(Systems Modeling Language), are introduced, and through analyzing the complexity of the production management system for complex product, the basic requirements of its modeling are given; With the practical example in our project, SysML based model is built for production management system of complex product manufacturing ,the application of requirements diagram, use case diagram, block definition diagram, internal block diagram and activity diagram is introduced emphatically.

Humans perform critical functions in nearly every system, making them vital to consider during system development. Human Systems Integration (HSI) would ideally permit the human’s impact on system performance to be effectively accounted for during the systems engineering (SE) process, but effective processes are often not applied, especially in the early design phases. Failure to properly account for human capabilities and limitations during system design may lead to unreasonable expectations of the human. The result is a system design that makes unrealistic assumptions about the human, leading to an overestimation of the human’s performance and thus the system’s performance. This research proposes a method of integrating HSI with SE that allows human factors engineers to apply Systems Modeling Language (SysML) and human performance simulation to describe and communicate human and system performance. Using these models, systems engineers can more fully understand the system’s performance to facilitate design decisions that account for the human. A scenario is applied to illustrate the method, in which a system developer seeks to redesign an example system, Vigilant Spirit, by incorporating system automation to improve overall system performance. The example begins by performing a task analysis through physical observation and analysis of human subjects’ data from 12 participants employing Vigilant Spirit. This analysis is depicted in SysML Activity and Sequence Diagrams. A human-in-the-loop experiment is used to study performance and workload effects of humans applying Vigilant Spirit to conduct simulated remotely-piloted aircraft surveillance and tracking missions. The results of the task analysis and human performance data gathered from the experiment are used to build a human performance model in the Improved Performance Research Integration Tool (IMPRINT). IMPRINT allows the analyst to represent a mission in terms of functions and tasks performed by the system and human, and then run a discrete event simulation of the system and human accomplishing the mission to observe the effects of defined variables on performance and workload. The model was validated against performance data from the human-subjects’ experiment. In the scenario, six different scan algorithms, which varied in terms of scan accuracy and speed, were simulated. These algorithms represented different potential system trades as factors such as various technologies and hardware architectures could influence algorithm accuracy and speed. These automation trades were incorporated into the system’s block definition (BDD), requirements, and parametric SysML diagrams. These diagrams were modeled from a systems engineer’s perspective; therefore they originally placed less emphasis on the human. The BDD portrayed the structural aspect of Vigilant Spirit, to include the operator, automation, and system software. The requirements diagram levied a minimum system-level performance requirement. The parametric diagram further defined the performance and specification requirements, along with the automation’s scan settings, through the use of constraints. It was unclear from studying the SysML diagrams which automation setting would produce the best results, or if any could meet the performance requirement. Existing system models were insufficient by themselves to evaluate these trades; thus, IMPRINT was used to perform a trade study to determine the effects of each of the automation options on overall system performance. The results of the trade study revealed that all six automation conditions significantly improved performance scores from the baseline, but only two significantly improved workload. Once the trade study identified the preferred alternative, the results were integrated into existing system diagrams. Originally system-focused, SysML diagrams were updated to reflect the results of the trade analysis. The result is a set of integrated diagrams that accounts for both the system and human, which may then be used to better inform system design. Using human performance- and workload-modeling tools such as IMPRINT to perform tradeoff analyses, human factors engineers can attain data about the human subsystem early in system design. These data may then be integrated into existing SysML diagrams applied by systems engineers. In so doing, additional insights into the whole system can be gained that would not be possible if human factors and systems engineers worked independently. Thus, the human is incorporated into the system’s design and the total system performance may be predicted, achieving a successful HSI process.

At present, various functions of aircraft have become more and more dependent on airborne software system, and the structure of modern airborne software is extremely complex. Engineers need to eliminate the situation in which the safety performance of the entirety reduces caused by mutual influence among components. This paper presents a comprehensive method with high efficiency for safety verification of airborne software system, in order to ensure the system meet safety requirement of airworthiness standard at the design stage. Safety Verification Colored Petri Net (SVCPN) for software safety verification is firstly proposed, and then the mapping transformation rules from Block Definition Diagram (BDD) of System Modeling Language (SysML) to SVCPN are proposed to achieve the accurately formal description of software system. Traversing all delivery paths of safety level transfer based on the Reachable Tree Diagram, to detect the components that do not meet the safety requirement of airworthiness standard. Based on the disambiguation algorithm, the fundamental components that cause safety problem are found out through the establishment of antinet to achieve the safety level reassign, ensuring the safety performance of the whole system. Finally, the case study and the comparison and analysis are applied to show the feasibility and superiority of our method.

Purpose – This study aims to describe the behavior of blocks in the system under consideration using systems modeling language (SysML) state machine diagrams. In this paper, formalization and model checking for SysML state machine diagrams have been investigated. Design/methodology/approach – The work by Zhang and Liu (2010) proposed a formalization of SysML state machine diagrams in which the diagrams were translated into CSP# processes that could be verified by the state-of-the-art model checker PAT. In this paper, several modifications have been made and new rules have been added to the translation described in that work. Findings – First, three translation rules were modified, which apparently are inappropriately defined according to the SysML definition of state machine diagrams. Next, we add new translation rules for two components of the diagrams – junction and choice pseudostates – which have not been dealt with previously. Further, we are implementing the automatic translation system on a web-based model-driven development tool, which reflects on our translation rules. Originality/value – As the contribution of this work, more reasonable verification results for more general SysML state machine diagrams can be achieved.

The paper formulates the definition of the main features of the B2G market. B2G market entities are classified. Block diagram of relationships between entities of this type of market is presented. The dynamics of the B2G market volume, its place in the economy of Russia is analyzed.

The goal of the paper is the integration of safety analysis in a model-based systems engineering approach to ensure consistency between system design and safety artifacts. This integration permits the continuous improvement of the structure and behavior of the system. It also reduces system development time and prevents late detection of errors. To reach this purpose, the SafeSysE methodology is extended. In SafeSysE, a preliminary Failure Mode and Effects Analysis (FMEA) is automatically generated from a SysML model, and this FMEA is then completed by the safety expert but no further development was proposed. The contribution of this paper is to suggest recommendations based on the FMEA analysis in order to enhance the system design and make it comply with safety requirements. First, an updated system structure that may contain redundancy is proposed. Then, a redundancy profile is used to enrich the system model with redundancy information, which will allow the generation of a dynamic fault tree considering the system behavior. Finally, the generated dynamic fault tree should be analyzed in order to create a state machine diagram that describes the behavior of the system. The created state machine with an internal block diagram will help the system designers to better understand the system dysfunctions by simulating the system. The proposed methodology is applied to an Electro-Mechanical Actuator system which is used in the aeronautics domain.

The paper considers the features of conceptualization of the financial security management mechanism of trade enterprises in the conditions of turbulent changes. It is proved that the architectonics of the financial security management mechanism of trade enterprises in accordance with comparative analysis can be considered in two spaces as a set: the main elements and links of the organizational structure. A mechanism for managing the financial security of trade enterprises (MMFSTE) has been built. The components of four MMFSTE blocks are analyzed. At the “conceptual block” level, the goal is defined, and in accordance with it – the goals and objectives, principles and desired results of the implementation of the mechanism. At the “organizational block” level, objects and subjects of the mechanism are defined. The methodological block defines the appropriate forms, methods, mechanisms, tools, technologies, and procedures for implementing the MMFSTE. Regarding the “functional block”, it should be noted that it includes three sub-levels of functioning of the mechanism: the first is the definition of restrictions; the second is the definition of implementation and provision subsystems; the third is ways to improve the mechanism and determine the effectiveness of its implementation. The latest economic tools for forming MMFSTE are considered: GAP-analysis, STEP-analysis, SWOT-analysis, KPI, Ishikawa diagram. The Ishikawa diagram is constructed to determine possible time losses when assessing the level of financial security of trade enterprises, which consists of thirteen factors-distimulants. Based on the construction of the Ishikawa diagram, the introduction of two correction factors is proposed: the documentation quality coefficient and the document flow automation coefficient and analytical calculations. This will reduce the asymmetry of information in the diagnosis of financial security of retail enterprises. Possible directions of ensuring financial security of trade enterprises that can increase competitiveness and become a tool for survival in the market environment are considered.

A method for analyzing clusters which block the random walk of particles in two-dimensional biased diffusion on percolation lattices above the percolation threshold pc is presented, focusing on the arising problems and explaining the phase transition. The difficulties in a precise trap definition are illustrated. Different trap definitions result in different trap statistics, more or less capable of capturing the trend of the phase diagram.

The article establishes and realizes an idea of definition of the initial provenance signal for the Southern Urals Taratash block using isotope dating of the zircons in the Archean and Early Proterozoic magmatic and metamorphic rocks. The work takes into account 132 data for which the discordance did not exceed 10%. We obtained a probability density diagram for zircon ages, which we used firstly for comparison with detrital zircons ages from the sandstones of lower riphean Ay suite, and secondly, with density of the zircon ages in the metamorphic rocks of the Aleksandrovsky block located to the east. The similarity of distributions was verified by means of the Kolmogorov-Smirnov test.

A complex System of Systems, integrating several hardware and software components in the holistic perspective of providing an emergent behaviour and operating within business-critical contexts, aims at affording contrasting requirements of reliability and complexity in delivered functions and quality of services by supporting system evolution and adaptation over time. This dissertation contributes to the area of Model-Driven Engineering (MDE), proposing a model-driven approach supporting timed failure logic analysis of complex Cyber-Physical Systems (CPS) in business-critical scenarios. The research defines a meta-model joining structural information about system architectures with their failure logic, decoupling representations of communication interfaces from those of failure propagation. The meta-model also supports runtime evolution (which can be very fast in the case of complex CPS) of concrete systems by enabling the configuration of product lines, capable of representing multiple variation points of a component, supporting continuous adaptation of offered products and services to business or customer needs. The meta-model enables a round-trip engineering process through the definition of a set of transformation rules, supporting the automated and correct-by-construction initialisation of meta-model instances starting from SysML Block Definition Diagrams for system specification and stochastic Fault Trees for timed failure logic, thus activating co-evolution mechanisms propagating external manual modifications, applied on meta-model instances, directly to the adopted structural and reliability artefacts. At the same time, a set of transformation rules has been defined so as to enable the automated generation of Stochastic Time Petri Nets (STPN) from meta-model instances, thus supporting quantitative evaluation of the imed failure logic. The MDE approach is demonstrated on the case study of a CPS operating in a Smart City environment, evaluating at design time different configurations of the system with respect to the reliability of its cyber-side. The research also addresses the design and the prototypical implementation of a tool offered both as-a-service and as a Java API.

Abstract By integrating the Internet of Things, artificial intelligence, 5G, and other new-generation electronic information technologies, the fourth industrial Revolution represented by intelligent manufacturing and industrial internet is promoted, which is the era of comprehensive intelligent industry 4.0. As a key technology of the industrial Internet, the Internet of Things (IoT) connects intelligent manufacturing complex systems and machines with built-in sensors to the network for real-time data collection, transmission, processing, and feedback, to optimize device management and production efficiency. With the increasing number and variety of IoT devices, improving the scalability and maintainability of IoT systems is a challenging demand and requires continuous efforts. This paper proposes an architecture of IoT platform based on Model-Based Systems Engineering (MBSE). In this architecture, a modeling method based on Integrated Modeling language and a model-driven method for cloud-edge collaboration platform is further proposed. The standardization, readability, and reusability of the model are used to drive the device expansion and management. The characteristics of interaction behaviours between cloud and edges are extracted, and models of Holonomic System are built by an integrated modeling language, called X language. Block Definition Diagram (BDD) of X language is used to build the static models of IoT devices and drive the platform to manage the devices. State Machine Diagram (SMD) of X language is used to build the dynamic models of process between the edges and cloud, and drive the processes of the platform. Through experiments and analysis, the feasibility and effectiveness of the X-Language-driven IoT platform are verified.