Automated Model-Based Generation of Ravenscar-Compliant Source Code

Bordin, Matteo; Vardanega, Tullio

doi:10.1109/ecrts.2005.9

Cited by 22 publications

(8 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, the underlying semantics remain the same as those for HRT-HOOD. In [4], the authors describe a mapping from HRT-UML (and thus from HRT-HOOD) to Ada Ravenscar. But extensive use of generic packages in this approach results in significantly increased code complexity (which is also true for HRT-HOOD to Ada code generation).…”

Section: Hood Hrt-hood and Hrt-umlmentioning

confidence: 99%

“…The WCET for an Integer exchanger Set operation is 2 × 10 −3 ms. For an integer exchanger Get operation it is 2.5 × 10 −3 ms. For both Send_Event and Await_Entry operations of the two synchronizers (for both the threads HCI and Landing_Gear) WCET is 2.5 × 10 −3 ms 1 . 4 These obtained WCET values are applied as properties to the various AADL entities to enable detailed, automatic schedulability analysis. We define a new AADL property set Ravenscar, which includes (among others):…”

Section: Schedulability Analysismentioning

confidence: 99%

See 1 more Smart Citation

Automatic framework generation for hard real-time applications

Hamid¹,

Zalila²,

Najm³

et al. 2008

Innovations Syst Softw Eng

View full text Add to dashboard Cite

The communication and tasking infrastructure of a real-time application makes up a significant portion of any modern embedded control system. Traditionally, the tasking and communication constructs are provided by a fullfledged real-time operating system. We present an approach to automatically generate a robust framework for an application from its architectural description. This framework sits atop a Ravenscar-compliant runtime as opposed to a standard real-time operating system. We also present an extension of our approach to support code generation for high-integrity distributed applications.

show abstract

Section: Hood Hrt-hood and Hrt-umlmentioning

confidence: 99%

Section: Schedulability Analysismentioning

confidence: 99%

Automatic framework generation for hard real-time applications

Hamid¹,

Zalila²,

Najm³

et al. 2008

Innovations Syst Softw Eng

View full text Add to dashboard Cite

show abstract

“…In [BV05], the authors state that generating code minimizes the risk of several semantic breaches when translating the model towards code. The manual coding exposes the developer to these breaches.…”

Section: Expressive Power Of the Modelmentioning

confidence: 99%

“…Code generation relies on patterns presented in section 7 inherited from previous work on code generation from Ravenscar [BV05] and classical design patterns for distribution such as the Broker [BMR + 96], constrained to remove all dynamic behavior supported by the minimal middleware for HI systems: PolyORB-HI.…”

Section: Generating Executable Codementioning

confidence: 99%

From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain

Hugues

Pautet

Zalila

2008

Composition of Embedded Systems. Scientific and Industrial Issues

View full text Add to dashboard Cite

Abstract. From small and very specialized applications, real-time embedded systems are now evolving towards large distributed and interconnected systems. The construction of such systems is becoming increasingly complex, while being put under heavy pressures (economic, mission criticality, time, etc.).We see a current trend to extend and reuse existing specification and modeling techniques for embedded systems under the "Model Driven Architecture" approach (MDA). Expected benefits range from a better control over the application life-cycle to the integration of performance, analysis or verification tools.In this paper, we take a very pragmatic position and illustrate how building Distributed Real-Time systems (DRE) for the High-Integrity domain in a Model Driven Development (MDD) process may fail to address core requirements, and why going "back to the basics" of the code and implementation is required to avoid missing the strongest requirements; and avoid a situation in which the MDD fails to deliver its promises.Our claim is that MDD provides value to the engineering of complex system, if and only if it can take full advantage of the expressive power of the models to help the user in certifying or validating its system. This includes full control of the code generation, validation and verification or testing process.In the following, we show some limits in current MDD-based DRE projects. We discuss how a careful use of a modeling language like AADL can reduce them, by separating modeling concerns from the underlying execution environment. We then introduce our work in this domain, demonstrating how both a unified modeling approach, combined with precise code generators can provide the user full control and confidence when building its own DRE systems.

show abstract

“…One child package per scheduling policy is required (see Figure 4). Since handler tasks must be created explicitly at library level, the new API considers the creation of tasks through a generic package which has been demonstrated to be a suitable approach [22]. This generic package includes the following parameters and operations:…”

Section: B Processing Node Scheduling Interfacementioning

confidence: 99%

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

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

Automated Model-Based Generation of Ravenscar-Compliant Source Code

Abstract: Abstract

Cited by 22 publications

References 16 publications

Automatic framework generation for hard real-time applications

Automatic framework generation for hard real-time applications

From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain

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

Contact Info

Product

Resources

About