About this document
Between Academics and Practice: Model-Based Development of Generic Safety-Critical Systems by Tiémogo TRAORE is a document available to read on EtoBox.
The document discusses modeling an RBC system using SysML. It presents experiences modeling the generic behavior of an RBC to work with different railway infrastructures. Key challenges discussed are validating generic models and verifying conformance of implementations to the model.
- Author
- Tiémogo TRAORE
- Language
- EN