Verification of real-time systems design

M. Emilia Cambronero; Valentín Valero; Gregorio Díaz

doi:10.1002/stvr.405

Verification of real-time systems design

Software Testing Verification and Reliability ◽

10.1002/stvr.405 ◽

2010 ◽

Vol 20 (1) ◽

pp. 3-37 ◽

Cited By ~ 3

Author(s):

M. Emilia Cambronero ◽

Valentín Valero ◽

Gregorio Díaz

Keyword(s):

Real Time ◽

Systems Design ◽

Real Time Systems ◽

Time Systems

Download Full-text

An environment for object-oriented real-time systems design

Proceedings 8th Conference on Software Engineering Environments ◽

10.1109/see.1997.591813 ◽

2002 ◽

Author(s):

R. van de Weg ◽

R. Engmann ◽

R. van de Hoef ◽

V. ten Thij

Keyword(s):

Real Time ◽

Systems Design ◽

Object Oriented ◽

Real Time Systems ◽

Time Systems

Download Full-text

Compositional Model for Formal Development of Real-Time Systems Design

AMAST Series in Computing - Real-Time Systems ◽

10.1142/9789812708472_0011 ◽

2007 ◽

pp. 237-261

Author(s):

F. Vazquez ◽

S. Rotenstreich

Keyword(s):

Real Time ◽

Systems Design ◽

Real Time Systems ◽

Compositional Model ◽

Formal Development ◽

Time Systems

Download Full-text

An adaptable object model for real-time systems design

Proceedings of the IEEE 1996 National Aerospace and Electronics Conference NAECON 1996 ◽

10.1109/naecon.1996.517729 ◽

2002 ◽

Author(s):

R. Guetari ◽

G.T. Nguyen

Keyword(s):

Real Time ◽

Systems Design ◽

Object Model ◽

Real Time Systems ◽

Time Systems

Download Full-text

Real-time systems: Design principles for distributed embedded applications

Computers & Mathematics with Applications ◽

10.1016/s0898-1221(97)90277-7 ◽

1997 ◽

Vol 34 (10) ◽

pp. 142 ◽

Cited By ~ 4

Keyword(s):

Real Time ◽

Systems Design ◽

Design Principles ◽

Real Time Systems ◽

Time Systems ◽

Embedded Applications

Download Full-text

State of the art review paper: advances in embedded hard real-time systems design

ISIE '99. Proceedings of the IEEE International Symposium on Industrial Electronics (Cat. No.99TH8465) ◽

10.1109/isie.1999.801753 ◽

2003 ◽

Author(s):

M. Colnaric

Keyword(s):

Real Time ◽

Review Paper ◽

State Of The Art ◽

Systems Design ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

DERAF: A High-Level Aspects Framework for Distributed Embedded Real-Time Systems Design

Lecture Notes in Computer Science - Early Aspects: Current Challenges and Future Directions ◽

10.1007/978-3-540-76811-1_4 ◽

2007 ◽

pp. 55-74 ◽

Cited By ~ 17

Author(s):

Edison Pignaton de Freitas ◽

Marco Aurélio Wehrmeister ◽

Elias Teodoro Silva ◽

Fabiano Costa Carvalho ◽

Carlos Eduardo Pereira ◽

...

Keyword(s):

Real Time ◽

Systems Design ◽

Real Time Systems ◽

High Level ◽

Time Systems

Download Full-text

Avionics hard real-time systems' design concerning fault tolerance

2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC) ◽

10.1109/dasc.2012.6383058 ◽

2012 ◽

Author(s):

D. S. Loubach ◽

A. M. da Cunha

Keyword(s):

Fault Tolerance ◽

Real Time ◽

Systems Design ◽

Real Time Systems ◽

Hard Real Time ◽

Time Systems

Download Full-text

Dynamic Coarse Grain Dataflow Reconfiguration Technique for Real-Time Systems Design

2005 IEEE International Symposium on Circuits and Systems ◽

10.1109/iscas.2005.1465386 ◽

2005 ◽

Cited By ~ 1

Author(s):

Xiaoyao Liang ◽

A. Athalye ◽

Sangjin Hong

Keyword(s):

Real Time ◽

Systems Design ◽

Coarse Grain ◽

Real Time Systems ◽

Time Systems

Download Full-text

A DSP course for real-time systems design and implementation based on the TMS320C6211 DSK

2002 14th International Conference on Digital Signal Processing Proceedings. DSP 2002 (Cat. No.02TH8628) ◽

10.1109/icdsp.2002.1028224 ◽

2003 ◽

Cited By ~ 6

Author(s):

M.D. Galanis ◽

A. Papazacharias ◽

E. Zigouris

Keyword(s):

Real Time ◽

Systems Design ◽

Real Time Systems ◽

Design And Implementation ◽

Time Systems

Download Full-text

Testing and debugging in real time systems-design decisions to use a distributed computer architecture in a real time application

[1989] Proceedings. EUROMICRO Workshop on Real Time ◽

10.1109/emwrt.1989.43447 ◽

2003 ◽

Author(s):

R. Hinkel ◽

E. von Puttkamer

Keyword(s):

Computer Architecture ◽

Real Time ◽

Systems Design ◽

Real Time Systems ◽

Design Decisions ◽

Testing And Debugging ◽

Time Systems ◽

Real Time Application

Download Full-text