Slicing UML-based Models of Real-time Embedded Systems-Reference-Cited by-同舟云学术

Slicing UML-based Models of Real-time Embedded Systems

Published:2018-10-14 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems
language:
Short-container-title:

Author:

Ahmadi Reza¹,Posse Ernesto²,Dingel Juergen¹

Affiliation:

1. Queen's University, Kingston, Ontario, Canada

2. Zeligsoft, Gatineau, Quebec, Canada

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3239372.3239407

Reference48 articles.

1. A piece of cake. http://www0.cs.ucl.ac.uk/staff/mharman/exe1.html. Accessed: 2018-02-02. A piece of cake. http://www0.cs.ucl.ac.uk/staff/mharman/exe1.html. Accessed: 2018-02-02.

2. Autofocus. https://af3.fortiss.org/en/ 2016. Accessed: 2017-12-15. Autofocus. https://af3.fortiss.org/en/ 2016. Accessed: 2017-12-15.

3. Rational Software Architect Realtime Edition. http://www-01.ibm.com/support/docview.wss?uid=swg24034299 2016. Accessed: 2016-8-10. Rational Software Architect Realtime Edition. http://www-01.ibm.com/support/docview.wss?uid=swg24034299 2016. Accessed: 2016-8-10.

4. Modeling realtime applications in RSARTE. https://www.ibm.com/developerworks/community/blogs/a8b06f94-c701-42e5-a15f-e86cf8a8f62e/resource/Documents/RSARTEConcepts.pdf 2017. Accessed: 2018-03-06. Modeling realtime applications in RSARTE. https://www.ibm.com/developerworks/community/blogs/a8b06f94-c701-42e5-a15f-e86cf8a8f62e/resource/Documents/RSARTEConcepts.pdf 2017. Accessed: 2018-03-06.

5. mxGraph. https://jgraph.github.io/mxgraph/ 2017. Accessed: 2018-03-02. mxGraph. https://jgraph.github.io/mxgraph/ 2017. Accessed: 2018-03-02.

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

1. The OSATE Slicer: Graph-Based Reachability for Architectural Models.;The Journal of Object Technology;2023

2. Mercury: Instruction Pipeline Aware Code Generation for Simulink Models;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2022-11

3. MDD: A Unified Model-driven Design Framework for Embedded Control Software;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2021

4. Concolic testing for models of state-based systems;Proceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2019-08-12