Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model

2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications ◽

10.1109/seaa.2011.40 ◽

2011 ◽

Cited By ~ 2

Author(s):

Hector Perez ◽

J. Javier Gutierrez ◽

Esteban Asensio ◽

Juan Zamorano ◽

Juan A. de la Puente

Keyword(s):

Real Time ◽

Flow Model ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

High Integrity ◽

End To End ◽

Time Systems

Download Full-text

The fujaba real-time tool suite- model-driven development of safety-critical, real-time systems

Proceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005. ◽

10.1109/icse.2005.1553646 ◽

2005 ◽

Cited By ~ 4

Author(s):

S. Burmester ◽

H. Giese ◽

M. Hirsch ◽

D. Schilling ◽

M. Tichy

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Safety Critical ◽

Model Driven ◽

Time Systems

Download Full-text

Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems

2008 23rd IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2008.86 ◽

2008 ◽

Author(s):

Matteo Bordin ◽

Marco Panunzio ◽

Stefano Puri

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven ◽

High Integrity ◽

Time Systems

Download Full-text

Model-Driven Development of Real-Time Systems with UML 2.0 and C

Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06) ◽

10.1109/mbd-mompes.2006.21 ◽

2006 ◽

Cited By ~ 6

Author(s):

M.U. Khan ◽

K. Geihs ◽

F. Gutbrodt ◽

P. Gohner ◽

R. Trauter

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

Uml 2.0 ◽

Time Systems

Download Full-text

Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers

10.4271/2007-01-1495 ◽

2007 ◽

Cited By ~ 1

Author(s):

Christian Ferdinand ◽

Reinhold Heckmann ◽

Hans-Joerg Wolff ◽

Christian Renz ◽

Manabendra Gupta ◽

...

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

Hard Real Time ◽

Time Systems

Download Full-text

Towards Model-Driven Development of Hard Real-Time Systems

Model-Driven Development of Reliable Automotive Services - Lecture Notes in Computer Science ◽

10.1007/978-3-540-70930-5_10 ◽

2008 ◽

pp. 145-160 ◽

Cited By ~ 3

Author(s):

Christian Ferdinand ◽

Reinhold Heckmann ◽

Hans-Jörg Wolff ◽

Christian Renz ◽

Oleg Parshin ◽

...

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

Hard Real Time ◽

Time Systems

Download Full-text

An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems

10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07) ◽

10.1109/isorc.2007.17 ◽

2007 ◽

Cited By ~ 41

Author(s):

Marco A. Wehrmeister ◽

Edison P. Freitas ◽

Carlos E. Pereira ◽

Flavio R. Wagner

Keyword(s):

Real Time ◽

Real Time Systems ◽

Functional Requirements ◽

Model Driven Development ◽

Model Driven ◽

Time Systems ◽

Oriented Approach

Download Full-text

Monitoring capabilities of schedulers in model-driven development of real-time systems

Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012) ◽

10.1109/etfa.2012.6489589 ◽

2012 ◽

Cited By ~ 7

Author(s):

Mehrdad Saadatmand ◽

Mikael Sjodin ◽

Naveed Ul Mustafa

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

Time Systems

Download Full-text

Model-level, platform-independent debugging in the context of the model-driven development of real-time systems

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 ◽

10.1145/3106237.3106278 ◽

2017 ◽

Cited By ~ 15

Author(s):

Mojtaba Bagherzadeh ◽

Nicolas Hili ◽

Juergen Dingel

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

Time Systems

Download Full-text

Architecture description languages for high-integrity real-time systems

IEEE Software ◽

10.1109/ms.2006.36 ◽

2006 ◽

Vol 23 (2) ◽

pp. 71-79 ◽

Cited By ~ 5

Author(s):

A. Radjenovic ◽

R. Paige

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages ◽

Time Systems

Download Full-text

Formal Specification and Timing Analysis of High-Integrity Real-Time Systems

Real Time Computing - NATO ASI Series ◽

10.1007/978-3-642-88049-0_10 ◽

1994 ◽

pp. 187-211

Author(s):

Miguel Felder ◽

Carlo Ghezzi ◽

Mauro Pezzé

Keyword(s):

Real Time ◽

Formal Specification ◽

Timing Analysis ◽

Real Time Systems ◽

High Integrity ◽

Time Systems

Download Full-text