UML models for dependability analysis of real-time systems

2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583) ◽

10.1109/icsmc.2004.1401021 ◽

2005 ◽

Cited By ~ 13

Author(s):

N. Addouche ◽

C. Antaine ◽

J. Montmain

Keyword(s):

Real Time ◽

Real Time Systems ◽

Dependability Analysis ◽

Time Systems ◽

Uml Models

Download Full-text

Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms

10.22215/etd/2006-06634 ◽

2006 ◽

Cited By ~ 1

Author(s):

Vahid Garousi

Keyword(s):

Genetic Algorithms ◽

Real Time ◽

Stress Testing ◽

Real Time Systems ◽

Time Systems ◽

Uml Models

Download Full-text

Towards Early Verification of UML Models for Embedded and Real-Time Systems

IFAC Proceedings Volumes ◽

10.3182/20120403-3-de-3010.00030 ◽

2012 ◽

Vol 45 (4) ◽

pp. 25-30 ◽

Cited By ~ 1

Author(s):

Marco A. Wehrmeister ◽

João G. Packer ◽

Luis M. Ceron ◽

Carlos E. Pereira

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Uml Models

Download Full-text

Dependability Analysis of Safety Critical Real-Time Systems by Using Petri Nets

IEEE Transactions on Control Systems Technology ◽

10.1109/tcst.2017.2669147 ◽

2018 ◽

Vol 26 (2) ◽

pp. 415-426 ◽

Cited By ~ 12

Author(s):

Lalit Kumar Singh ◽

Hitesh Rajput

Keyword(s):

Petri Nets ◽

Real Time ◽

Real Time Systems ◽

Safety Critical ◽

Dependability Analysis ◽

Time Systems

Download Full-text

Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms

Journal of Systems and Software ◽

10.1016/j.jss.2007.05.037 ◽

2008 ◽

Vol 81 (2) ◽

pp. 161-185 ◽

Cited By ~ 25

Author(s):

Vahid Garousi ◽

Lionel C. Briand ◽

Yvan Labiche

Keyword(s):

Genetic Algorithms ◽

Real Time ◽

Stress Testing ◽

Real Time Systems ◽

Time Systems ◽

Uml Models

Download Full-text

Combining Extended UML Models and Formal Methods to Analyze Real-Time Systems

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/11563228_3 ◽

2005 ◽

pp. 24-36 ◽

Cited By ~ 2

Author(s):

Nawal Addouche ◽

Christian Antoine ◽

Jacky Montmain

Keyword(s):

Real Time ◽

Formal Methods ◽

Real Time Systems ◽

Time Systems ◽

Uml Models

Download Full-text

Support for early verification of embedded real-time systems through UML models simulation

ACM SIGOPS Operating Systems Review ◽

10.1145/2146382.2146396 ◽

2012 ◽

Vol 46 (1) ◽

pp. 73-81 ◽

Cited By ~ 6

Author(s):

Marco A. Wehrmeister ◽

Joao G. Packer ◽

Luis M. Ceron

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Uml Models

Download Full-text

Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty

2008 International Conference on Software Testing, Verification, and Validation ◽

10.1109/icst.2008.7 ◽

2008 ◽

Cited By ~ 13

Author(s):

Vahid Garousi

Keyword(s):

Real Time ◽

Stress Testing ◽

Real Time Systems ◽

Time Uncertainty ◽

Time Systems ◽

Uml Models

Download Full-text

Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models

2011 Brazilian Symposium on Computing System Engineering ◽

10.1109/sbesc.2011.47 ◽

2011 ◽

Cited By ~ 1

Author(s):

Marco A. Wehrmeister ◽

Joao G. Packer ◽

Luis M. Ceron

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Uml Models

Download Full-text

Software Engineering for Real Time Systems

IEE Review ◽

10.1049/ir:19920047 ◽

1992 ◽

Vol 38 (3) ◽

pp. 112

Author(s):

Stuart Bennett

Keyword(s):

Software Engineering ◽

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

An adaptive scheduling algorithm for fault-tolerant real-time systems

Software Engineering Journal ◽

10.1049/sej.1991.0013 ◽

1991 ◽

Vol 6 (3) ◽

pp. 93 ◽

Cited By ~ 13

Author(s):

Houssine Chetto ◽

Maryline Chetto

Keyword(s):

Real Time ◽

Fault Tolerant ◽

Scheduling Algorithm ◽

Adaptive Scheduling ◽

Real Time Systems ◽

Time Systems

Download Full-text