Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Abdessamad Jarrar"'
Autor:
Abdessamad Jarrar, Youssef Balouki
Publikováno v:
Modelling and Simulation in Engineering, Vol 2018 (2018)
We propose a general formal modeling and verification of the air traffic control system (ATC). This study is based on the International Civil Aviation Organization (ICAO), Federal Aviation Administration (FAA), and National Aeronautics and Space Admi
Externí odkaz:
https://doaj.org/article/489a02bd031d4c2984f98ae32231a81b
Publikováno v:
Complex Adaptive Systems Modeling, Vol 8, Iss 1, Pp 1-35 (2020)
Complex adaptive systems provide a significant number of concepts such as reaction, interaction, adaptation, and evolution. In general, these concepts are modelled employing different techniques which give an inexplicit vision on the system. Therefor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::066fb99ea73e94ea0d9753e5ad411623
https://doaj.org/article/532be4187da54c998bc7795452b1f346
https://doaj.org/article/532be4187da54c998bc7795452b1f346
Autor:
Abdessamad Jarrar, Youssef Balouki
Antilock Braking System (ABS) is one of the most critical systems in the context of vehicles' mechatronics. The main purpose of the ABS system is allowing the wheels to stop while preventing sliding. It is responsible for ensuring a secure stopping o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ceca61ea93872dbc7eba22ebb7e3842d
https://doi.org/10.4018/978-1-7998-0117-7.ch015
https://doi.org/10.4018/978-1-7998-0117-7.ch015
Publikováno v:
ITM Web of Conferences. 46:02003
The world has experienced a radical change due to the internet. As a matter of fact, it assists people in maintaining their social networks and links them to other members of their social networks when they require assistance. In effect sharing profe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::566c24e30168d6ac5edc2297327782c4
https://doi.org/10.1051/itmconf/20224602003
https://doi.org/10.1051/itmconf/20224602003
Publikováno v:
ITM Web of Conferences. 48:03002
The world has experienced a radical change due to the internet. Internet became a crucial element in our daily life, therefore, the security of our DATA could be threatened at any time. This safety is handled using systems to detect network intrusion
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4bf300ca464a6f28d74aed9063291d2b
https://doi.org/10.1051/itmconf/20224803002
https://doi.org/10.1051/itmconf/20224803002
Autor:
Abdessamad Jarrar, Youssef Balouki
Publikováno v:
Complex Adaptive Systems Modeling, Vol 6, Iss 1, Pp 1-23 (2018)
Air traffic control system in airports is one of the most complex systems in the context of air traffic management due to the huge number of requirements. In order to help engineers to develop such complex system we propose a predefined model that in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ff373095eefd24356507bc21cc18ce07
http://link.springer.com/article/10.1186/s40294-018-0056-4
http://link.springer.com/article/10.1186/s40294-018-0056-4
Publikováno v:
Proceedings of the Third International Conference on Computing and Wireless Communication Systems, ICCWCS 2019, April 24-25, 2019, Faculty of Sciences, Ibn Tofaïl University -Kénitra- Morocco.
We present a set of recommendations to help engineers using the Event-B formal methods to specify the basic modelling concepts of the Reference Model of Open Distributed Processing (RM-ODP). This model is developed by the IUT and ISO in order to stan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6cce5f2dc897b9885f33a42e7e3225b1
https://doi.org/10.4108/eai.24-4-2019.2284096
https://doi.org/10.4108/eai.24-4-2019.2284096
Publikováno v:
Smart Data and Computational Intelligence ISBN: 9783030119133
When modeling a system using the formal method Event-B, One of the most common problems that may occur during a system processing is infinite cycles. Infinite cycles mean that only certain events are allowed to be executed. In this paper, we present
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a6dfec33c9de2539079bb980a9083ece
https://doi.org/10.1007/978-3-030-11914-0_26
https://doi.org/10.1007/978-3-030-11914-0_26
Autor:
Abdessamad Jarrar, Youssef Balouki
Publikováno v:
Computational Science and Its Applications – ICCSA 2018 ISBN: 9783319951645
ICCSA (2)
ICCSA (2)
We present a formal modeling and verification of Air Traffic Control system (ATC) for airspace management. This system assists air traffic controllers by visualizing aircrafts in the airport vicinity. In such a critical-safety system, the use of robu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f473c46b2ba99cd69a96e1ea811eb85c
https://doi.org/10.1007/978-3-319-95165-2_17
https://doi.org/10.1007/978-3-319-95165-2_17
Publikováno v:
International Conference on Information Technology and Communication Systems ISBN: 9783319647180
Aircrafts are the safest means of transport, which requires an excellent management and development. Whereas, Aircraft landing is one of the most complex problems in this domain, Due to the huge increase of aircrafts number in the world.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::be1fea44904b7fa91b4acf680be3b0b8
https://doi.org/10.1007/978-3-319-64719-7_12
https://doi.org/10.1007/978-3-319-64719-7_12