Valery Marcial Monthe

Multi-target synthesis of logic controllers using a MDE approach

Gérard Nzebop Ndenoka, Maurice Tchuenté, Emmanuel Simeu, Valéry Monthé

Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées

Grafcet is a powerful graphical modeling language for the specification of controllers in discrete event systems. It considers hierarchical structures as well as structural and semantic constraints. In this paper, we propose to use a Grafcet specification model in a Model Driven Engineering (MDE) approach for multi-target synthesis of embedded logic control systems based on microcontrollers. In this approach, a Grafcet metamodel is associated with a microcontroller metamodel which characterizes the microcontroller platform features to be considered when generating code. The Grafcet metamodel includes the modeling of expressions to facilitate model verification and an easy interpretation of Grafcet events and time constraints. Transformation rules for generation of C-programmable microcontroller code are then presented. As application, we present a platform based on Eclipse EMF, Object Constraint Language (OCL) and Acceleo code generation engine. Le Grafcet est un puissant langage de modélisation graphique pour la spécification de contrôleurs dans des systèmes à événements discrets. Il prend en compte des structures hiérarchiques ainsi que des contraintes structurelles et sémantiques.Ici, nous proposons d'utiliser un modèle de spécification Grafcet dans une approche d'ingénierie dirigée par les modèles (IDM) pour la synthèse multi-cible de systèmes de contrôle commande embarqués basés sur des microcontrôleurs.Dans cette approche, un métamodèle Grafcet est associé à un métamodèle microcontrôleur, lequel caractérise les fonctionnalités de la plateforme spécifique microcontrôleur à considéerer lors de la génération de code.Ce métamodèle Grafcet proposé prend en compte la modélisation des expressions pour faciliter la vérification du modèle et une interprétation facile des événements Grafcet ainsi que des contraintes de temps. Les règles de transformation utiles à la génération de code pour des microcontrôleurs C-programmables sont ensuite présentées.Comme application, nous présentons une plateforme basée sur Eclipse EMF, Object Constraint Language (OCL) et le moteur de génération de code Acceleo.

• #vlsi and analog circuit testing
• #radiation effects in electronics
• #embedded systems design techniques
• #computer science

Enhancing Private Cloud Based Intrusion Prevention and Detection System: An Unsupervised Machine Learning Approach

Théophile Fonzin Fozin, Halilou Claude Bobo Hamadjida, Aurelle Tchagna Kouanou, Valéry Monthé, Anicet Brice Mezatio, Michael Sone Ekonde

Journal of Cyber Security

Cloud computing is a transformational paradigm involving the delivery of applications and services over the Internet, using access mechanisms through microprocessors, smartphones, etc. Latency time to prevent and detect moder... | Find, read and cite all the research you need on Tech Science Press

• #network security and intrusion detection
• #cloud computing
• #intrusion detection system
• #computer science

Introducing a deep learning method for brain tumor classification using MRI data towards better performance

Alain Marcel Dikande Simo, Aurelle Tchagna Kouanou, Valéry Monthé, Michael Kameni Nana, Bertrand Moffo Lonla

Informatics in Medicine Unlocked

Magnetic resonance imaging (MRI) is widely used to detect brain tumors, but its accuracy depends on the physician's expertise and often requires biopsy confirmation. Deep learning, especially in the field of computer vision, has revolutionized the diagnosis and classification of brain tumors using MRI. This study aims to design a sequential brain tumor detection and classification model based on deep learning and using fully convolutional neural networks. The proposed model consists of two steps: distinguishing non-neoplastic brain from neoplastic brain and determining the tumor type of the latter. Two models were trained using the Brain Tumor MRI Dataset. Four optimizers are studied for three classification tasks (Adam, Nesterov momentum, root-mean-square propagation, and adaptive gradient) to achieve the best results. Adam performed best at distinguishing tumor from non-tumor brains, with 100 % training accuracy and 98 % validation and test accuracy. Nesterov Momentum performed best at differentiating the three tumor types, with 100 % training accuracy and 92 % validation and testing accuracy. Nesterov also performed best on the third classification task, with 100 % training accuracy and 95 % validation and test accuracy. Nesterov-based sequence models show significant results compared to literature works. The proposed Nesterov momentum-based sequence model achieves high accuracy in MRI brain tumor detection and classification.

• #brain tumor detection and classification
• #advanced neural network applications
• #machine learning and elm
• #artificial intelligence

A Model-Based Approach for Common Representation and Description of Robotics Software Architectures

Valéry Monthé, Laurent Nana, Georges Edouard Kouamou

Applied Sciences

