- -

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 sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: ae-2012-mc-framew ...
Tamaño: 438.2Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: Editor version.pdf
Tamaño: 460.3Kb
Formato: PDF
Descripción: Versión Editorial
Solicitar una copia al autor
dc.contributor.author Sáez Barona, Sergio es_ES
dc.contributor.author Real Sáez, Jorge Vicente es_ES
dc.contributor.author Crespo, Alfons es_ES
dc.date.accessioned 2016-11-04T12:55:56Z
dc.date.available 2016-11-04T12:55:56Z
dc.date.issued 2012
dc.identifier.isbn 978-3-642-30597-9
dc.identifier.issn 0302-9743
dc.identifier.uri http://hdl.handle.net/10251/73301
dc.description The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-30598-6_2 es_ES
dc.description.abstract 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; integration of both aspects within a common framework; and connection with schedulability analysis procedures. The proposed approach uses finite state machines to describe operating modes and transitions, and a framework of real-time utilities that implements the required behaviour in Ada 2012. Automatic code generation plays an important role: the system is derived from the functional and timing specification, and implemented according to the abstractions provided by the framework. Response time analysis enables assessing the schedulability of the different operating modes and the transitions between modes. es_ES
dc.description.sponsorship 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)
dc.format.extent 17 es_ES
dc.language Inglés es_ES
dc.publisher Springer es_ES
dc.relation.ispartof Reliable Software Technologies – Ada-Europe 2012 es_ES
dc.relation.ispartofseries Lecture Notes in Computer Science;7308
dc.rights Reserva de todos los derechos es_ES
dc.subject Real-time framework es_ES
dc.subject Mode changes es_ES
dc.subject Multiprocessor scheduling es_ES
dc.subject Ada 2012 es_ES
dc.subject.classification ARQUITECTURA Y TECNOLOGIA DE COMPUTADORES es_ES
dc.title An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications es_ES
dc.type Capítulo de libro es_ES
dc.type Comunicación en congreso es_ES
dc.identifier.doi 10.1007/978-3-642-30598-6_2
dc.relation.projectID info:eu-repo/grantAgreement/EC/FP7/287702/EU/Multi-cores Partitioning for Trusted Embedded Systems/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/UPV//PAID-06-10-2397/ es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MICINN//TIN2011-28567-C03-03/ES/HI-PARTES: HIGH-INTEGRITY PARTITIONED EMBEDDED SYSTEMS/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation 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 es_ES
dc.description.accrualMethod S es_ES
dc.relation.conferencename 17th International Conference on Reliable Software Technologies (Ada-Europe 2012) es_ES
dc.relation.conferencedate June 11-15, 2012 es_ES
dc.relation.conferenceplace Stockholm, Sweden es_ES
dc.relation.publisherversion http://link.springer.com/chapter/10.1007/978-3-642-30598-6_2 es_ES
dc.description.upvformatpinicio 18 es_ES
dc.description.upvformatpfin 34 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.relation.senia 245250 es_ES
dc.contributor.funder Universitat Politècnica de València
dc.contributor.funder Ministerio de Ciencia e Innovación
dc.contributor.funder European Commission
dc.description.references Wellings, A.J., Burns, A.: A Framework for Real-Time Utilities for Ada 2005. Ada Letters XXVII(2) (August 2007) es_ES
dc.description.references Real, J., Crespo, A.: Incorporating Operating Modes to an Ada Real-Time Framework. Ada Letters 30(1) (April 2010) es_ES
dc.description.references 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) es_ES
dc.description.references Joseph, M., Pandya, P.: Finding response times in a real-time system. British Computer Society Computer Journal 29(5), 390–395 (1986) es_ES
dc.description.references 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) es_ES
dc.description.references 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) es_ES
dc.description.references Harel, D.: Statecharts: A visual formalism for complex systems. The Science of Computer Programming 8(3), 231–274 (1987) es_ES
dc.description.references Object Management Group: Unified Modeling Language (OMG UML) V2.4 (August 2011), http://www.omg.org/spec/UML/2.4.1 es_ES
dc.description.references 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) es_ES
dc.description.references 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) es_ES
dc.description.references Barnett, J.: State Chart XML (SCXML): State Machine Notation for Control Abstraction (May 2008), http://www.w3.org/TR/scxml/ es_ES


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

Mostrar el registro sencillo del ítem