scholarly journals A Higraph-Based Formalism for System Modelling Language ArKItect

2014 ◽  
Vol 4 (3) ◽  
pp. 246-250
Author(s):  
Hycham Aboutaleb ◽  
Bruno Monsuez
Author(s):  
Ørnulf Jan Rødseth ◽  
Lars Andreas Lien Wennersberg ◽  
Håvard Nordahl

AbstractCurrent guidelines for approval of autonomous ship systems are focused on the ships’ concrete operations and their geographic area. This is a natural consequence of the link between geography and the navigational complexity, but moving the ship to a new area or changing owners may require a costly re-approval. The automotive industry has introduced the Operational Design Domain (ODD) that can be used as a basis for approval. However, the ODD does not include the human control responsibilities, while most autonomous ship systems are expected to be dependent on sharing control responsibilities between humans and automation. We propose the definition of an operational envelope for autonomous ship systems that include the sharing of responsibilities between human and automation, and that is general enough to allow approval of autonomous ship systems in all geographic areas and operations that falls within the envelope. We also show how the operational envelope can be defined using a system modelling language, such as the unified modelling language (UML).


Author(s):  
GIUSEPPE DELLA PENNA ◽  
SERGIO OREFICE ◽  
BENEDETTO INTRIGILA ◽  
DANIELE MAGAZZENI ◽  
ROBERTO DEL SORDO ◽  
...  

In this paper we present SyBeL (System Behaviour modelling Language), an XML based formalism for software system modelling. In particular, SyBeL focuses on the description of the system behaviour in order to capture its functional requirements and has been designed to fulfill some of the most trendy software engineering issues. The use of the underlying XML language makes the artifacts generated by SyBeL immediately available to further automatic manipulation (e. g., to automatically generate test cases) without the need of intermediate models, as usually done in semi-formal approaches. Moreover, we are experimenting SyBeL on a variety of practical case studies.


IET Software ◽  
2015 ◽  
Vol 9 (5) ◽  
pp. 119-128 ◽  
Author(s):  
Messaoud Rahim ◽  
Ahmed Kheldoun ◽  
Malika Boukala-Ioualalen ◽  
Ahmed Hammad

Procedia CIRP ◽  
2013 ◽  
Vol 11 ◽  
pp. 420-424 ◽  
Author(s):  
Sean Reed ◽  
Magnus Löfstrand ◽  
Lennart Karlsson ◽  
John Andrews

2016 ◽  
Vol 19 (1) ◽  
pp. 37-43
Author(s):  
Oksana Ņikiforova ◽  
Sergii Putintsev ◽  
Dace Ahiļčenoka

Abstract System modelling using Unified Modelling Language (UML) is the task that should be solved for software development. The more complex software becomes the higher requirements are stated to demonstrate the system to be developed, especially in its dynamic aspect, which in UML is offered by a sequence diagram. To solve this task, the main attention is devoted to the graphical presentation of the system, where diagram layout plays the central role in information perception. The UML sequence diagram due to its specific structure is selected for a deeper analysis on the elements’ layout. The authors research represents the abilities of modern UML modelling tools to offer automatic layout of the UML sequence diagram and analyse them according to criteria required for the diagram perception.


2014 ◽  
Vol 2014 ◽  
pp. 1-10
Author(s):  
S. Ewins Pon Pushpa ◽  
Manamalli Devasikamani

System modelling with a unified modelling language (UML) is an active research area for developing real-time system development. UML is widely used modelling language in software engineering community, to specify the requirement, and analyse the target system successfully. UML can be used to provide multiple views of the system under design with the help of a variety of structural and behavioural diagrams at an early stage. UML-RT (unified modelling language-real time) is a language used to build an unambiguous executable specification of a real-time system based on UML concepts. This paper presents a unified modeling approach for a newly proposed rate monotonic scheduling algorithm-shortest job first (RMA-SJF) for partitioned, semipartitioned and global scheduling strategies in multiprocessor architecture using UML-RT for different system loads. As a technical contribution, effective processor utilization of individual processors and success ratio are analyzed for various scheduling principles and compared with EDF and D_EDF to validate our proposal.


2019 ◽  
Vol 12 (3) ◽  
pp. 98-107
Author(s):  
I. N. Drogobytskii

The euphoria of the effectiveness of the methodology of system modelling in the study of nature and synthesis of artificial systems has prompted the scientific community to its large-scale use in the sciences, the subject of which is the human community: economics, sociology, political science, history, philosophy, etc. However, many years of work in this field have not yet led to significant success. It turned out that the systems in which the key role belongs to man — socio-cultural, are fundamentally different from natural and artificial systems, and the methods of their research are not always applicable to their analysis. We need a specific methodology for modelling socio-cultural systems, and therefore the theoretical justification of its applicability. In this article, the author provides an original classification of systemic formations, which allows to clearly divide the whole set of systems into non-intersecting subsets (classes) and to define the limits of the efficacy of the existing arsenal of system modelling. In order to expand it and extend it to the class of socio-cultural systems, the author justified the original approach to the description of system dynamics and proposed an appropriate modelling language. The author proved the analogy in the development of socio-cultural and living systems and substantiated the proposition of the expediency of initiating a new scientific stream in the study of human community activity — genetics of socio-cultural systems.


Sign in / Sign up

Export Citation Format

Share Document