A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems

Urueña, Santiago; Zamorano, Juan; Puente, Juan Antonio de la

doi:10.1007/978-3-642-01924-1_2

Cited by 3 publications

(2 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These works are mainly focused on the adaptation of the Ada DSA to be Ravenscar compliant as discussed in [5] and [6]. The main disadvantage of this option is the lack of a standard real-time distributed framework.…”

Section: Related Workmentioning

confidence: 99%

“…However, due to the increasing interest within the community to apply this profile to distributed systems, several research works have tried to solve the problem of lack of support for developing distributed systems through the Ravenscar profile, for instance by restricting the Distributed Systems Annex (DSA) for Ada language [5] or by designing a new specific profile [6].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model

Benítez-Pérez

Gutiérrez

Asensio

et al. 2011

2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications

Self Cite

View full text Add to dashboard Cite

Building High-integrity Distributed Real-Time (HDRT) systems requires a rigorous methodology to assist in the design and development of verifiable software. This paper describes an approach based on the Model-Driven Engineering (MDE) paradigm to ease the automatic generation of HDRT applications from high-level system models. Since those applications must be amenable to stringent timing analysis, such as the determination of worst-case execution time or schedulability analysis, we present the integration of a set of timing analysis tools with a toolset for MDE. In addition, this paper explores a new approach to integrating the real-time endto-end flow model with the automatic generation of Ravenscarcompliant source code in distribution middleware.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%