scholarly journals NOVA Mobility Assistive System: Developed and Remotely Controlled with IOPT-Tools

Electronics ◽  
2020 ◽  
Vol 9 (8) ◽  
pp. 1328
Author(s):  
Filipe Moutinho ◽  
Rogerio Campos-Rebelo ◽  
Carolina Lagartinho-Oliveira ◽  
Edna Moreira ◽  
Bruno Almeida ◽  
...  
Keyword(s):  
High Speed ◽  
Information Dissemination ◽  
Traffic Light ◽  
Code Generator ◽  
Model Driven ◽  
Work Related ◽  
Output Place ◽  
Data Infrastructures ◽  
Development Approach ◽  
Automatic Code

In this paper, a Mobility Assistive System (NOVA-MAS) and a model-driven development approach are proposed to support the acquisition and analysis of data, infrastructures control, and dissemination of information along public roads. A literature review showed that the work related to mobility assistance of pedestrians in wheelchairs has a gap in ensuring their safety on road. The problem is that pedestrians in wheelchairs and scooters often do not enjoy adequate and safe lanes for their circulation on public roads, having to travel sometimes side by side with vehicles and cars moving at high speed. With NOVA-MAS, city infrastructures can obtain information regarding the environment and provide it to their users/vehicles, increasing road safety in an inclusive way, contributing to the decrease of the accidents of pedestrians in wheelchairs. NOVA-MAS not only supports information dissemination, but also data acquisition from sensors and infrastructures control, such as traffic light signs. For that, it proposed a development approach that supports the acquisition of data from the environment and its control while using a tool framework, named IOPT-Tools (Input-Output Place-Transition Tools). IOPT-Tools support controllers’ specification, validation, and implementation, with remote operation capabilities. The infrastructures’ controllers are specified through IOPT Petri net models, which are then simulated using computational tools and verified using state-space-based model-checking tools. In addition, an automatic code generator tool generates the C code, which supports the controllers’ implementation, avoiding manual codification errors. A set of prototypes were developed and tested to validate and conclude on the feasibility of the proposals.

scholarly journals Model-driven development and multiprocessor implementation of a dynamic control algorithm for nanopositioning and nanomeasuring machines

2009 ◽  
Vol 223 (3) ◽  
pp. 417-429
Author(s):  
M Müller ◽  
W Fengler ◽  
A Amthor ◽  
C Ament
Keyword(s):  
Code Generation ◽  
Control Algorithm ◽  
Dynamic Control ◽  
Design Environment ◽  
Trajectory Tracking Control ◽  
Model Driven ◽  
Distributed Implementation ◽  
Computationally Intensive ◽  
Development Approach ◽  
Automatic Code

This article presents a computationally intensive adaptive trajectory tracking control algorithm for dynamic control of nanopositioning and nanomeasuring machines. To realize the required high sample rate of the control algorithm, an embedded multiprocessor architecture has been chosen as development target. The model-oriented development approach studied here aims to narrow the gap between the control system design environment MATLAB/Simulink® and the actual distributed implementation on the custom platform by introducing a custom code generation target intending the utilization of automatic code generation facilities.

Merging and Splitting Petri Net Models within Distributed Embedded Controller Design

2013 ◽  
pp. 160-183 ◽  
Author(s):  
Luis Gomes ◽  
Anikó Costa ◽  
João Paulo Barros ◽  
Filipe Moutinho ◽  
Fernando Pereira
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Code Generation ◽  
Controller Design ◽  
Output Place ◽  
Time Domains ◽  
Splitting Operation ◽  
Embedded Controller ◽  
Automatic Code ◽  
Property Verification

Design of distributed embedded controllers can benefit from the adoption of a model-based development attitude, where Petri nets modeling can provide support for a comprehensive specification and documentation of the system together with verification capabilities and automatic deployment into implementation platforms. This chapter presents a Petri nets-based development flow based on composition and decomposition of Petri net models, using Input-Output Place-Transition Petri nets (IOPT nets) as the underlying formalism, allowing reusability of models in new situations through a net addition operation, as well as partitioning of the model into components using a net splitting operation. Distributed embedded controllers are addressed adding the concept of time domains to IOPT nets. Finally, a tool chain framework is presented supporting the whole development process, from specification to implementation, including property verification, simulation, and automatic code generation for deployment into implementation platforms (considering hardware-based implementation and VHDL coding or software-oriented implementation and C coding).

AlexandRIA

2014 ◽  
pp. 303-322
Keyword(s):  
Code Generation ◽  
Automatic Generation ◽  
Cloud Services ◽  
Software Modeling ◽  
Application Development ◽  
Internet Applications ◽  
Model Driven ◽  
Rich Internet Applications ◽  
Ui Design ◽  
Automatic Code

Model-Driven Development (MDD) tools for Rich Internet Applications (RIAs) development are focused on software modeling, and they leave automatic code generation in a second term. On the other hand, Rapid Application Development (RAD) tools for RIAs development enable developers to save development time and effort by leveraging reusable software components. AlexandRIA is a RAD tool that allows developers to automatically generate both source and native code of multi-device RIAs from a set of preferences selected throughout a wizard following the phases of a User Interface (UI) pattern-based code generation approach for multi-device RIAs. In this chapter, the use of the UI design process behind AlexandRIA is demonstrated by means of a sample development scenario addressing the development of a cloud services Application Programming Interfaces (APIs)-based cross-platform mobile RIA. This scenario is further revisited in a case study that addresses the automatic generation of an equivalent application using AlexandRIA.

Context-Aware Applications for the Web

2011 ◽  
pp. 417-440
Author(s):  
Florian Daniel
Keyword(s):  
Context Awareness ◽  
Web Applications ◽  
User Profile ◽  
Expressive Power ◽  
Context Aware ◽  
Web Engineering ◽  
Runtime Adaptation ◽  
Model Driven ◽  
Context Data ◽  
Development Approach

Adaptivity (the runtime adaptation to user profile data) and context-awareness (the runtime adaptation to generic context data) have been gaining momentum in the field of Web engineering over the last years, especially in response to the ever growing demand for highly personalized services and applications coming from end users. Developing context-aware and adaptive Web applications requires addressing a few design concerns that are proper of such kind of applications and independent of the chosen modeling paradigm or programming language. In this chapter we characterize the design of context-aware Web applications, the authors describe a conceptual, model-driven development approach, and they show how the peculiarities of context-awareness require augmenting the expressive power of conceptual models in order to be able to express adaptive application behaviors.

Sign in / Sign up

Export Citation Format

Share Document