From MARTE to Reconfigurable NoCs

2010 ◽  
pp. 135-157
Author(s):  
Imran Rafiq Quadri ◽  
Majdi Elhaji ◽  
Samy Meftali ◽  
Jean-Luc Dekeyser
Keyword(s):  
System Modeling ◽  
Unified Modeling Language ◽  
Modeling And Analysis ◽  
Unified Modeling ◽  
Model Driven ◽  
Abstraction Level ◽  
Management Group ◽  
High Level Modeling ◽  
High Level ◽  
Abstraction Levels

Due to the continuous exponential rise in SoC’s design complexity, there is a critical need to find new seamless methodologies and tools to handle the SoC co-design aspects. We address this issue and propose a novel SoC co-design methodology based on Model Driven Engineering and the MARTE (Modeling and Analysis of Real-Time and Embedded Systems) standard proposed by Object Management Group, to raise the design abstraction levels. Extensions of this standard have enabled us to move from high level specifications to execution platforms such as reconfigurable FPGAs. In this chapter, we present a high level modeling approach that targets modern Network on Chips systems. The overall objective: to perform system modeling at a high abstraction level expressed in Unified Modeling Language (UML); and afterwards, transform these high level models into detailed enriched lower level models in order to automatically generate the necessary code for final FPGA synthesis.

scholarly journals High level modeling of Dynamic Reconfigurable FPGAs

2009 ◽  
Vol 2009 ◽  
pp. 1-15 ◽  
Author(s):  
Imran Rafiq Quadri ◽  
Samy Meftali ◽  
Jean-Luc Dekeyser
Keyword(s):  
Embedded Systems ◽  
System Modeling ◽  
Unified Modeling Language ◽  
Modeling And Analysis ◽  
Model Driven ◽  
Fine Grain ◽  
Industry Standard ◽  
On Chip ◽  
High Level ◽  
Abstraction Levels

As System-on-Chip (SoC) based embedded systems have become a defacto industry standard, their overall design complexity has increased exponentially in recent years, necessitating the introduction of new seamless methodologies and tools to handle the SoC codesign aspects. This paper presents a novel SoC co-design methodology based on Model Driven Engineering and the Modeling and Analysis of Real-Time and Embedded Systems (MARTE) standard, permitting us to raise the abstraction levels and allows to model fine grain reconfigurable architectures such as FPGAs. Extensions of this methodology have enabled us to integrate new features such as Partial Dynamic Reconfiguration supported by Modern FPGAs. The overall objective is to carry out system modeling at a high abstraction level expressed in a graphical language like Unified Modeling Language (UML) and afterwards transformation of these models automatically generate the necessary code for FPGA synthesis.

UML Based Design Approach for Storage System of Nano-Satellite

2014 ◽  
Vol 599-601 ◽  
pp. 530-533
Author(s):  
Hong Hao Wang ◽  
Hui Quan Wang ◽  
Zhong He Jin
Keyword(s):  
Storage System ◽  
Unified Modeling Language ◽  
Object Oriented ◽  
Modeling Language ◽  
Nand Flash ◽  
Unified Modeling ◽  
Object Oriented Design ◽  
High Level Modeling ◽  
High Level

Due to the complex timing sequence of NAND flash, a unified design process is urgently required to guarantee the reliability of storage system of nano-satellite. Unified Modeling Language (UML) is a widely used high level modeling language for object-oriented design. This paper adopts the UML as the design and modelling tool in the low level storage system design to elaborate the UML application in each phase of design in detail. The result shows taking UML as the modelling tool results in a clear and unambiguity design, which promotes the reliability and quality of software. At last, the feasibility of object-oriented implementation in C is presented.

Architectural Modelling of Cyber Physical Systems Using UML

2019 ◽  
Vol 1 (2) ◽  
pp. 19-37
Author(s):  
K. Sridhar Patnaik ◽  
Itu Snigdh
Keyword(s):  
System Modeling ◽  
Unified Modeling Language ◽  
Research Area ◽  
Cyber Physical Systems ◽  
Engineering Systems ◽  
Physical Systems ◽  
Unified Modeling ◽  
System Verification ◽  
High Level ◽  
Modeling Representation

Cyber-physical systems (CPS) is an exciting emerging research area that has drawn the attention of many researchers. However, the difficulties of computing and physical paradigm introduce a lot of trials while developing CPS, such as incorporation of heterogeneous physical entities, system verification, security assurance, and so on. A common or unified architecture plays an important role in the process of CPS design. This article introduces the architectural modeling representation of CPS. The layers of models are integrated from high level to lower level to get the general Meta model. Architecture captures the essential attributes of a CPS. Despite the rapid growth in IoT and CPS a general principled modeling approach for the systematic development of these new engineering systems is still missing. System modeling is one of the important aspects of developing abstract models of a system wherein, each model represents a different view or perspective of that system. With Unified Modeling Language (UML), the graphical analogy of such complex systems can be successfully presented.