Unlike conventional software, robotic software suffers from a lack of methods and processes that could systematize and facilitate development. Thus, the application of software engineering techniques is at the heart of current issues in robotics. The work presented in this paper aims to facilitate the development of robotic software and to facilitate communication between experts in the field through the use of software engineering techniques and methods. It proposes RsaML (Robotic Software Architecture Modeling Language), a Domain Specific Modeling Language (DSML) dedicated to robotics, which takes into account the different categories of robotic software architectures and makes it possible to describe the latter independently from the implementation platform. The conceptual model defining the terminology and the hierarchy of concepts used for the description and representation of robotic software architectures in RsaML are presented in this article. RsaML is defined through a meta-model which represents the abstract syntax of the language. The real-time properties of robotic software architectures are identified and included in the meta-model. The use of RsaML is illustrated through several experimental scenarios of the language: the definition of a robotic system and the description of its software architecture, the verification of the semantics of a robotic software architecture, and the modeling of a robotic system whose software architecture does not belong to the usual categories. The support tool used for implementations and experimentation is Eclipse Modeling Framework (EMF). The results of experimentation showed good working of the proposed solution and made it possible to validate the main concepts of the RsaML language.

• #advanced software engineering methodologies
• #model-driven software engineering techniques
• #modular robots and swarm intelligence
• #computer science

Simulation Tools and Methods of Physical Phenomena for Smart City

Eloi Bandia Keita, Valéry Monthé, Pierre-Yves Lucas, Bernard Pottier

Many physical phenomena can be modeled as the propagation of sound or radio waves, the fluids flow, the distribution of gas, the dispersion produced in a river, etc. With the help of the AC we can deduce very realistic situations. In previous work, we simulated the propagation of sound in the city using cellular automata, taking into account the urban parameters. In that works, we used horizontal bars to simulate the presence of obstacles (buildings and others) in the sound propagation environment. These obstacles have been defined with arbitrarily fixed coefficients of resistance. In this paper, we rely on the models and algorithms proposed in previous works, to observe the behavior of our simulations of sound, in a concrete environment of obstacle. For this we use NetGen[1], which is a map processing tool. PickCell allows us to analyze the behavior of sound in a concrete environment

• #cellular automata and applications
• #obstacle
• #cellular automaton
• #computer science

A Decision Support Framework for the Choice of Languages and Methods for the Design of Real Time Embedded Systems

Valéry Monthé, Laurent Nana, Georges Edouard Kouamou, Claude Tangha

Journal of Software Engineering and Applications

The choice of methods or design languages is a crucial phase in the development of systems and software, also for real time and embedded systems. An open question that remains in the design of these types of systems is to build a method, or to choose one among those existing, capable to cover the life cycle of a project, and particularly the development phases. This article contributes to answer the question, by proposing an approach based on a multi-criteria comparative study, of few languages and methods dedicated to the design of real time and embedded systems. The underlying objective of this work is to present to designers a wide range of approaches, and elements that can guide their choices. In order to reach this goal, we propose different comparison criteria. Each criterion is divided into sub-criteria, so that the designers can refine their choices according to the qualities they prefer and wish to have in the method or language. We also define a rating scale which is used to assess the retained languages and methods. The scores obtained from this assessment are presented in tables, one table per criterion, followed by a summary table giving the overall scores. Graphics built from these tables are provided and intend to facilitate the judgement and thus the choice of the designers.

• #advanced software engineering methodologies
• #real-time systems scheduling
• #model-driven software engineering techniques
• #table (database)

A comparison approach for the choise of languages and methods for real-time and embedded systems design: application to robotic systems

Valéry Monthé, Laurent Nana, Georges Edouard Kouamou, Claude Tangha

HAL (Le Centre pour la Communication Scientifique Directe)

International audience

• #embedded systems design techniques
• #robotic path planning algorithms
• #robotics and automated systems
• #computer science

MV-SYDIME : A virtual patient for medical diagnosis apprenticeship

Valéry Monthé, Bernabé Batchakui, Claude Tangha, Felix Tietche

Shortage of medical personnel and the existence of inexperienced ones, are frequently the causes of false diagnosis, and call for a reflection on the methods of training of the later. One of the solutions might be the application of new technologies in the training of medical students, in order to counter the shortage of experts as well as training conditions which are usually inadequate (no patients available for practice). The aim of this paper is to propose a virtual patient, on which an expert can formulate pathology, and hand this patient to a learner for exercises on medical diagnostics.

• #radiology practices and education
• #economic shortage
• #apprenticeship
• #medical diagnosis

MVâ??SYDIME : A Virtual Patient for Medical Diagnosis Apprenticeship

Bernabé Batchakui, Valéry Monthé, Claude Tangha

International Journal of Online and Biomedical Engineering (iJOE)

Shortage of medical personnel and the existence of inexperienced ones, are frequently the causes of false diagnosis, and call for a reflection on the methods of training of the later. One of the solutions might be the application of new technologies in the training of medical students, in order to counter the shortage of experts as well as training conditions which are usually inadequate (no patients available for practice). The aim of this paper is to propose a virtual patient, on which an expert can formulate pathology, and hand this patient to a learner for exercises on medical diagnostics.

• #radiology practices and education
• #economic shortage
• #apprenticeship
• #medical diagnosis