A Methodology of Elicitation of Safety Requirements of Artificial Intelligence Based Functions in Railways
Ankur Mahtani, Insaf Sassi, Ouail Himrane, Abderraouf Boussif
0 citationsLecture notes in mobility
Ouail Himrane
Informations fournies par OpenAlex. Research Africa ne déduit ni nationalité, ni poste, ni coordonnées personnelles.
12Publications signalées
45Citations signalées
1Affiliations récentes
Institutions déclarées
Domaines associés
Risk and Safety AnalysisTransportation Systems and SafetyFormal Methods in VerificationModel-Driven Software Engineering TechniquesRailway Systems and Energy Efficiency
Publications récentes
Quel rôle pour la SOTIF (ISO 21448 : 2022) dans la démonstration de sécurité des trains autonomes ?
Ouail Himrane, Abhimanyu Tonk, Abderraouf Boussif
0 citationsHAL (Le Centre pour la Communication Scientifique Directe)
A Methodology of Elicitation of Safety Requirements of Artificial Intelligence bases Functions in Railway
Ankur Mahtani, Insaf Sassi, Ouail Himrane, Abderraouf Boussif
0 citationsHAL (Le Centre pour la Communication Scientifique Directe)
Implementation of a Model-Oriented Approach for Supporting Safe Integration of GNSS-Based Virtual Balises in ERTMS/ETCS Level 3
Ouail Himrane, Julie Beugin, Mohamed Ghazel
21 citationsIEEE Open Journal of Intelligent Transportation Systems
Contribution à l’évaluation de la sécurité et des performances opérationnelles des systèmes de localisation ferroviaire utilisant le GNSS par une approche fondée sur les modèles formels
0 citationstheses.fr (ABES)
Contribution to safety and operational performance evaluation of GNSS-based railway localization systems using a formal model-based approach
0 citations
From French National Signaling Systems to ERTMS: Considering the Evolution of Track-Side Systems
Dalay Israel de Almeida Pereira, Ouail Himrane, Philippe Bon, Julie Beugin
0 citationsInternational Journal of Signal Processing Systems
Toward Formal Safety and Performance Evaluation of GNSS-based Railway Localisation Function
Ouail Himrane, Julie Beugin, Mohamed Ghazel
12 citationsIFAC-PapersOnLine
Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS
Ouail Himrane, Julie Beugin, Mohamed Ghazel
0 citationsHAL (Le Centre pour la Communication Scientifique Directe)
Proposition d'une approche orientée modèles pour évaluer la sécurité des systèmes de signalisation ferroviaire utilisant les GNSS
Ouail Himrane, Julie Beugin, Mohamed Ghazel
0 citationsHAL (Le Centre pour la Communication Scientifique Directe)
Response time evaluation of industrial-scale distributed control systems by discrete event systems formalisms
Ouail Himrane, Alain Ourghanlian, Saïd Amari
7 citationsInternational Journal of Control
Towards a Model-Based Safety Assessment of Railway Operation using GNSS Localization
Ouail Himrane, Julie Beugin, Mohamed Ghazel
5 citationsProceedings of the 30th European Safety and Reliability Conference and 15th Probabilistic Safety Assessment and Management Conference
BNTIC News n’est pas le producteur de ces données. Recherche à la demande dans Crossref et Europe PMC, sans clé ; OpenAlex reste optionnel. Aucun service payant requis, aucune réponse conservée. Sources et limites.