The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Models Oriented Approach for Developing Railway Safety-Critical Systems with UML
Abstract
This chapter presents an approach for certified design of railway critical systems. This approach, which realizes the software development cycle, relies on metamodeling architecture and model-transformations. It combines semi-formal UML models and formal models in order to check, proof and generate code by refinement; we use the process algebra FSP to check the dynamic behavior and B to generate proved code. Initially, the authors select an UML subset, which could be uses to model the key aspects of critical systems. Then, from this subset, the authors perform projections to obtain B and FSP models which are exploited by tools for checking, refinement and proof.
Related Content
|
Subhadip Kowar, Sneha Mukherjee, Shramana Ghosh.
© 2025.
26 pages.
|
|
C. V. Suresh Babu, Mala Raja Sekhar, A. Sachin, Bala Brindha.
© 2025.
26 pages.
|
|
A. D. N. Sarma.
© 2025.
32 pages.
|
|
Muhammad Usman Tariq.
© 2025.
26 pages.
|
|
Maaike Stoops, Pablo Alfonso Aguilar Calderón, Óscar Manuel Peña Bañuelos.
© 2025.
30 pages.
|
|
Pablo Alfonso Aguilar Calderón, José Alfonso Aguilar-Calderón, Dominik Morales-Silva, Carolina Tripp-Barba, Pedro Alfonso Aguilar-Calderón, Aníbal Zaldívar-Colado, Oscar Manuel Peña-Bañuelos.
© 2025.
30 pages.
|
|
Carlos Villarrubia, David Granada, Juan Manuel Vara.
© 2025.
34 pages.
|
|
|