USING THE COMBINED LADM-INDOORGML MODEL TO SUPPORT BUIILDING EVACUATION
The international archives of the photogrammetry, remote sensing and spatial information sciences/International archives of the photogrammetry, remote sensing and spatial information sciences,
09/2018
Journal Article
The emergence of cyber physical systems in the manufacturing domain creates new requirements for shop floor devices. Due to their diverse structure, buildup a seamless communication is one major ...challenge.
In recent years, several communication standards, e.g., OPC-UA, tried to tackle this issue. Until now, they have not fully developed their potential, because of inherent implementation complexity and specific formats, although well-known modeling standards such as UML exist.
The presented approach aims to overcome this complexity by enabling an automatic transformation from UML class diagrams to OPC-UA information models using ATL and by extending UML to guarantee information preserving transformations.
•Using IoT protocols in the development process of manufacturing systems.•An approach to automate the integration of mechatronic components in the IoT environment.•An extension of UML to support the ...transformation of traditional OO interfaces of manufacturing components to REST-like ones.•UML4IoT: A UML profile for the automatic generation of the LWM2M layer.•Performance analysis and evaluation of a LWM2M based IoT solution for manufacturing systems.
Internet of Things (IoT) is changing the world. The manufacturing industry has already identified that the IoT brings great opportunities to retain its leading position in economy and society. However, the adoption of the IoT changes the development process of the manufacturing system and raises many challenges. In this paper, the modern manufacturing system is considered as a composition of cyber-physical, cyber and human components, and IoT is used as a glue for their integration as far as their cyber interfaces are concerned. An approach based on a UML profile for the IoT is presented to fully automate the generation process of the IoT-compliant layer that is required for the cyber-physical component to be effectively integrated into the modern IoT manufacturing environment. The approach can also be applied at the source code level specification of the component in case that a UML design specification is not available. A prototype implementation of the myLiqueur production laboratory system is used to demonstrate the applicability and effectiveness of the UML4IoT approach.
Since 1998, the ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS) has been studying all aspects surrounding modeling in software engineering, from ...languages and methods to tools and applications. In order to enable empirical studies, the MODELS community developed a need for having examples of models, especially of models used in real software development projects. Such models may be used for a range of purposes, but mostly related to domain analysis and software design (at various levels of abstraction). However, finding such models was very difficult. The most used ones had their origin in academic books or student projects, which addressed “artificial” applications, i.e., were not base on real-case scenarios. To address this issue, the authors of this reflection paper, members of the modeling and of the mining software repositories fields, came together with the aim of creating a dataset with an abundance of modeling projects by mining GitHub. As a scoping of our effort we targeted models represented using the UML notation because this is the lingua franca in practice for software modeling. As a result, almost 100k models from 22k projects were made publicly available, known as the Lindholmen dataset.
In this paper, we analyze the impact of our research, and compare this to what we envisioned in 2016. We draw practical lessons gained from this effort, reflect on the perils and pitfalls of the dataset, and point out promising avenues of research.
We base our reflection on the systematic analysis of recent research literature, and especially those papers citing our dataset and its associated publications.
What we envisioned in the original research when making the dataset available has to a major extent not come true; however, fellow researchers have found alternative uses of the dataset.
By understanding the possibilities and shortcomings of the current dataset, we aim to offer the research community i) future research avenues of how the data can be used; and ii) raise awareness of the limitations, not only to point out threats to validity of research, but also to encourage fellow researchers to find ideas to overcome them. Our reflections can also be helpful to researchers who want to perform similar mining efforts.
Model-based evaluation of software reliability in the architecture design stage helps designers make objective decisions about design trade-offs. A challenging problem is how to deal with ...uncertainties in model parameters, e.g. usage profile. In this study, an approach based on evidence theory is proposed to handle the uncertainties in model parameters. In this approach, UML is used for modelling software architectures, and the DAM profile is used for specifying reliability parameters in the UML model. The constructed UML/DAM model is transformed to a fault tree to evaluate reliability. A software tool is developed to automate the transformation and evaluation procedures, and a case study is presented to demonstrate the applicability of the method.
Penggunaan teknologi informasi di sebuah institusi menjadi hal yang penting dalam mendukung kegiatan rutin sehari-hari, salah satunya adalah agenda rapat. Terjadinya bentrokan jadwal maupun ruangan ...menjadi urgensi penelitian ini. Disamping itu, pencatatan rapat masih dilakukan dalam buku atau memo juga meningkatkan risiko kehilangan dokumen baik karena keteledoran atau bencana alam. Tujuan dari penelitian ini adalah memberikan alternatif solusi permasalahan tersebut dengan membangun aplikasi penjadwalan rapat menggunakan bahasa pemrograman PHP dan basis data MySQL. Analisis dilakukan menggunakan analisis berorientasi objek menggunakan beberapa diagram seperti diagram use case, diagram aktivitas dan diagram kelas. Metode pengembangan sistem yang digunakan adalah metode phased development. Metode ini terdiri dari beberapa tahapan yakni perencanaan, analisis, perancangan, implementasi lalu menghasilkan versi aplikasi. Berdasarkan hasil pengujian black box dari enam fitur utama menunjukkan bahwa aplikasi yang dibangun sudah memenuhi standar fungsionalitas yang diharapkan. Hasil user acceptance test kinerja sistem dapat dikatakan 100% sudah memenuhi harapan karena berdasarkan hasil evaluasi pengguna mereka sangat setuju dan setuju terhadap semua parameter yang di evaluasi. Keunggulan dari aplikasi yakni kepuasan pengguna didapatkan 100% pengguna puas menggunakan aplikasi, antarmuka sistem menarik dan akan merekomendasikan aplikasi tersebut. Hanya saja untuk fungsionalitas sistem terdapat 7 responden yang menginginkan penambahan fitur baru.
State machines are used in engineering many types of software-intensive systems. UML State Machines extend simple finite state machines with powerful constructs. Among the many extensions, there is ...one seemingly simple and innocent language construct that fundamentally changes state machines' reactive model of computation: doActivity behaviors. DoActivity behaviors describe behavior that is executed independently from the state machine once entered in a given state, typically modeling complex computation or communication as background tasks. However, the UML specification or textbooks are vague about how the doActivity behavior construct should be appropriately used. This lack of guidance is a severe issue as, when improperly used, doActivities can cause concurrent, non-deterministic bugs that are especially challenging to find and could ruin a seemingly correct software design. The Precise Semantics of UML State Machines (PSSM) specification introduced detailed operational semantics for state machines. To the best of our knowledge, there is no rigorous review yet of doActivity's semantics as specified in PSSM. We analyzed the semantics by collecting evidence from cross-checking the text of the specification, its semantic model and executable test cases, and the simulators supporting PSSM. We synthesized insights about subtle details and emergent behaviors relevant to tool developers and advanced modelers. We reported inconsistencies and missing clarifications in more than 20 issues to the standardization committee. Based on these insights, we studied 11 patterns for doActivities detailing the consequences of using a doActivity in a given situation and discussing countermeasures or alternative design choices. We hope that our analysis of the semantics and the patterns help vendors develop conformant simulators or verification tools and engineers design better state machine models.
Data Acquisition System using a CIAA-Safety Juan Pablo Rumie Vittar; Dario Walter. Diaz; Gustavo Miguel Rodriguez ...
Revista elektrón,
12/2022, Letnik:
6, Številka:
2
Journal Article
Recenzirano
Odprti dostop
This paper presents the analysis, design, development and implementation of a data acquisition system from various sensors, to be installed and used in different FAA Air Vehicles, through an ARM® ...Cortex®-R4F CPU microcontroller that meets critical safety standards, such as IEC 61508 , ISO 26262 and DO-178 (at the Software level). The sensors are: a GNSS (Global Navigation Satellite System), an IMU (Inertial Measurement Unit) and atmospheric pressure and temperature sensors. The ARM microcontroller was mounted on a development board called CIAA-Safety and its programming was carried out under the BAREMETAL format, that is, without a Real Time Operating System.
The modelling and verification of systems security is an open research topic whose complexity and importance needs, in our view, the use of formal and non-formal methods. This paper addresses the ...modelling of security using misuse cases and the automatic verification of survivability properties using model checking. The survivability of a system characterises its capacity to fulfil its mission (promptly) in the presence of attacks, failures, or accidents, as defined by Ellison. The original contributions of this paper are a methodology and its tool support, through a framework called surreal. The methodology starts from a misuse case specification enriched with UML profile annotations and obtains, as a by-product, a survivability assessment model (SAM). Using predefined queries the survivability properties are proved in the SAM. A total of fourteen properties have been formulated and also implemented in surreal, which encompasses tools to model the security specification, to create the SAM and to prove the properties. Finally, the paper validates the methodology and the framework using a cyber–physical system (CPS) case study, in the automotive field.
•Guiding security requirements elicitation in cyber–physical systems.•Discovering meaningful sequences of attacks and protections with model-driven.•Open framework for the automatic verification of security properties.
•Providing a complete life cycle of UML consistency management process.•Presenting a thematic taxonomy of existing state-of-the-art UML consistency management activities based on a set of parameters ...extracted from the literature.•Analytically comparing current state-of-the-art UML consistency management approaches including their commonalities and differences.•Outlining a number of potential research issues in this field of study.
Unified Modeling Language (UML) has become the de-facto standard to design today’s large-size object-oriented systems. However, focusing on multiple UML diagrams is a main cause of breaching the consistency problem, which ultimately reduces the overall software model’s quality. Consistency management techniques are widely used to ensure the model consistency by correct model-to-model and model-to-code transformation. Consistency management becomes a promising area of research especially for model-driven architecture. In this paper, we extensively review UML consistency management techniques. The proposed techniques have been classified based on the parameters identified from the research literature. Moreover, we performed a qualitative comparison of consistency management techniques in order to identify current research trends, challenges and research gaps in this field of study. Based on the results, we concluded that researchers have not provided more attention on exploring inter-model and semantic consistency problems. Furthermore, state-of-the-art consistency management techniques mostly focus only on three UML diagrams (i.e., class, sequence and state chart) and the remaining UML diagrams have been overlooked. Consequently, due to this incomplete body of knowledge, researchers are unable to take full advantage of overlooked UML diagrams, which may be otherwise useful to handle the consistency management challenge in an efficient manner.