Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application-Reference-Cited by-同舟云学术

Automatic Transformation of SysML Model to Event-B Model for Railway CCS Application

Published:2021 Issue: Volume: Page:143-149
ISSN:0302-9743
Container-title:Rigorous State-Based Methods
language:
Short-container-title:

Author:

Salunkhe Shubhangi^ORCID,Berglehner Randolf,Rasheeq Abdul

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-77543-8_14

Reference12 articles.

1. Friedenthal, S., Moore, A., Steiner, R.: OMG systems modeling language (OMG SysML) tutorial. In: INCOSE International Symposium, vol. 9 (2006)

2. Abrial, J.-R., et al.: Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transfer 12(6), 447–466 (2010)

3. Weidmann, N., et al.: Incremental bidirectional model transformation with eMoflon: IBeX. In: Cheney, J., Ko, H.-S. (eds.) [Email Protected] 2019 (CEUR Workshop Proceedings), vol. 2355, pp. 45–55. CEUR-WS.org (2019)

4. Berglehner, R., Rasheeq, A., Cherif, I.: An approach to improve SysML railway specification using UML-B and EVENT-B. Poster Presented at RSSRail (2019)

5. Lecture Notes in Computer Science;A Schürr,1995

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Challenges Engaging Formal CBSE in Industrial Applications;Lecture Notes in Computer Science;2024

2. Automating an Integrated Model-Driven Approach to Analysing the Impact of Cyberattacks on Safety;Lecture Notes in Computer Science;2024

3. Decomposition and Modeling of the Situational Awareness of Unmanned Aerial Vehicles for Advanced Air Mobility;Drones;2023-08-01

4. Ont4Sys: Ontology-based tool of Semantic Representation and Verification for Traceability Models;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

5. Automating an Analysis of Safety-Security Interactions for Railway Systems;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2023