Wyniki wyszukiwania - BazTech

1

A Development Methodology for Cyber-Physical Systems based on Deterministic Theatre with Hybrid Actors

Cicirello Franco, Nigro Libero

TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk

|

2021

|

Vol. 25, No 2

233--260

EN

The goal of the work described in this paper is to propose a development approach for cyber-physical systems (CPS) which relies on actors as the fundamental modelling blocks. The approach is characterized by its capability to deal with the discrete aspects of the cyber part of a CPS, as well as the continuous behaviour of the physical part. More in particular, the approach is based on the Theatre actor system which fosters determinism in model behaviour, and favours model continuity when switching from system modelling and analysis down to prototype and synthesis phases. A key factor of Theatre is the possibility to combine both discrete-event actors, which operate on a discrete timeline, with continuous-time actors which reproduce, in general by using Ordinary Differential Equations (ODEs), the dynamical evolution of physical components. For formal property assessment, Theatre actors (both discrete and continuous) can be reduced to Timed Automata (TA) in the context of the Uppaal toolbox, where the exhaustive andór the statistical model checkers can be exploited. This paper first describes the proposed approach, then it demonstrates its suitability to CPS modelling and analysis through examples. The paper also discusses how abstract and formal modelling actor concepts can be naturally transitioned to implementation concepts in Java.

2

Parametric Digital Twin of autonomous electric vehicle transmission

Rjabtsikov Viktor, Rassolkin Anton, Kuts Vladimir, Kudelina Karolina, Vaimann Toomas, Kallaste Ants, Partyshev Andriy

Journal of Machine Engineering

|

2021

|

Vol. 21, No. 2

131--140

EN

Variable applications and methodologies are used in the Digital Twin technology. Digital Twin as a trending technology is also a general topic of many industry-oriented research projects. To develop and implement a novel technology, a detailed study of any single part of a system is required. This paper presents a development case study of the parametric Digital Twin of autonomous electric vehicle transmission. Digital Twin combines the advantages of software models and real equipment to reduce total test runs and safe maintenance. The primary duty of the Digital Twin is to allow complete synchronization and connectivity between virtual and real entities. The paper presents a detailed structural description of the virtual entity that considers the parametrization of the transmission.

3

Model-Driven Development in implementing integration flows

Górski T.

Journal of Theoretical and Applied Computer Science

|

2015

|

Vol. 9, nr 2

66--82

EN

Integration of many different IT systems makes the integration project highly complex. The process of constructing architectural models and source code can be automated through the application of transformations. As a result, the duration time of designing or implementation, as well as the work input involved can be reduced. The purpose of the paper is to present an approach to automation of designing one of the key elements of an integration platform, namely, integration flows. The author proposes model-to-code transformation IntegrationFlow-to-Java which automates the implementation of integration flows applications for selected mediation patterns. The integration flows generator has been incorporated as a plug-in into the IBM Rational Software Architect (RSA). The RSA plugin which generates complete Java EE application of integration flow from mediation flows diagram. Thus eliminates design and programming stage in WebSphere Integration Developer which reduces development time and costs of licenses. Model-Driven Development is approach which can lead to automation of design and programming stage in software development. The IntegrationFlow-to-Java transformation offers an opportunity to reduce the duration time of the integration flows implementation forty times (with one hundred flows to be implemented). The outcomes support the significance of using transformations when designing complex IT systems, especially when integration solutions are developed.

4

Transformation of Typed Composite Graphs with Inheritance and Containment Structures

Jurack S., Taentzer G.

Fundamenta Informaticae

|

2012

|

Vol. 118, nr 1-2

97-134

EN

Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which deserve a modularization concept to enable their structured development in larger teams. Graphs are a natural way to represent the underlying structure of visual models. Typed graphs with inheritance and containment structures are well suited to describe the essentials of models based on the Eclipse Modeling Framework (EMF). Composite graphs can specify the logical distribution of EMF models and therefore, can form the conceptual basis for composite modeling in modeldriven development. This is done based on the formal foundation of distributed graphs. Moreover, this category-theoretical foundation allows for the precise definition of consistent composite graph transformations satisfying all inheritance and containment conditions.

5

Defining the semantics of rule-based Web applications through model-driven development

Canadas J., Palma J., Túnez S.

International Journal of Applied Mathematics and Computer Science

|

2011

|

Vol. 21, no 1

41-55

EN

Rule languages and inference engines incorporate reasoning capabilities to Web information systems. This paper presents an approach for the specification and development of Web applications performing the usual functionalities of data management and incorporating a rule engine for reasoning capabilities. The proposed approach is based on the definition of a high-level representation of the semantics of rule-based applications through a formalism for conceptual modeling combining lightweight ontologies and production rules. These models are used as the source for a model-driven method that applies several transformations to conceptual models generating the rule-based Web application code in an automatic process. As a result, the rule-based Web application embeds a rule engine suitable for deducing information by applying an inference process. The structure of the information managed by the Web application is based on ontology classes, whereas the logical expressions applied in reasoning are obtained from production rules of the model. A rule-based Web application has been developed and evaluated using a supporting tool that implements the ideas presented in this paper.

6

Model-driven systems engineering: state-of-the-art and research challenges

Lauder M., Schlereth M., Rose S., Schurr A.

Bulletin of the Polish Academy of Sciences. Technical Sciences

|

2010

|

Vol. 58, nr 3

409-421

EN

Model-driven software engineering is a well investigated and heavily used technique for software development. Within automation engineering we want to benefit from these ideas and concepts by adopting them to systems engineering. Parallel processes in systems engineering demand high synchronization effort between different disciplines, their engineers, and processes. Unfortunately, these processes are concurrently established, but do only support sequential engineering. With model-driven systems engineering we want to enable systems engineers to model their domain knowledge and tooling on a more abstract level. Thus, engineers may benefit in increasing efficiency and quality for the resulting products from existing integration approaches of engineering artifacts and tools. By means of an integration approach we are able to synchronize and check consistency of model data that evolved parallel in different tools. In this contribution, we present a new classification scheme for integration scenarios and explain our modeling and integration approach together with a proof-of-concept use case and prototype, located in automation engineering.

7

Efektywność realizacji projektów informatycznych w kontekście metodyk wytwarzania oprogramowania kierowanych modelami

Jóźwiak I., Kowalczyk M., Piotrowicz A.

Zeszyty Naukowe. Organizacja i Zarządzanie / Politechnika Śląska

|

2008

|

z. 45

141-147

PL

Wytwarzanie oprogramowania kierowane modelami (z ang. Model Driven Development) charakteryzuje się znaczącym stopniem automatyzacji procesu wytwarzania oprogramowania, a co za tym idzie skrócenia czasu realizacji oraz utrzymania systemu informatycznego. W pracy autorzy starają się odpowiedzieć na następujące pytania: W jaki sposób zastosowanie Model Driven Development w porównaniu do tradycyjnych metodyk wpływa na efektywność realizacji projektów IT oraz w przypadku jakiej kategorii projektów efektywność ta jest największa.

EN

Model Driven Development is characterized by significant level of software development process automation what in turn results in shortening development time and maintenance cost. In this work authors are trying to answer the following ąuestions: In what ways application of Model Driven Development, as opposite to traditional approaches, influences the software projects effectiveness and in what type of project that effectiveness is the biggest.