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 ◽

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 ◽

Download Full-text

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

10.4271/2007-01-1495 ◽

2007 ◽

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

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 ◽

Author(s):

Hector Perez ◽

J. Javier Gutierrez ◽

Esteban Asensio ◽

Juan Zamorano ◽

Juan A. de la Puente

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

High Integrity ◽

Download Full-text

Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code

Model Driven Architecture – Foundations and Applications - Lecture Notes in Computer Science ◽

10.1007/11581741_4 ◽

2005 ◽

pp. 25-40 ◽

Author(s):

Sven Burmester ◽

Holger Giese ◽

Wilhelm Schäfer

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Architecture ◽

Model Driven ◽

Hard Real Time ◽

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 ◽

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 ◽

Author(s):

Mehrdad Saadatmand ◽

Mikael Sjodin ◽

Naveed Ul Mustafa

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

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 ◽

Author(s):

Mojtaba Bagherzadeh ◽

Nicolas Hili ◽

Juergen Dingel

Keyword(s):

Real Time ◽

Real Time Systems ◽

Model Driven Development ◽

Model Driven ◽

Download Full-text

On the Uses of Synchronization in Hard-real-time Systems

10.1109/milcom.1983.4794801 ◽

1983 ◽

Author(s):

Stuart R. Faulk ◽

David L. Parnas

Keyword(s):

Real Time ◽

Real Time Systems ◽

Hard Real Time ◽

Download Full-text

A comparison of temporal Petri net techniques in the specification and design of hard real-time systems

Microprocessing and Microprogramming ◽

10.1016/0165-6074(91)90332-n ◽

1991 ◽

Vol 32 (1-5) ◽

pp. 111-118 ◽

Author(s):

J.S. Sagoo ◽

D.J. Holding

Keyword(s):

Real Time ◽

Petri Net ◽

Real Time Systems ◽

Hard Real Time ◽

Download Full-text