SRP-DM scheduling of component-based embedded real-time softwareReportar como inadecuado




SRP-DM scheduling of component-based embedded real-time software - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.Aittamaa, Simon Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.Wiklander, Jimmie Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.Pietrzak, Pawel Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.Lindgren, Per Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.Show others and affiliations 2011 (English)Conference paper, Presentation (Refereed)

Abstract [en] : Model and component based design is an established means for the development of large software systems, and is starting to get momentum in the realm of embedded software development. In case of safety critical (dependable systems) it is crucial that the underlying model and its realization captures the requirements on the timely behavior of the system, and that these requirements can be preserved and validated throughout the design process (from specification to actual code execution). To this end, we base the presented work on the notion of Concurrent Reactive Objects (CRO) and their abstraction into Reactive Components.In many cases, the execution platform puts firm resource limitations on available memory and speed of computations that must be taken into consideration for the validation of the system.In this paper, we focus on code synthesis from the model, and we show how specified timing requirements are preserved and translated into scheduling information. In particular, we present how ceiling levels for Stack Resources Policy (SRP) scheduling and analysis can be extracted from the model. Additionally, to support schedulability analysis, we detail algorithms that for a CRO model derives periods (minimum inter-arrival times) and offsets of tasks/jobs. Moreover, the design of a micro-kernel supporting cooperative hardware- and software-scheduling of CRO based systems under Deadline Monotonic SRP is presented.

Place, publisher, year, edition, pages: 2011.

Research subject: Embedded System

Identifiers: URN: urn:nbn:se:ltu:diva-34558Local ID: 8c7a9196-a0ce-4944-83da-07d3add16d5fOAI: oai:DiVA.org:ltu-34558DiVA: diva2:1007809

Conference: International Workshop on Dependable and Secure Industrial and Embedded Systems : 04/06/2011 - 04/06/2011

Note: Godkänd; 2011; 20111215 (andbra)Available from: 2016-09-30 Created: 2016-09-30 Last updated: 2017-03-07Bibliographically approved

In thesis: 1. Enabling Reactive Design of Robust Real-Time Embedded SystemsOpen this publication in new window or tab >>Enabling Reactive Design of Robust Real-Time Embedded SystemsEriksson, JohanLuleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab.2017 (English)Doctoral thesis, comprehensive summary (Other academic)

Place, publisher, year, edition, pages : Luleå: Luleå University of Technology, 2017

Series : Doctoral thesis / Luleå University of Technology 1 jan 1997 → …, ISSN 1402-1544

National Category : Computer Systems Embedded Systems

Research subject : Embedded System

Identifiers: urn:nbn:se:ltu:diva-62322 (URN)978-91-7583-835-9 (ISBN)978-91-7583-836-6 (ISBN)

Public defence : 2017-04-24, D770, 13:00 (English)

Opponent : Salcic, ZoranThe University of Auckland.

Supervisors : Per, LindgrenLuleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Embedded Internet Systems Lab. Available from: 2017-03-07 Created: 2017-03-07 Last updated: 2017-03-31Bibliographically approved



Autor: Eriksson, Johan

Fuente: http://ltu.diva-portal.org/







Documentos relacionados