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 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

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

On Component-Based Development and High-Integrity Real-Time Systems

2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications ◽

10.1109/rtcsa.2009.15 ◽

2009 ◽

Cited By ~ 11

Author(s):

Marco Panunzio ◽

Tullio Vardanega

Keyword(s):

Real Time ◽

Real Time Systems ◽

Component Based Development ◽

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

An MDE methodology for the development of high-integrity real-time systems

2009 Design, Automation & Test in Europe Conference & Exhibition ◽

10.1109/date.2009.5090837 ◽

2009 ◽

Cited By ~ 8

Author(s):

S. Mazzini ◽

S. Puri ◽

T. Vardanega

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Time Systems

Download Full-text

Model-Driven Engineering for Distributed Real-Time Systems

10.1002/9781118558096 ◽

2013 ◽

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Engineering ◽

Model Driven ◽

Time Systems

Download Full-text

AMoDE-RT: Advancing Model-Driven Engineering for embedded real-time systems

16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013) ◽

10.1109/isorc.2013.6913233 ◽

2013 ◽

Author(s):

Marco A. Wehrmeister ◽

Gian R. Berkenbrock

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Engineering ◽

Model Driven ◽

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