Model-Based Implementation of Parallel Real-Time Systems-Reference-Cited by-同舟云学术

Model-Based Implementation of Parallel Real-Time Systems

Published:2013 Issue: Volume: Page:235-249
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Triki Ahlem,Combaz Jacques,Bensalem Saddek,Sifakis Joseph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-37057-1_18

Reference11 articles.

1. Lecture Notes in Computer Science;A. Ghosal,2004

2. Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: a time-triggered language for embedded programming. Proc. of the IEEE 91(1), 84–99 (2003)

3. Aussaguès, C., David, V.: A method and a technique to model and ensure timeliness in safety critical real-time systems. In: ICECCS, pp. 2–12. IEEE Computer Society (1998)

4. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)

5. Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: Carloni, L.P., Tripakis, S. (eds.) EMSOFT, pp. 229–238. ACM (2010)

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

1. Models of concurrent program running in resource constrained environment;PROBLEMS IN PROGRAMMING;2020-09

2. On Implementable Timed Automata;Formal Techniques for Distributed Objects, Components, and Systems;2020

3. A resource limited parallel program model;PROBLEMS IN PROGRAMMING;2019-12

4. Determining Timing Parameters for the Code Generation from Platform-Independent Timed Models;ACM Transactions on Cyber-Physical Systems;2019-07-31

5. Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems;International Journal on Software Tools for Technology Transfer;2019-06-01