Modeling and Analysis of Complex System with UML: A Case Study

2014 ◽  
Vol 513-517 ◽  
pp. 1346-1351 ◽  
Author(s):  
Munina Yusufu ◽  
Hai Jun Zhang ◽  
Gulina Yusufu ◽  
Zhan Dong Liu ◽  
Pen Cheng ◽  
...  
Keyword(s):  
System Development ◽  
Unified Modeling Language ◽  
Activity Diagram ◽  
Modeling And Analysis ◽  
Unified Modeling ◽  
Development Methodology ◽  
State Chart ◽  
High Level ◽  
Collaboration Diagram

The Unified Modeling Language - UML - is the most used specification language, and the way the world models not only application structure, behavior, and architecture, but also business process and data structure. In this paper, we aim to demonstrate a system development methodology by generating the UML diagrams from the requirements of the Automatic Banking Machine (ABM) System and discuss their relationships, differences and suitability. The high-level requirements of the system are specified by using use-case diagram, activity diagram, state chart diagram, collaboration diagram, sequence diagram, and component diagram, and the low-level requirements of each component using class diagrams. We briefly introduce each diagram, their usage, their advantages and some limitations, and then we discuss the relationships and differences between two or more diagrams, and suitability for modeling the different parts of the system.

A Retargetable Model-Driven Framework for the Development of Mobile User Interfaces

2021 ◽  
pp. 2250018
Author(s):  
Mehreen Khan ◽  
Farooque Azam ◽  
Muhammad Rashid ◽  
Fatima Samea ◽  
Muhammad Waseem Anwar ◽  
...  
Keyword(s):  
User Interfaces ◽  
Mobile Applications ◽  
Unified Modeling Language ◽  
Major Elements ◽  
Mobile User ◽  
Tool Support ◽  
Model Driven ◽  
Abstraction Level ◽  
Source Models ◽  
High Level

Since the emergence of mobile devices, the architecture of mobile applications has been transformed significantly. In mobile applications, the User Interface (UI) is one of the major elements, but its development is complex and time-consuming. Existing practices do not support various presentation issues of the UI at a higher abstraction level, in a retargetable fashion, with complete tool support. Therefore, it is critical to develop a simple and automated framework for the development of mobile UIs by exploiting model-driven engineering concepts. In this paper, a Unified Modeling language (UML) profile for Mobile User Interfaces (UMMUI) has been proposed, which employs some standard UML notations for representing the mobile UI requirements at a higher abstraction level. Subsequently, a complete open-source transformation engine has been developed to automatically transform the high-level source models (in UMMUI) into the target low-level React Native implementation. Finally, the applicability of the proposed framework is validated through two benchmark case studies, i.e., Patient Management System and Library Application. The results verify that the proposed framework allows the modeling of UIs with simplicity and generates the target code automatically with minimum transformation losses.

scholarly journals Management Information System For Garuda Cooperatives, Sragen

2015 ◽  
Vol 4 (1) ◽  
pp. 8
Author(s):  
Fahrizal Surya Panuntun ◽  
Ahmad Subhan Yazid ◽  
Muhammad Mustakim
Keyword(s):  
Information System ◽  
Management Information System ◽  
System Modeling ◽  
Unified Modeling Language ◽  
Management Information ◽  
Unified Modeling ◽  
Business Units ◽  
Statechart Diagram ◽  
Savings And Loan ◽  
Analysis Design

The need for information in life has transformed into basic needs. As an impact, this will cause problems when not handled properly. The Garuda Cooperative is one of the Employee Cooperatives in Sragen with complex managerial data but its management is still manual. To support its business process, a management information system is needed to handle data quickly and accurately. This study aims to develop a management information system for Garuda Cooperatives. The flow of research used is analysis, design, implementation, testing, and conclusion. System modeling uses the Unified Modeling Language (UML) in the form of a use case diagram and statechart diagram. The programming language used is Delphi with PostgreSQL as database management. The information system produced includes processing savings and loan business units, processing membership data and reports. The results of the system testing on 8 respondents showed that the system was running well to meet needs, had an attractive appearance, and was easy to use.

scholarly journals Inventory Information System Design at PT. Instaprint Jaya Primatama

2020 ◽  
Vol 1 (2 April) ◽  
pp. 129-142
Author(s):  
Janu Ilham Saputro ◽  
Dwiana Octavia ◽  
Hurdjanto Wibisono
Keyword(s):  
Current System ◽  
System Modeling ◽  
Unified Modeling Language ◽  
Fast Time ◽  
Literature Study ◽  
Information System Design ◽  
Unified Modeling ◽  
Long Time ◽  
Operational Activities ◽  
A Company

