- -

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications

RiuNet: Institutional repository of the Polithecnic University of Valencia

Share/Send to

Cited by

Statistics

  • Estadisticas de Uso

An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications

Show full item record

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

Files in this item

Item Metadata

Title: An Integrated Framework for Multiprocessor, Multimoded Real-Time Applications
Author: Sáez Barona, Sergio Real Sáez, Jorge Vicente Crespo, Alfons
UPV Unit: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Issued date:
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; ...[+]
Subjects: Real-time framework , Mode changes , Multiprocessor scheduling , Ada 2012
Copyrigths: Reserva de todos los derechos
ISBN: 978-3-642-30597-9
Source:
Reliable Software Technologies – Ada-Europe 2012. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-30598-6_2
Publisher:
Springer
Publisher version: http://link.springer.com/chapter/10.1007/978-3-642-30598-6_2
Conference name: 17th International Conference on Reliable Software Technologies (Ada-Europe 2012)
Conference place: Stockholm, Sweden
Conference date: June 11-15, 2012
Series: Lecture Notes in Computer Science;7308
Project ID:
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/
Description: The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-30598-6_2
Thanks:
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)
Type: 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

 

This item appears in the following Collection(s)

Show full item record