A Compositional Scheduling Framework for Digital Avionics Systems

Simple item page
dc.contributor.authorEaswaran, Arvind
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorVestal, Steve
dc.contributor.authorEaswaran, Arvind
dc.contributor.authorLee, Insup
dc.contributor.authorSokolsky, Oleg
dc.contributor.authorVestal, Steve
dc.date2023-05-17T03:11:12.000
dc.date.accessioned2023-05-22T12:48:20Z
dc.date.available2023-05-22T12:48:20Z
dc.date.issued2009-08-24
dc.date.submitted2009-09-30T19:50:12-07:00
dc.description.abstractARINC specification 653-2 describes the interface between application software and underlying middleware in a distributed real-time avionics system. The real-time workload in this system comprises of partitions, where each partition consists of one or more processes. Processes incur blocking and preemption overheads, and can communicate with other processes in the system. In this work, we develop compositional techniques for automated scheduling of such partitions and processes. At present, system designers manually schedule partitions based on interactions they have with the partition vendors. This approach is not only time consuming, but can also result in under utilization of resources.
dc.description.commentsPresented at IEEE Real-Time Computing Systems and Applications 2009, Beijing, Aug 24-26, 2009.
dc.identifier.urihttps://repository.upenn.edu/handle/20.500.14332/6468
dc.legacy.articleid1450
dc.legacy.fields10.1109/RTCSA.2009.46
dc.legacy.fulltexturlhttps://repository.upenn.edu/cgi/viewcontent.cgi?article=1450&context=cis_papers&unstamped=1
dc.rights© 2009 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
dc.source.beginpage371
dc.source.endpage380
dc.source.issue419
dc.source.journalDepartmental Papers (CIS)
dc.source.journaltitle15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA '09)
dc.source.statuspublished
dc.subject.otherCPS Real-Time
dc.titleA Compositional Scheduling Framework for Digital Avionics Systems
dc.typePresentation
digcom.contributor.authorisAuthorOfPublication|email:aen@isep.ipp.pt|institution:Polytechnic Institute of Porto, Portugal|Easwaran, Arvind
digcom.contributor.authorisAuthorOfPublication|email:lee@cis.upenn.edu|institution:University of Pennsylvania|Lee, Insup
digcom.contributor.authorisAuthorOfPublication|email:sokolsky@cis.upenn.edu|institution:University of Pennsylvania|Sokolsky, Oleg
digcom.contributor.authorisAuthorOfPublication|email:stephen.vestal@bsci.com|institution:Boston Scientific|Vestal, Steve
digcom.identifiercis_papers/419
digcom.identifier.contextkey1021805
digcom.identifier.submissionpathcis_papers/419
digcom.typeconference
dspace.entity.typePublication
relation.isAuthorOfPublication8a6a5f46-11ec-410d-8061-559b9c3859d4
relation.isAuthorOfPublication45a9eed5-3211-4c36-b40d-6394302dfdce
relation.isAuthorOfPublication35e1b18e-15fe-4438-be3b-84593f70a40a
relation.isAuthorOfPublication8d0c2d1f-c189-489a-a47e-5b7c3e01f1fc
relation.isAuthorOfPublication.latestForDiscovery8a6a5f46-11ec-410d-8061-559b9c3859d4
upenn.schoolDepartmentCenterDepartmental Papers (CIS)
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
rtcsa09.pdf
Size:
344.97 KB
Format:
Adobe Portable Document Format
Download
Collection
Presentations