Information technology is rapidly developing all existing activities or activities become very important in determining the progress of the company, both in operational and non-operational activities, one of which is the procurement report which must produce accurate and accurate reports. PT Instaprint Jaya Primatama is a company engaged in the field of digital printing while those who do not yet have a system that uses stock of goods, the current system still has problems such as requiring a long time to find the amount needed Every day and making reports still using Ms. Excel so there is a delay in the company's performance. This study aims to create a system that can support the process of reporting needs that can be done effectively, the design process uses the PIECES method, system modeling using UML (Unified Modeling Language) to use visualization, which can be used by using the Hypertext Preprocessor programming language (PHP ) with a MySQL-Server database as a database. And to collect data, the authors use the method of observation, interviews, and literature study. With the system of preparation of goods, can make it easier for inventory administrators to produce accurate reports with a fast time can be made in order to produce effective and efficient.

scholarly journals Διαδικασία ανάπτυξης βιομηχανικών εφαρμογών ελέγχου και εργαλείο υποστήριξής της

2006 ◽  
Author(s):  
Χρήστος Τρανώρης
Keyword(s):  
Unified Modeling Language ◽  
International Electrotechnical Commission ◽  
Object Constraint Language ◽  
Unified Modeling ◽  
Model Driven ◽  
Function Block ◽  
Uml Profiles ◽  
Constraint Language ◽  
Function Blocks ◽  
Meta Modeling

Η αναβάθμιση της διαδικασίας ανάπτυξης εφαρμογών λογισμικού που αφορούν τον έλεγχο βιομηχανικών συστημάτων, είναι ένα θέμα που απασχολεί για δεκαετίες του μηχανικούς ελέγχου αλλά και τους μηχανικούς λογισμικού. Κατά την ανάπτυξη των βιομηχανικών εφαρμογών, οι μηχανικοί καλούνται να ικανοποιήσουν πληθώρα απαιτήσεων μεταξύ των οποίων: συμβατότητα με το υπάρχον εγκατεστημένο υλικό, συμβατότητα με τις ήδη εγκατεστημένες παλαιότερες εφαρμογές και επαναχρησιμοποίηση τμημάτων λογισμικού. Για τους παραπάνω λόγους, αναζητούνται συνεχώς λύσεις οι οποίες: θα προσφέρουν μια περισσότερο φιλική προς το μηχανικό ελέγχου διαδικασία ανάπτυξης η οποία θα υποστηρίζει επεκτασιμότητα των εφαρμογών, θα διευκολύνει την επαναχρησιμοποίηση τμημάτων του λογισμικού, θα ενισχύει την συντήρηση του λογισμικού και θα είναι ανεξάρτητη από το υλικό εκτέλεσης των βιομηχανικών συστημάτων. Η International Electrotechnical Commission (IEC) για να αντιμετωπίσει τις απαιτήσεις των σύγχρονων συστημάτων δημιούργησε το πρότυπο IEC61499 το οποίο έρχεται να επεκτείνει το Function Block του IEC61131. Το IEC61499, καθορίζει μια μεθοδολογία σχεδιασμού, όπου το Function Block είναι το βασικό δομικό συστατικό για την ανάπτυξη διαλειτουργικών κατανεμημένων εφαρμογών αυτοματισμού και ελέγχου. Οι εφαρμογές ελέγχου μπορούν να υλοποιηθούν από Function Block δίκτυα διασυνδέοντας τις εισόδους και εξόδους τους. Το IEC61499 προτείνει επίσης τον σχεδιασμό εργαλείων λογισμικού για την υποστήριξη (εν μέρει αυτοματοποίηση) της διαδικασίας ανάπτυξης. Στην παρούσα διατριβή, παρουσιάζεται μια νέα προσέγγιση για τον σχεδιασμό κατανεμημένων βιομηχανικών εφαρμογών και πιο συγκεκριμένα Συστημάτων Μέτρησης και Ελέγχου Βιομηχανικών Διεργασιών1 (IPMCSs) όπως τα ορίζει το πρότυπο IEC. Η προσέγγιση εστιάζει στον ορισμό μιας μεθοδολογίας για την φάση της ανάλυσης και κύρια την τεκμηρίωση των απαιτήσεων και τον μετέπειτα μετασχηματισμό του μοντέλου ανάλυσης σε μοντέλο σχεδιασμού. Η προτεινόμενη προσέγγιση βασίζεται σε κατάλληλα οριζόμενες έννοιες και τεχνικές και αξιοποιεί τελευταίες τάσεις από το χώρο της Μηχανιστικής Λογισμικού (Software Engineering), όπως είναι η έννοια της μετα-μοντελοποίησης (Meta-modeling) όπως αυτή ορίζεται στα πλαίσια της βασισμένης σε μοντέλα ανάπτυξης (Model Driven Development) και της Unified Modeling Language (UML) και των επεκτάσεων της (UML Profiles) και εφαρμογή αυτών στο σχεδιασμό βιομηχανικών εφαρμογών. Για την ομαλή μετάβαση από τις καταγεγραμμένες απαιτήσεις σε μοντέλα σχεδιασμού τεκμηριώθηκε και παρουσιάζεται ένα σύνολο κανόνων μετασχηματισμού το οποίο περιγράφηκε αυστηρά με χρήση της Object Constraint Language. Για να αξιοποιηθεί η προτεινόμενη προσέγγιση από μηχανικούς ελέγχου, σχεδιάστηκε και υλοποιήθηκε ένα εργαλείο λογισμικού συμβατό με το πρότυπο IEC61499. Το εργαλείο που έχει το όνομα CORFU ESS έρχεται να υποστηρίξει: α) την φάση της ανάλυσης, β) τον μετασχηματισμό του μοντέλου ανάλυσης σε μοντέλο σχεδιασμού, γ) τον σχεδιασμό εφαρμογών με Function Blocks όπως ορίζει το IEC61499, δ) την κατανομή των Function Block στις συσκευές των βιομηχανικών δικτύων και ε) τον έλεγχο των τελικών Function Block δικτύων. Η προσέγγιση εφαρμόσθηκε σε μελέτες περίπτωσης για να επιδείξει την εφαρμοσιμότητα της προτεινόμενης διαδικασίας, την αποτελεσματικότητα του εργαλείου που αναπτύχθηκε και την δυνατότητα της διαδικασίας και του εργαλείου να καλύψουν απαιτήσεις μικρής ή μεγάλης κλίμακας εφαρμογών.

