From the prototype to the final embedded system using the Ocarina AADL tool suite

J Hugues, B Zalila, L Pautet, F Kordon - ACM Transactions on Embedded …, 2008 - dl.acm.org
Building distributed deal-time embedded systems requires a stringent methodology, from
early requirement capture to full implementation. However, there is a strong link between the …

A survey on standards for real-time distribution middleware

H Pérez, JJ Gutiérrez - ACM Computing Surveys (CSUR), 2014 - dl.acm.org
This survey covers distribution standards oriented to the development of distributed real-time
systems. Currently, there are many distribution standards that provide a wide and different …

RT-EP: A fixed-priority real time communication protocol over standard ethernet

JM Martínez, MG Harbour - … Software Technology–Ada-Europe 2005: 10th …, 2005 - Springer
This paper presents the design and implementation of RT-EP (Real-Time Ethernet Protocol),
which is a software-based token-passing Ethernet protocol for multipoint communications in …

A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014

J Hugues - Journal of Systems Architecture, 2022 - Elsevier
Middleware is an integral part of critical software, providing core services for data exchange
and manipulation, job execution, and scheduling. Their correctness is central to the correct …

[PDF][PDF] Rapid Prototyping of Distributed Real-Time Embedded Systems Using the AADL and Ocarina.

J Hugues, B Zalila, L Pautet… - … International Workshop on …, 2007 - pagesperso.lip6.fr
Abstract Building Distributed Real-Time Embedded systems requires a stringent
methodology, from early requirements capture to full implementation. However, there is a …

On the formal verification of middleware behavioral properties

J Hugues, T Vergnaud, L Pautet, Y Thierry-Mieg… - Electronic Notes in …, 2005 - Elsevier
Distribution middleware is often integrated as a COTS, providing distribution facilities for
critical, embedded or large-scale applications. So far, typical middleware does not come …

Using mde to build a schizophrenic middleware for home/building automation

G Nain, E Daubert, O Barais, JM Jézéquel - Towards a Service-Based …, 2008 - Springer
In the personal or corporate spheres, the home/office of tomorrow is soon to be the
home/office of today, with a plethora of networked devices embedded in appliances, such as …

Model-driven engineering approach to design and implementation of robot control system

P Trojanek - arXiv preprint arXiv:1302.5085, 2013 - arxiv.org
In this paper we apply a model-driven engineering approach to designing domain-specific
solutions for robot control system development. We present a case study of the complete …

Towards automatic middleware generation

B Zalila, L Pautet, J Hugues - 2008 11th IEEE International …, 2008 - ieeexplore.ieee.org
Building middleware for distributed applications is a complex task, mixing antagonistic
concerns: heterogeneity, performance, reliability, quality of services. Optimization and fine …

Using the AADL to describe distributed applications from middleware to software components

T Vergnaud, L Pautet, F Kordon - International Conference on Reliable …, 2005 - Springer
Abstract Distributed Real-Time (DRE) systems require the verification of their properties to
ensure both reliability and conformance to initial requirements. Architecture description …