Descripción
|
|
---|---|
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 | |
Internacional
|
No |
DOI
|
10.1109/SEAA.2011.40 |
Edición del Libro
|
|
Editorial del Libro
|
IEEE Computer Society Washington, DC, USA ©2011 and Advanced Applications |
ISBN
|
978-0-7695-4488-5 |
Serie
|
|
Título del Libro
|
Proceeding SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications |
Desde página
|
209 |
Hasta página
|
216 |