Modeling Software Systems

Designology ◽  
2018 ◽  
pp. 131-138
Author(s):  
László Horváth

Engineering modeling software systems have been developed during a long integration process from separated partial solutions to current modeling software platforms (MSPs). MSP is expected to provide all necessary model creation and application capabilities during integrated innovation and the life cycle of commercial and industrial products (CIP). Recently, advanced CIP is operated by component systems organized within an increasingly autonomous cyber physical system (CPS). CIP is represented by the engineering model system (EMS). EMS is driven by active contexts between the outside world and EMS, between component models of EMS, and between objects in a component model. EMS reacts to any new contribution using all formerly represented contexts. Consistent structure of contexts gives autonomous operation capability for EMS. Active contexts between the outside world and EMS make EMS sensitive to outside world changes. In the other direction, EMS can generate advice for the outside world using high level and well-organized active knowledge as context. Contributing to research in key issues around EMS and the relevant software technology, this paper introduces results in requirements against MSP capabilities to represent intelligent driving content (IDC) in EMS. A novel organized structure of IDC and continuous engineering (CE) aspects of IDC development are explained and discussed placing the main emphasis on situation awareness. Finally, a new concept is introduced in which purposeful EMS acts as the only media in communication of researchers. Specially configured MSP facilitates participation from industrial, institutional, and academic organizations. The research proceeds at the Laboratory of Intelligent Engineering Systems (IESL) in the organization of the Óbuda University.


2020 ◽  
Vol 2020 ◽  
pp. 1-7
Author(s):  
Hao Li ◽  
Tian Wang ◽  
Xinxin Xu ◽  
Bo Jiang ◽  
Jianliang Wei ◽  
...  

Software systems are of great importance, whose quality will influence every walk of our life. However, with increase in their scale and complexity, we are unable to control their quality since only little is known about their actual internal structure. “We cannot control what we cannot measure.” Thus, to control these complex software systems, the first task that we should do is to measure their internal structure. In recent years, people applied the theories and techniques in the field of complex networks to systematically investigate the structure of software systems by representing software systems as networks (i.e., software networks), and many interesting and useful results have been revealed. In this work, we aim to briefly review some recent research advances in the interdisciplinary research between complex networks and software engineering, including modeling, analysis, and applications. Specifically, we first describe some novel techniques to model the structural details of a specific software system. Then, based on these modeling techniques, we introduce some research work on characterizing the static and dynamic structural properties of software systems. Third, we describe some promising applications of software networks in real-world scenarios. Finally, we suggest some future research topics.


2017 ◽  
Vol 8 (4) ◽  
pp. 54-72
Author(s):  
Sabah Al-Fedaghi

This article proposes an abstract machine, known by the acronym FM, for modeling behavior currently described by finite state machines (SMs) in conjunction with related notions such as state and event. Although the SM concept was born more than 50 years ago and is widely applied in hardware design, the literature suggests it is not well understood despite its use in other application fields, especially in software system design. Several SM-based examples are remodeled in terms of the proposed machine, and they reveal a richer conception of the dynamic aspects of systems. FM enhances understanding of concepts in control modeling such as states, events, behavior, and control. The article exposes the limitations of unrefined SM features used in modeling software systems. It is suggested that FM be used as a modeling tool in the software system design process.


1989 ◽  
Vol 5 (2) ◽  
pp. 221-243 ◽  
Author(s):  
Ellen B. Mandinach

The Systems Thinking and Curriculum Innovation (STACI) Project is a multi-year research effort intended to examine the cognitive impact of learning from a systems thinking approach to instruction and from using simulation-modeling software. Systems thinking is an analytic problem solving tool that can be integrated into courses to supplement and enhance instruction in a variety of content areas. The purpose of the study is to test the potentials and effects of using the technology-based approach in secondary school curricula to teach content-specific knowledge as well as general problem solving skills. The research focuses on the effects of introducing a software environment that enables students to learn from and make concrete multiple representations of scientific, mathematical, and historical phenomena.


Author(s):  
Ibukun Fadahunsi ◽  
Oluwasefunmi 'Tale Arogundade ◽  
Adesina S. Sodiya ◽  
Bakai Olajuwon

Electronic examination systems are becoming increasingly complex and intensive to develop with the introduction of virtual invigilator in proctored examinations. In order to address this complexity issue, there is evident need to have a global model that is extensible. Modeling software systems enables developers to better understand the system they are building and offers opportunities for simplification and reuse. This article presents an extension to UMLsec, by introducing three (3) new stereotypes which were added to the UMLsec Profile for a Proctored e-Exam model. The model was validated and converted to a platform specific model using the Java stereotype available on Papyrus. This enabled the model generate Java classes which can be used for the implementation of a secure proctored e-exam system. The model allows developers with little or no knowledge in security to use the model to build proctored e-exam systems and to incorporate all known security requirements. The model can also be extended to accommodate new security solutions for e-exam systems as they are discovered.


2021 ◽  
pp. 130-137
Author(s):  
К.А. Лесных ◽  
С.А. Никонов ◽  
Н.В. Островская

Актуальность поднимаемых в статье вопросов обусловлена широким применением программных комплексов для численного эксперимента в области механики и необходимостью верификации полученных результатов. В представленной работе отражены возможности программного пакета виртуального моделирования ADAMS для численного анализа динамических задач с учетом трения. В качестве объекта исследования рассмотрено устройство кривошипно-шатунного механизма, имеющего в своём составе фрикционную муфту. Для демонстрации возможностей моделирования задач с учетом трения в ПК ADAMS приведены различные примеры, верифицирующие аналитические решения с численными. Для исследования работы муфты была подтверждена зависимость момента сил трения от относительной скорости и смоделирована работа кривошипно-шатунного механизма. Отдельно была рассмотрена задача о получении коэффициентов трения качения, которые в результате моделирования в ПК ADAMS, оказываются значительно меньше своих предельных коэффициентов трения качения. The relevance of the issues raised in the article is due to the widespread use of software systems for numerical experiments in the field of mechanics and the need to verify the results obtained. Possibilities of the virtual modeling software package ADAMS for the numerical analysis of dynamic tasks taking into account friction are reflected in work. As an object of a research the device of the crank-conrod mechanism in corporating the frictional coupling is considered. For demonstration of tasks taking into account friction modeling opportunities in an ADAMS package various examples verifying analytical decisions with numerical are given. For a research of the coupling the dependence of the friction forces moment operation on relative speed was confirmed and operation of the crank-conrod mechanism is simulated. The task about receiving coefficients of swing friction which as a result of modeling in an ADAMS package, appear much less than the limit coefficients of swing friction was separately considered.


Sign in / Sign up

Export Citation Format

Share Document