scholarly journals An Extended Rule of the SysML Requirement Diagram Transformation into OWL Ontologies

2021 ◽  
Vol 14 (1) ◽  
pp. 506-515
Author(s):  
Ahmad Ashari ◽  
◽  
Anny Sari ◽  
Helna Wardhana ◽  
◽  
...  
Keyword(s):  
Response Time ◽  
System Modeling ◽  
Unified Modeling Language ◽  
Modeling Language ◽  
Functional Requirements ◽  
Unified Modeling ◽  
Object Property ◽  
Transformation Rules ◽  
Owl Ontology ◽  
Time Required

The System Modeling Language (SysML) used the Requirement Diagram to model non-functional requirements, such as response time, size, or system functionality, which cannot be accommodated in the Unified Modeling Language (UML). SysML Requirement Diagram, in its implementation, integrates with several diagrams describing the requirements, which are referred to as additional elements. The absence of transformation rules for these additional elements to become OWL ontology causes difficulties in reading, understanding, and tracking the requirements. In this research, an extended rule of the Requirement Diagram transformation is proposed to solve the problems. First, some transformation rules are defined to make requirements easier to trace and realize the ontology generation's automatic transformation. Second, the time required during transformation processing to prepare and generate the OWL file shows the proposed model's performance. The ontology components produced from this research, such as class, subclass, object property, and data property, can be viewed in Protégé.

Reverse Engineering of Object-Oriented Code

2017 ◽  
pp. 1479-1502
Author(s):  
Liliana Favre ◽  
Liliana Martinez ◽  
Claudia Pereira
Keyword(s):  
Reverse Engineering ◽  
Information Integration ◽  
Object Oriented ◽  
Research Area ◽  
Model Driven ◽  
Management Group ◽  
Engineering Models ◽  
Software Modernization ◽  
New Research ◽  
Abstraction Levels

Software modernization is a new research area in the software industry that is intended to provide support for transforming an existing software system to a new one that satisfies new demands. Software modernization requires technical frameworks for information integration and tool interoperability that allow managing new platform technologies, design techniques, and processes. To meet these demands, Architecture-Driven Modernization (ADM) has emerged as the new OMG (Object Management Group) initiative for modernization. Reverse engineering techniques play a crucial role in system modernization. This chapter describes the state of the art in the model-driven modernization area, reverse engineering in particular. A framework to reverse engineering models from object-oriented code that distinguishes three different abstraction levels linked to models, metamodels, and formal specification is described. The chapter includes an analysis of technologies that support ADM standards and provides a summary of the principles that can be used to govern current modernization efforts.

Sign in / Sign up

Export Citation Format

Share Document