A Natural Language Processing (NLP) Framework for Embedded Systems to Automatically Extract Verification Aspects from Textual Design Requirements

Anwar, Muhammad Waseem; Ahsan, Imran; Azam, Farooque; Butt, Wasi Haider; Rashid, Muhammad

doi:10.1145/3384613.3384619

Cited by 10 publications

(10 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A worthwhile method to take into account IT development constraints is to implement natural language processing (NLP) frameworks such as [16,17] or [18]. The later publication details a novel framework dedicated to the automatic extraction and verification of operational constraints.…”

Section: Literature Review Of Existing Tools and Framework To The Construction And Documentation Of It Projectsmentioning

confidence: 99%

An architecture as a code framework to manage documentation of IT projects

Gaie¹,

Florat²,

Morvan³

2021

ACI

View full text Add to dashboard Cite

PurposeIn the present article, the authors tackle the problem of IT documentation, which plays an important role in information technology (IT) project management.Design/methodology/approachThey provide a simple tool based on five complementary views, which should be detailed by the project team using a classic source code management platform.FindingsThe proposed tool is open source and may be reused by any IT team in various project contexts and heterogeneous development methods.Originality/valueThis research provides an operational framework, which facilitates IT project management and documentation. The framework is open source and may be easily downloaded by any other IT team.

show abstract

Section: Literature Review Of Existing Tools and Framework To The Construction And Documentation Of It Projectsmentioning

confidence: 99%

An architecture as a code framework to manage documentation of IT projects

Gaie¹,

Florat²,

Morvan³

2021

ACI

View full text Add to dashboard Cite

show abstract

“…Thus, these systems need to be verified as early as possible in the development process to reduce the cost and effort in the context of MBSE [57]. To achieve these goals, the UML profile for SystemVerilog (UMLSV) [58,59] and a novel Natural Language Processing (NLP) framework [60] were developed to completely model the design and verification requirements of systems.…”

Section: Related Workmentioning

confidence: 99%

“…They permit us to undergo reverse engineering of applications to track the requirements of the developed systems. In particular, we can also use the SystemVerilog tool [58,59] and a novel NLP framework [60] to completely validate the control requirements and design models of the developed system.…”

Section: External Interfacementioning

confidence: 99%

See 1 more Smart Citation

An Object-Oriented Systems Engineering Point of View to Develop Controllers of Quadrotor Unmanned Aerial Vehicles

Hien

Truong

Bui

2020

International Journal of Aerospace Engineering

View full text Add to dashboard Cite

The aerospace industry needs to be provided with system solutions to technologically challenging and mission-critical problems. Based on the industrial control point of view, development engineers must take costs and existing standards into account in order to effectively design, implement, and deploy control systems with reasonable costs. The customization and reusability are important factors associated with the production of new applications in order to reduce their costs, resources, and development time. In this work, the Model-Driven Architecture (MDA)/Model-Based Systems Engineering (MBSE) approach combined with the real-time Unified Modeling Language (UML)/Systems Modeling Language (SysML), Unscented Kalman Filter (UKF) algorithm, and hybrid automata is specialized to obtain a hybrid control model in order to conveniently deploy controllers of Quadrotor Unmanned Aerial Vehicles (Q-UAVs). This hybrid control model also provides a real-time capsule pattern, which allows the designed elements to be customizable and reusable in new applications of various multirotor UAVs of the Vertical Take-Off and Landing (VTOL) type. The Q-UAV dynamics and control architecture are combined with the MDA/MBSE specialization as follows: the Computation Independent Model (CIM) is defined by specifying the use-case model together with the UKF algorithm and hybrid automata to intensively gather the control requirements. The Platform Independent Model (PIM) is then designed by specializing the real-time UML/SysML’s features to obtain the main control capsules, ports, and protocols, together with their dynamic evolution. The detailed PIM is subsequently transformed into the PSM by open-source platforms to rapidly implement and deploy the Q-UAV controller. The paper ends with trial flights and deployment results that show good feasibility to be used for a trajectory-tracking controller of a low-cost Q-UAV. In this case study, the Q-UAV controller is implemented with the simulation model in the OpenModelica tool. The obtained simulation results then allow the main control elements and their properties to be defined, as well as building the implementation libraries in the Arduino environment based on C++ language to quickly perform the realization model in the ATMEGA32-U2 and STM32 Cortex-M4 microcontrollers.

show abstract

“…In MDA, the transformation of higher-level source models to the target platform specific models or low-level code is generally carried out through transformation rules [48] either employing M2T (Model to Text) or M2M (Model to Model) transformations. The generated code from M2T transformation reduces the development time and effort as well as minimizes the risk of introducing errors during the development process.…”

Section: Transformation Rulesmentioning

confidence: 99%

A model-driven framework for data-driven applications in serverless cloud computing

et al. 2020

Self Cite

View full text Add to dashboard Cite

In a serverless cloud computing environment, the cloud provider dynamically manages the allocation of resources whereas the developers purely focus on their applications. The datadriven applications in serverless cloud computing mainly address the web as well as other distributed scenarios, and therefore, it is essential to offer a consistent user experience across different connection types. In order to address the issues of data-driven application in a real-time distributed environment, the use of GraphQL (Graph Query Language) is getting more and more popularity in state-of-the-art cloud computing approaches. However, the existing solutions target the low level implementation of GraphQL, for the development of a complex data-driven application, which may lead to several errors and involve a significant amount of development efforts due to various users' requirements in real-time. Therefore, it is critical to simplify the development process of data-driven applications in a serverless cloud computing environment. Consequently, this research introduces UMLPDA (Unified Modeling Language Profile for Data-driven Applications), which adopts the concepts of UML-based Model-driven Architectures to model the frontend as well as the backend requirements for data-driven applications developed at a higher abstraction level. Particularly, a modeling approach is proposed to resolve the development complexities such as data communication and synchronization. Subsequently, a complete open source transformation engine is developed using a Model-to-Text approach to automatically generate the frontend as well as backend low level implementations of Angular2 and GraphQL respectively. The validation of proposed work is performed with three different case studies, deployed on Amazon Web Services platform. The results show that the proposed framework enables to develop the data-driven applications with simplicity.

show abstract

A Natural Language Processing (NLP) Framework for Embedded Systems to Automatically Extract Verification Aspects from Textual Design Requirements

Cited by 10 publications

References 7 publications

An architecture as a code framework to manage documentation of IT projects

An architecture as a code framework to manage documentation of IT projects

An Object-Oriented Systems Engineering Point of View to Develop Controllers of Quadrotor Unmanned Aerial Vehicles

A model-driven framework for data-driven applications in serverless cloud computing

Contact Info

Product

Resources

About