Zakaryae Boudi

Ecole Mohammadia d'Ingénieurs

Ensuring railway interoperability in Europe implies that the functional specifications have a common understanding by all the stakeholders. One solution to guarantee that point is the formalization of the specification. Under the French project called “PERFECT”, we aim to formalize railway specifications and validate various systems in order to det...

Meeting the strict safety requirements in critical software development is today crucial for the safety-related industrial environment, especially railways. To be able to prove that all safety properties are captured in the system requirements and software specifications, as well as that the final software product satisfies all specifications, a fo...

This paper presents a high level Petri net modeling methodology for railway systems safety critical scenarios. This methodology is based on modular high level Petri nets, including most relevant components of a railway safety system, as safety regulation procedures, interlocking and especially human factors, enabling more various gathering of infor...

Artificial Intelligence (AI) and data are reshaping organizations and businesses. Human Resources (HR) management and talent development make no exception, as they tend to involve more automation and growing quantities of data. Because this brings implications on workforce, career transparency and equal opportunities, overseeing what fuels AI and a...

From straightforward knowledge management to sophisticated AI models, ontologies have proved great potential in capturing expertise while being particularly apposite to today’s data abundance and digital transformation. AI and data are reshaping a wide range of sectors, in particular, human resources management and talent development, which tend to...

Mathematical techniques known as formal methods have demonstrated great value in building safe-by-design systems and processes. However, the booming industry automation and digitalization require sustained advances in engineering approaches to address the emerging control-command challenges, all with respect to the highest quality and safety standa...

This paper presents a “CPN/B method” based process for railway systems safety analysis. Achieving interoperability through the European Rail Traffic Management System (ERTMS/ETCS) is facing difficulties in railway safety assessment due to the interaction of national and European operating specifications. These specifications have been modeled using...

Reaching the critical software safety requirements is one of the most important and complex tasks for the safety-related industry. This fact explains, as it was highly recommended by the CENELEC standard, the increasing use of formal means in the development process. However, industrial environments are still reticent facing difficulties in incorpo...

Fulfilling the safety requirements is one of the most serious and problematic issues in critical systems design and safety critical software development. In this context, thanks to their analysis power, formal methods have been widely used in the various stages of the design and the implementation of safety critical systems. However, some methods s...

Providing an efficient, safe and secure transportation service is a core factor for European growth, collaboration and employment. As such, this has been identified as a priority in the Europe 2020 strategy. Land transportation has two main challenges concerning security: avoiding interrupts of transport itself in order to assure the flow of freigh...

Analyzing railway critical scenarios usually involves a large team of diverse railway abilities and skills. This paper presents a formal modeling pattern for Hierarchical Colored Petri Nets (HCPN) in modeling railway safety critical scenarios. Indeed, under the French project called “PERFECT”, our long-term objective is to formalize and automate a...