Timing consistency checking for UML/MARTE behavioral models-Reference-Cited by-同舟云学术

Timing consistency checking for UML/MARTE behavioral models

Published:2015-09-10 Issue:3 Volume:24 Page:835-876
ISSN:0963-9314
Container-title:Software Quality Journal
language:en
Short-container-title:Software Qual J

Author:

Choi Jinho,Jee Eunkyoung,Bae Doo-Hwan

Publisher

Springer Science and Business Media LLC

Subject

Safety, Risk, Reliability and Quality,Software

Link

http://link.springer.com/content/pdf/10.1007/s11219-015-9290-6.pdf

Reference52 articles.

1. Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.

2. Amnell, T., Fersman, E., Pettersson, P., Sun, H., & Yi, W. (2002). Code synthesis for timed automata. Nordic Journal of Computing, 9(4), 269–300.

3. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., & Yi, W. (2004). TIMES: A tool for schedulability analysis and code generation of real-time systems. In Formal modeling and analysis of timed systems (pp. 60–72). Berlin: Springer.

4. Bérard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., et al. (2010). Systems and software verification: Model-checking techniques and tools. Berlin: Springer.

5. Chiorean, D., Paşca, M., Cârcu, A., Botiza, C., & Moldovan, S. (2004). Ensuring UML models consistency using the OCL environment. Electronic Notes in Theoretical Computer Science, 102, 99–110.

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

1. From UML/MARTE Specifications to ESL HW/SW Co-Design: Early Functional Verification and Timing Validation;Companion of the 2023 ACM/SPEC International Conference on Performance Engineering;2023-04-15

2. A Model-Driven Approach for Early Verification and Validation of Embedded Systems;2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2021-10

3. Simulating Timing Behaviors for Cyber-Physical Systems Using Modelica;International Journal of Software Science and Computational Intelligence;2019-07

4. Ein Modellierungsansatz für eine Systemarchitekturbeschreibung von Automotive-Systemen mit MARTE und SysML;at - Automatisierungstechnik;2019-06-01