- -

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications

Mostrar el registro completo del ítem

Sáez Barona, S.; Real Sáez, JV.; Crespo, A. (2012). An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications. En Reliable Software Technologies – Ada-Europe 2012. Springer. 18-34. https://doi.org/10.1007/978-3-642-30598-6_2

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/73301

Ficheros en el ítem

Thumbnail
Nombre: ae-2012-mc-framew ...
Tamaño: 438.2Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: Editor version.pdf
Tamaño: 460.3Kb
Formato: PDF
Descripción: Versión Editorial
Solicitar una copia al autor

Metadatos del ítem

Título: An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications
Autor: Sáez Barona, Sergio Real Sáez, Jorge Vicente Crespo, Alfons
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha difusión:
Resumen:
In this paper we propose an approach for building real-time systems under a combination of requirements: specification and handling of operating modes and mode changes; implementation on top of a multiprocessor platform; ...[+]
Palabras clave: Real-time framework , Mode changes , Multiprocessor scheduling , Ada 2012
Derechos de uso: Reserva de todos los derechos
ISBN: 978-3-642-30597-9
Fuente:
Reliable Software Technologies – Ada-Europe 2012. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-30598-6_2
Editorial:
Springer
Versión del editor: http://link.springer.com/chapter/10.1007/978-3-642-30598-6_2
Título del congreso: 17th International Conference on Reliable Software Technologies (Ada-Europe 2012)
Lugar del congreso: Stockholm, Sweden
Fecha congreso: June 11-15, 2012
Serie: Lecture Notes in Computer Science;7308
Código del Proyecto:
info:eu-repo/grantAgreement/EC/FP7/287702/EU/Multi-cores Partitioning for Trusted Embedded Systems/
info:eu-repo/grantAgreement/UPV//PAID-06-10-2397/
info:eu-repo/grantAgreement/MICINN//TIN2011-28567-C03-03/ES/HI-PARTES: HIGH-INTEGRITY PARTITIONED EMBEDDED SYSTEMS/
Descripción: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-30598-6_2
Agradecimientos:
This work was partially supported by the Vicerrectorado de Investigación of the UPV (PAID-06-10-2397), Ministerio de Ciencia e Innovación (TIN2011-28567-C03- 03) and European Union (FP7-ICT-287702)
Tipo: Capítulo de libro Comunicación en congreso

References

Wellings, A.J., Burns, A.: A Framework for Real-Time Utilities for Ada 2005. Ada Letters XXVII(2) (August 2007)

Real, J., Crespo, A.: Incorporating Operating Modes to an Ada Real-Time Framework. Ada Letters 30(1) (April 2010)

Sáez, S., Terrasa, S., Crespo, A.: A Real-Time Framework for Multiprocessor Platforms Using Ada 2012. In: Romanovsky, A., Vardanega, T. (eds.) Ada-Europe 2011. LNCS, vol. 6652, pp. 46–60. Springer, Heidelberg (2011) [+]
Wellings, A.J., Burns, A.: A Framework for Real-Time Utilities for Ada 2005. Ada Letters XXVII(2) (August 2007)

Real, J., Crespo, A.: Incorporating Operating Modes to an Ada Real-Time Framework. Ada Letters 30(1) (April 2010)

Sáez, S., Terrasa, S., Crespo, A.: A Real-Time Framework for Multiprocessor Platforms Using Ada 2012. In: Romanovsky, A., Vardanega, T. (eds.) Ada-Europe 2011. LNCS, vol. 6652, pp. 46–60. Springer, Heidelberg (2011)

Joseph, M., Pandya, P.: Finding response times in a real-time system. British Computer Society Computer Journal 29(5), 390–395 (1986)

Audsley, N., Burns, A., Richardson, M., Tindell, K., Wellings, A.J.: Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal 8(5), 284–292 (1993)

Real, J., Crespo, A.: Mode Change Protocols for Real-Time Systems: A Survey and a new Proposal. Real-Time Systems 26(2), 161–197 (2004)

Harel, D.: Statecharts: A visual formalism for complex systems. The Science of Computer Programming 8(3), 231–274 (1987)

Object Management Group: Unified Modeling Language (OMG UML) V2.4 (August 2011), http://www.omg.org/spec/UML/2.4.1

Sáez, S., Terrasa, S., Lorente, V., Crespo, A.: Implementing Reactive Systems with UML State Machines and Ada 2005. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 149–163. Springer, Heidelberg (2009)

Burns, A., Wellings, A.J.: Dispatching Domains for Multiprocessor Platforms and their Representation in Ada. In: Real, J., Vardanega, T. (eds.) Ada-Europe 2010. LNCS, vol. 6106, pp. 41–53. Springer, Heidelberg (2010)

Barnett, J.: State Chart XML (SCXML): State Machine Notation for Control Abstraction (May 2008), http://www.w3.org/TR/scxml/

[-]

recommendations

 

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro completo del ítem