Oumar MaïgaUniversity of Sciences, Techniques and Technology of Bamako · Maths and Computer Science
Oumar Maïga
PhD Computer Science
About
28
Publications
3,793
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
64
Citations
Citations since 2017
Introduction
Oumar Maïga currently works at Université des Sciences, des Techniques et des Technologies de Bamako. Oumar does research in Modeling and Simulation, Software Engineering and Algorithms. Their current project is 'Study and spatio-temporal predictions of urban transportation systems'.
Publications
Publications (28)
Connected systems through computerized networks are at the heart of the Industry of the future. As they merge physical entities with cyber spaces, they fall under the paradigm of cyber-physical production systems. Cybersecurity is a key challenge for such systems, as they are subject to daily attempts of intruders to gain unauthorized access to the...
DEVS is a sound Modeling and Simulation (M&S) framework that describes a model in a modular and hierarchical way. It comes along with an abstract simulation algorithm which defines its operational semantics. Many variants of such an algorithm have been proposed by DEVS researchers. Yet, the proper interpretation and analysis of the computational co...
The quests for transfers of software artifacts between the model ware and grammar ware technical spaces have increased in recent decades. Particularly, the need to port grammar-based concepts into the model ware space has birthed efforts to synthesise Ecore-based metamodels from Extended Backus Naur Form (EBNF)-based grammars. However, automatic de...
The quests for transfers of software artifacts between the model ware and grammar ware technical spaces have increased in recent decades. Particularly , the need to port grammar-based concepts into the model ware space has birthed efforts to synthesise Ecore-based metamodels from Extended Backus Naur Form (EBNF)-based grammars. However, automatic d...
Strategic modelling with a panoramic view plays an important role in decision-making problems. It offers the possibility of generating different solutions before making a decision. This is particularly relevant in critical situations. This article addresses the problem of allocating resources, whether financial, material or human, so that it is opt...
System verification is an ever-lasting system engineering challenge. The increasing complexity in system simulation requires some level of expertise in handling the idioms of logic and discrete mathematics to correctly drive a full verification process. It is recognized that visual modeling can help to fill the knowledge gap between system experts...
As Urban Transportation Systems (UTS) are becoming central in our daily lives, they are also gaining in complexity due to their ever-increasing interdependence with other socio-economic dimensions (such as climate, demography and environmental policies, to name a few). This paper presents a multi-perspective modeling and holistic simulation framewo...
We propose to use the High Level Language for System Specification as a common visual language for DEVS-based simulation model specification and SES-based domain ontological description. In doing so, we ensure continuity in knowledge representation and therefore reduces accidental errors while compressing the time to obtain the simulation model fro...
The effects of a pandemic affect several areas of human activity. One of the key areas is produc-tion, which immediately reflects on economic growth. Through the years, theoretical and sound models have independently been produced to analyze these phenomena (disease spreading and economic dynamics) in isolation. For a holistic understanding, an exc...
The multi-analysis modeling of a complex system is the act of building a family of models which allows to cover a large spectrum of analysis methods (such as simulation, formal methods, enactment…) that can be performed to derive various properties of this system. The High-Level Language for Systems Specification (HiLLS) has recently been introduce...
Une étude exhaustive d'un système complexe nécessite souvent l'utilisation de plusieurs méthodes d'analyse (comme la simulation, l'analyse formelle, ou l'émulation) pour produire des réponses complémentaires aux questions qui se posent. La combinaison de multiples méthodes d'analyse offre plus de possibilités et de rigueur pour analyser un système...
We present HiLLS (High Level Language for System Specification), a graphical formalism that allows to specify Discrete Event System (DES) models for analysis using methodologies like simulation, formal methods and enactment. HiLLS’ syntax is built from the integration of concepts from System Theory and Software Engineering aided by simple concrete...
This thesis proposes a methodology which integrates formal methods in the specification, design, verification and validation processes of complex, concurrent and distributed systems with discrete events perspectives. The methodology is based on the graphical language HILLS (High Level Language for System Specification) that we defined. HiLLS integr...
This paper proposes a novel approach to modeling Dynamic Structure Systems (DSS) using the High Level Language for System Specification, a graphico-textual language that comines system theoretic and software engineering concepts from DEVS (Discrete Event System Specification) and Object-Z respectively to form a unified language for specifying discr...
This paper proposes a framework to guide synthesis of program codes from Discrete Event Systems (DES) models for the enactment of the systems. Enactment in this context is the execution of a system's specification for real time verification of the specified properties and/or building a software solution for the system. Though it has been used exten...
Introducing HiLLS A graphical formalism to model discrete events systems for simulation, logical analysis and code synthesis for enactment. Instead of separate formalisms for modeling different aspects of systems , HiLLS proposes a multi-semantics modeling methodology through the integration of concepts from system theory and software engineering t...
We introduce the High Level Language for system Specification (HiLLS), a graphical formalism to model discrete events systems for simulation formal analysis and code synthesis for enactment. Simulation and Formal Methods are often used in the study and development of complex systems. Though there has been significant progress in the creation of forma...
This paper presents an integrated approach to discrete event systems specification and analysis. The approach is based on the graphical language HiLLS (High Level Language for System Specification). We defined HiLLS by using metamodel composition techniques to consistently integrate complementary constructs from System Theory and Software Engineeri...
The increasing complexity of hardware systems, software systems and embedded systems often requires the use of different languages for modeling their different aspects and different analysis techniques to verify and validate the obtained models. Communication between experts is constrained by the disparateness of the descriptions of the various asp...
Ce travail propose une méthodologie qui intègre les méthodes formelles dans le processus de spécification, de vérification et validation de systèmes dynamiques complexes à événements discrets. La méthodologie est basée sur le langage graphique DDML (DEVS Driven Modeling Language) qui s’appuie sur le formalisme DEVS (Discrete Event System Specificat...
https://hal.archives-ouvertes.fr/hal-00728674
This paper presents a new approach to simulation modeling for discrete event systems that integrates two system design perspectives: object-oriented paradigm and system theoretic approach. The resulting formalism is a highly communicable visual language called DDML (the DEVS Driven Modeling Language) which federates modeling concepts from UML (Unif...
L’objectif visé dans ce travail est l’intégration des méthodes formelles dans le processus de développement de modèles de simulation avec le formalisme DEVS, pour permettre la spécification, la vérification et la validation de modèles. Cette intégration permet de spécifier à la fois les aspects statiques, dynamiques et fonctionnels d’un modèle. L’u...
This paper presents the syntax and semantics of the DEVS-Driven Modeling Language (DDML), a simulation modeling formalism that combines visual modeling, discrete event simulation and formal analysis. The use of visual notations makes DDML highly communicable. Simulation and formal analysis are combined for verification, validation, and accreditatio...
The DEVS-Driven Modeling Language (DDML) is a graphical modeling language that is based on Discrete Event System Specification (DEVS). Models built with DDML are highly expressive and communicable and validation of model properties can be done by simulating these models following the DEVS simulator protocol. We can take advantage of the usefulness...
The DEVS-Driven Modeling Language (DDML) is a graphical modeling language that is based on Discrete Event System Specification (DEVS). Models built with DDML are highly expressive and communicable and validation of model properties can be done by simulating these models following the DEVS simulator protocol. We can take advantage of the usefulness...
Questions
Questions (6)
According to WHO COVID-19 spreads between people through direct, indirect (through contaminated objects or surfaces), or close contact with infected people via mouth and nose secretions. These include saliva, respiratory secretions or secretion droplets.
What are the possible solutions to stop the coronavirus in 2 years at most?
Projects
Projects (3)
Construction of a modeling and simulation software framework for the study and spatio-temporal predictions of urban transportation systems using the formalism HiLLS (High Level Language for System Specification), easily modifiable by the experts in charge of systems urban transport and allows them to better design, improve or expand urban transportation networks.
