scholarly journals Formalization and Verification of Reconfigurable Discrete-event System using Model Driven Engineering and Isabelle/HOL

2020 ◽  
Author(s):  
Sohaib Soualah ◽  
Yousra Hafidi ◽  
Mohamed Khalgui ◽  
Allaoua Chaoui ◽  
Laid Kahloul
Keyword(s):  
Discrete Event ◽  
Discrete Event System ◽  
Model Driven Engineering ◽  
Model Driven ◽  
Event System

The high level language for system specification: A model-driven approach to systems engineering

2016 ◽  
Vol 07 (01) ◽  
pp. 1641003 ◽  
Author(s):  
Hamzat Olanrewaju Aliyu ◽  
Oumar Maïga ◽  
Mamadou Kaba Traoré
Keyword(s):  
Systems Engineering ◽  
Discrete Event ◽  
Discrete Event System ◽  
High Level Language ◽  
System Specification ◽  
Model Driven ◽  
Event System ◽  
Visual Formalisms ◽  
Devs Formalism ◽  
High Level

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 notations to describe the structural and behavioral aspects of DESs. This paper provides the syntax of HiLLS and its simulation semantics which is based on the Discrete Event System Specification (DEVS) formalism. From DEVS-based Modeling and Simulation (M&S) perspective, HiLLS is a platform-independent visual language with generic expressions that can serve as a front-end for most existing DEVS-based simulation environments with the aid of Model-Driven Engineering (MDE) techniques. It also suggests ways to fill some gaps in existing DEVS-based visual formalisms that inhibit complete specification of the behavior of complex DESs. We provide a case study to illustrate the core features of the language.

scholarly journals Discrete Event System Control in Max-Plus Algebra: Application to Manufacturing Systems

2020 ◽  
Vol 53 (4) ◽  
pp. 143-150
Author(s):  
Gabriel Freitas Oliveira ◽  
Renato Markele Ferreira Candido ◽  
Vinicius Mariano Gonçalves ◽  
Carlos Andrey Maia ◽  
Bertrand Cottenceau ◽  
...  
Keyword(s):  
Manufacturing Systems ◽  
Discrete Event ◽  
Discrete Event System ◽  
System Control ◽  
Event System

scholarly journals Mitigation of Classes of Attacks using a Probabilistic Discrete Event System Framework

2020 ◽  
Vol 53 (4) ◽  
pp. 35-41
Author(s):  
Ze Yang Wang ◽  
Rômulo Meira-Góes ◽  
Stéphane Lafortune ◽  
Raymond H. Kwong
Keyword(s):  
Discrete Event ◽  
Discrete Event System ◽  
System Framework ◽  
Event System
Sign in / Sign up

Export Citation Format

Share Document