Using an architecture description language for quantitative analysis of real-time systems

Proceedings of the third international workshop on Software and performance - WOSP '02 ◽

10.1145/584369.584399 ◽

2002 ◽

Author(s):

Robert Allen ◽

Steve Vestal ◽

Dennis Cornhill ◽

Bruce Lewis

Keyword(s):

Quantitative Analysis ◽

Real Time ◽

Real Time Systems ◽

Description Language ◽

Architecture Description Language ◽

Architecture Description ◽

Download Full-text

Extending Harmless architecture description language for embedded real-time systems validation

2011 6th IEEE International Symposium on Industrial and Embedded Systems ◽

10.1109/sies.2011.5953665 ◽

2011 ◽

Author(s):

Jean-Luc Bechennec ◽

Mikael Briday ◽

Valere Alibert

Keyword(s):

Real Time ◽

Real Time Systems ◽

Description Language ◽

Architecture Description Language ◽

Architecture Description ◽

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 ◽

Author(s):

A. Radjenovic ◽

R. Paige

Keyword(s):

Real Time ◽

Real Time Systems ◽

High Integrity ◽

Architecture Description Languages ◽

Architecture Description ◽

Description Languages ◽

Download Full-text

Harmless, a hardware architecture description language dedicated to real-time embedded system simulation

Journal of Systems Architecture ◽

10.1016/j.sysarc.2012.05.001 ◽

2012 ◽

Vol 58 (8) ◽

pp. 318-337 ◽

Author(s):

Rola Kassem ◽

Mikaël Briday ◽

Jean-Luc Béchennec ◽

Guillaume Savaton ◽

Yvon Trinquet

Keyword(s):

Embedded System ◽

Real Time ◽

System Simulation ◽

Hardware Architecture ◽

Description Language ◽

Architecture Description Language ◽

Architecture Description

Download Full-text

A description language for engineering of complex real-time systems

Real-Time Systems ◽

10.1007/bf00337681 ◽

1996 ◽

Vol 11 (3) ◽

pp. 245-263 ◽

Author(s):

Alexander D. Stoyenko ◽

Thomas J. Marlowe ◽

Phillip A. Laplante

Keyword(s):

Real Time ◽

Real Time Systems ◽

Description Language ◽

Download Full-text

Mode changes in a real-time architecture description language

Proceedings of 2nd International Workshop on Configurable Distributed Systems ◽

10.1109/iwcds.1994.289928 ◽

2002 ◽

Author(s):

S. Vestal

Keyword(s):

Real Time ◽

Description Language ◽

Architecture Description Language ◽

Architecture Description

Download Full-text

A description language for engineering of complex real-time systems

The Engineering of Complex Real-Time Computer Control Systems ◽

10.1007/978-0-585-34653-3_3 ◽

2007 ◽

pp. 245-263

Author(s):

Alexander D. Stoyenko ◽

Thomas J. Marlowe ◽

Phillip A. Laplante

Keyword(s):

Real Time ◽

Real Time Systems ◽

Description Language ◽

Download Full-text

An approach for developing real-time distributed systems using an agent architecture description language

Proceedings of the 44th annual southeast regional conference on - ACM-SE 44 ◽

10.1145/1185448.1185559 ◽

2006 ◽

Author(s):

Craig Eichelkraut ◽

Letha Etzkorn

Keyword(s):

Distributed Systems ◽

Real Time ◽

Agent Architecture ◽

Description Language ◽

Architecture Description Language ◽

Architecture Description

Download Full-text

A symbolic approach to quantitative analysis of preemptive real-time systems with non-Markovian temporal parameters

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools ◽

10.4108/icst.valuetools.2011.245728 ◽

2011 ◽

Author(s):

Laura Carnevali ◽

Enrico Vicario ◽

Johnny Giuntini

Keyword(s):

Quantitative Analysis ◽

Real Time ◽

Real Time Systems ◽

Temporal Parameters ◽

Symbolic Approach ◽

Download Full-text

The Quantitative Analysis of Approximate Correctness for Real-Time Systems

10.23940/ijpe.17.06.p10.886896 ◽

2017 ◽

Author(s):

Yanfang Ma

Keyword(s):

Quantitative Analysis ◽

Real Time ◽

Real Time Systems ◽

Download Full-text

Quantitative analysis of real-time systems using priced timed automata

Communications of the ACM ◽

10.1145/1995376.1995396 ◽

2011 ◽

Vol 54 (9) ◽

pp. 78-87 ◽

Author(s):

Patricia Bouyer ◽

Uli Fahrenberg ◽

Kim G. Larsen ◽

Nicolas Markey

Keyword(s):

Quantitative Analysis ◽

Real Time ◽

Timed Automata ◽

Real Time Systems ◽

Download Full-text