Wyniki wyszukiwania - BazTech

1

RE4TinyOS: A Reverse Engineering Methodology for the MDE of TinyOS Applications

Marah Hussein M., Challenger Moharram, Kardas Geylani

Annals of Computer Science and Information Systems

|

2020

|

Vol. 21

741--750

EN

In this paper, we introduce a tool-supported reverse engineering methodology, called RE4TinyOS to create or update application models from TinyOS programs for the construction of Wireless Sensor Networks. Integrating with an existing model-driven engineering (MDE) environment, use of RE4TinyOS enables the model-code synchronization where any modification made in the TinyOS application code can be reflected into the application model and vice versa. Conducted case studies exemplified this model-code synchronization as well as the capability of creating application models completely from already existing TinyOS applications without models, which is crucial to integrate the implementations of the third party TinyOS applications into the MDE processes. Evaluation results showed that RE4TinyOS succeeded in the reverse engineering of all main parts of two well-known TinyOS applications taken from the official TinyOS Github repository and generated models were able to be visually processed in the MDE environment for further modifications.

2

Application of time concepts from the MARTE profile in a Model- Driven Development case study

Derezińska A., Szczykulski M.

Przegląd Elektrotechniczny

|

2015

|

R. 91, nr 11

178-181

EN

Behavior of a complex system can be designed using state machines of the system classes. Using a Model-Driven Development approach models are transformed into an executable code. Structural and behavioral models can be extended with time concepts from the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) profile. The refined models are used in transformation. We presented a case study of a home alarm system that illustrates an application development methodology. It was used in verification of the approach implemented in Framework for eXecutable UML (FXU). This MDD tool, used for development of an C# application from UML classes and state machines, was extended with the support of MARTE time concepts.

PL

Złożone systemy są modelowane z użyciem maszyn stanowych. Transformacje modeli służą do budowy wykonywalnych aplikacji. Modele mogą być uszczegóławiane z wykorzystaniem pojęć czasowych zdefiniowanych w profilu MARTE. W pracy przedstawiono projekt systemu alarmowego ilustrującego modelowanie pojęć czasowych. Transformacja i realizacja aplikacji systemu była wykonana przy pomocy FXU - narzędzia do automatycznej generacji kodu z klas i maszyn stanowych, wspierającego transformacje modeli ze specyfikacją czasu z profilu MARTE.

3

Modelling of data qow in component-based robot perception systems

Trojanek P., Stefańczyk M., Kornuta T.

Pomiary Automatyka Robotyka

|

2013

|

R. 17, nr 2

260-265

EN

The paper presents results of research on the development of robot perception systems. On the basis of the selected exemplary system, typical problems occurring during design of such systems were indicated. Those problems motivated the work set out to formalize the data flow by the use of metamodelling - the key technology of model-driven engineering. The obtained metamodel facilitates development of such systems and enables further creation of tools for models' editing, validation and automatic generation of relevant source code skeletons. Additionally, requirements for a robot perception systems runtime environment were identified and compared with existing component-based robot software frameworks.

PL

W artykule przedstawiono wyniki prac poświęconych budowie układów percepcji systemów robotycznych. Na podstawie wybranego przykładu złożonego systemu percepcji wyróżniono typowe problemy występujące podczas projektowania takich systemów. W celu ich rozwiązania dokonano formalizacji modelu przepływu danych przy użyciu metamodelu - kluczowego elementu w inżynierii opartej na modelach. Opracowany metamodel ułatwia rozwój takich systemów oraz umożliwia stworzenie graficznych narzędzi do edycji modeli konkretnych systemów percepcji, ich walidacji, a ostatecznie do automatycznego generowania szkieletów kodu. Ponadto, zidentyfikowano wymagania odnośnie środowiska wykonawczego omawianej klasy układów oraz porównano je z istniejącymi ramowymi strukturami programowymi opartymi na podejściu komponentowym.