Zobrazeno 1 - 10
of 309
pro vyhledávání: '"Andy Wellings"'
Publikováno v:
Science of Computer Programming. 181:140-176
Safety-Critical Java (SCJ) is a version of Java for real-time, embedded, safety-critical applications. It supports certification via abstractions that enforce a particular program architecture, with controlled concurrency and memory models. SCJ is an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b32c156c2f9308bef050827ad87c159e
https://doi.org/10.1016/j.scico.2019.01.002
https://doi.org/10.1016/j.scico.2019.01.002
Publikováno v:
IEEE Transactions on Big Data. 2:310-324
Current infrastructures for developing big-data applications are able to process --via big-data analytics-huge amounts of data, using clusters of machines that collaborate to perform parallel computations. However, current infrastructures were not de
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::27d83035e3adb7f2ad79532bd5e85ab4
https://doi.org/10.1109/tbdata.2016.2622719
https://doi.org/10.1109/tbdata.2016.2622719
Autor:
Andy Andy Wellings, Tullio Vardanega
Publikováno v:
ACM SIGAda Ada Letters. 38:74-76
This position paper follows from a previous proposal to integrate a time-triggered scheduler in a priority- based, preemptive scheduler such as that supported by Ada's task dispatching policy FIFO Within Priorities . The resulting combined scheduling
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::58f261972dfc2a53c4ec562262fec0e2
https://doi.org/10.1145/3241950.3241965
https://doi.org/10.1145/3241950.3241965
Publikováno v:
LCTES
Real-time systems are receiving increasing attention with the emerging application scenarios that are safety-critical, complex in functionality, high on timing-related performance requirements, and cost-sensitive, such as autonomous vehicles. Develop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::52d9916b0466ac38cb1d86ad331ba42b
https://doi.org/10.1145/3316482.3326360
https://doi.org/10.1145/3316482.3326360
Autor:
Alan Burns, Andy Wellings
Publikováno v:
ACM SIGAda Ada Letters. 36:29-34
This short paper summarises the current status of the proposal to incorporate the Deadline Floor Protocol into the Ada Real-Time Annex. A Draft Ada Issue is given to help focus the discussion at the workshop.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::69b2e7f5aedc31df78a53224a183d026
https://doi.org/10.1145/2971571.2971575
https://doi.org/10.1145/2971571.2971575
Autor:
Alan Burns, Andy Wellings
Publikováno v:
ACM SIGAda Ada Letters. 36:35-38
This paper looks at two features of Ada that support synchronisation between tasks. First, an ambiguity with Synchronous Task Control is outlined. Second, the question of whether Synchronous Barriers should be allowed in the Ravenscar profile is addr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::232e295b1601754ab698d34b38069c13
https://doi.org/10.1145/2971571.2971576
https://doi.org/10.1145/2971571.2971576
Autor:
Alan Burns, Andy Wellings
Publikováno v:
ACM SIGAda Ada Letters. 35:17-25
In this paper we consider the many features of the Real-Time annex that are not as yet covered in ACATS. We identify a number of tests, but note that for the real-time programmer many of the crucial features of the annex cannot be validated by the ty
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::022a2608ffe3702c7549f6abcba2ce0b
https://doi.org/10.1145/2870544.2870547
https://doi.org/10.1145/2870544.2870547
Autor:
Alan Burns, Andy Wellings
Publikováno v:
ACM SIGAda Ada Letters. 35:26-31
This paper proposes extensions to the Ada interrupt handling facilities to allow the dispatching domain of handlers to be set, where this is supportable by the underlying platform.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d8f3090c05d5d9ff7ec5115c691fb41
https://doi.org/10.1145/2870544.2870548
https://doi.org/10.1145/2870544.2870548
Publikováno v:
Journal of Systems and Software. 159:110449
Multiprocessor Resource Sharing Protocol (MrsP) is a hard real-time multiprocessor resource sharing protocol for fully partitioned fixed-priority systems, and adopts a novel helping mechanism to allow task migrations during resource accessing. Previo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44aac53bc9f5a91a299ef6b905d720b7
https://doi.org/10.1016/j.jss.2019.110449
https://doi.org/10.1016/j.jss.2019.110449
Publikováno v:
e-Archivo. Repositorio Institucional de la Universidad Carlos III de Madrid
instname
instname
Next generation real-time applications demand big-data infrastructures to process huge and continuous data volumes under complex computational constraints. This type of application raises new issues on current big-data processing infrastructures. The
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f3a480a534f6ca52980ed9e465903adf
https://doi.org/10.1016/j.future.2015.03.023
https://doi.org/10.1016/j.future.2015.03.023