Luís Miguel Pinho

Real Time Syst., 2018

Emulation-in-the-loop for simulation and testing of real-time critical CPS.

[BibT_eX]

[DOI]

Paulo Renato Oliveira

Proceedings of the IEEE Industrial Cyber-Physical Systems, 2018

Converging safety and high-performance domains: Integrating OpenMP into Ada.

[BibT_eX]

[DOI]

Sara Royuela

Eduardo Quiñones

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Safe Parallelism: Compiler Analysis Techniques for Ada and OpenMP.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2018, 2018

2017

Reducing the Complexity of Dataflow Graphs Using Slack-Based Merging.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2017

End-to-End Response Time of IEC 61499 Distributed Applications Over Switched Ethernet.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2017

SMT-based schedulability analysis using RMTL-∫.

[BibT_eX]

[DOI]

SIGBED Rev., 2017

Erratum to: Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs.

[BibT_eX]

[DOI]

Borislav Nikolic

Real Time Syst., 2017

Optimal minimal routing and priority assignment for priority-preemptive real-time NoCs.

[BibT_eX]

[DOI]

Borislav Nikolic

Real Time Syst., 2017

Real-time semi-partitioned scheduling of fork-join tasks using work-stealing.

[BibT_eX]

[DOI]

EURASIP J. Embed. Syst., 2017

The P-SOCRATES Timing Analysis Methodology for Parallel Real-Time Applications Deployed on Many-Core Platforms.

[BibT_eX]

[DOI]

Vincent Nélis

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

Combining Dataflow Applications and Real-time Task Sets on Multi-core Platforms.

[BibT_eX]

[DOI]

Hazem Ismail Ali

Benny Akesson

Proceedings of the 20th International Workshop on Software and Compilers for Embedded Systems, 2017

Schedulability analysis for global fixed-priority scheduling of the 3-phase task model.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

The EnerGAware middleware platform.

[BibT_eX]

[DOI]

Paulo Barbosa

Proceedings of the IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Beijing, China, October 29, 2017

A serious game enhancing social tenants' behavioral change towards energy efficiency.

[BibT_eX]

[DOI]

Proceedings of the Global Internet of Things Summit, 2017

OpenMP Tasking Model for Ada: Safety and Correctness.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2017, 2017

2016

Improved Holistic Analysis for Fork-Join Distributed Real-Time Tasks Supported by the FTT-SE Protocol.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2016

Abstract timers and their implementation onto the ARM Cortex-M family of MCUs.

[BibT_eX]

[DOI]

SIGBED Rev., 2016

The Variability of Application Execution Times on a Multi-Core Platform.

[BibT_eX]

[DOI]

Vincent Nélis

Proceedings of the 16th International Workshop on Worst-Case Execution Time Analysis, 2016

Response time analysis of sporadic DAG tasks under partitioned scheduling.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Response time analysis of hard real-time tasks sharing software transactional memory data under fully partitioned scheduling.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs.

[BibT_eX]

[DOI]

Borislav Nikolic

Leandro Soares Indrusiak

Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Contract based verification of IEC 61499.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

A closer look into the AER Model.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

Towards certified compilation of RTFM-core applications.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

ENCOURAGEing results on ICT for energy efficient buildings.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Convergence of Smart Grid ICT Architectures for the Last Mile.

[BibT_eX]

[DOI]

Michele Albano

IEEE Trans. Ind. Informatics, 2015

Logic-based schedulability analysis for compositional hard real-time embedded systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2015

Adaptive offloading for infotainment systems.

[BibT_eX]

[DOI]

SIGBED Rev., 2015

P-SOCRATES: A parallel software framework for time-critical many-core systems.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2015

Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory.

[BibT_eX]

[DOI]

J. Syst. Archit., 2015

Task partitioning and priority assignment for distributed hard real-time systems.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2015

Message-oriented middleware for smart grids.

[BibT_eX]

[DOI]

Michele Albano

Abdel Rahman Alkhawaja

Comput. Stand. Interfaces, 2015

Holistic analysis for fork-join distributed tasks supported by the FTT-SE protocol.

[BibT_eX]

[DOI]

Proceedings of the IEEE World Conference on Factory Communication Systems, 2015

A Formal Perspective on IEC 61499 Execution Control Chart Semantics.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

A multi-DAG model for real-time parallel applications with conditional execution.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015

Monitoring for a Decidable Fragment of MTL-∫.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 6th International Conference, 2015

Real-Time Support in the Proposal for Fine-Grained Parallelism in Ada.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE Real-Time Systems Symposium, 2015

Generalized Extraction of Real-Time Parameters for Homogeneous Synchronous Dataflow Graphs.

[BibT_eX]

[DOI]

Hazem Ismail Ali

Benny Akesson

Proceedings of the 23rd Euromicro International Conference on Parallel, 2015

Well-formed control flow for critical sections in RTFM-core.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Response time for IEC 61499 over Ethernet.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Semi-Partitioned Scheduling of Fork-Join Tasks Using Work-Stealing.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Embedded and Ubiquitous Computing, 2015

A real-time semantics for the IEC 61499 standard.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

Methodologies for the WCET Analysis of Parallel Applications on Many-Core Architectures.

[BibT_eX]

[DOI]

Vincent Nélis

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Investigation on AUTOSAR-Compliant Solutions for Many-Core Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures Supported by an FTT-SE Network.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems - ARCS 2015, 2015

An Execution Model for Fine-Grained Parallelism in Ada.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring.

[BibT_eX]

[DOI]

David Pereira

Proceedings of the Reliable Software Technologies - Ada-Europe 2015, 2015

2014

The Challenge of Time-Predictability in Modern Many-Core Architectures.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Worst-Case Execution Time Analysis, 2014

Safe parallel programming in ada with language extensions.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology, 2014

On the scheduling of fork-join parallel/distributed real-time tasks.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems, 2014

Response-Time Analysis of Synchronous Parallel Tasks in Multiprocessor Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Real-Time Networks and Systems, 2014

A Compositional Monitoring Framework for Hard Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014

P-SOCRATES: A Parallel Software Framework for Time-Critical Many-Core Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Non-preemptive Scheduling of Real-Time Software Transactional Memory.

[BibT_eX]

[DOI]

Proceedings of the Architecture of Computing Systems - ARCS 2014, 2014

Parallelism in Ada: Status and Prospects.

[BibT_eX]

[DOI]

Brad Moore

Stephen Michell

Proceedings of the Reliable Software Technologies, 2014

Towards a Runtime Verification Framework for the Ada Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2014

2013

Real-time programming on accelerator many-core processors.

[BibT_eX]

[DOI]

Stephen Michell

Brad Moore

Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, 2013

Scheduling parallel real-time tasks using a fixed-priority work-stealing algorithm on multiprocessors.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Towards transparent parallel/distributed support for real-time embedded applications.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems.

[BibT_eX]

[DOI]

Hazem Ismail Abdel Aziz Ali

Proceedings of the REACTION 2013, 2013

Are virtual channels the bottleneck of priority-aware wormhole-switched NoC-based many-cores?

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores.

[BibT_eX]

[DOI]

Benny Akesson

Proceedings of the 2013 IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications, 2013

The ENCOURAGE ICT architecture for heterogeneous smart grids.

[BibT_eX]

[DOI]

Susanne Majlund Sorensen

Marta Gangolells

Arne Skou

Proceedings of Eurocon 2013, 2013

QoS enabled middleware for real-time industrial control systems.

[BibT_eX]

[DOI]

Michele Albano

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Tasklettes - A Fine Grained Parallelism for Ada on Multicores.

[BibT_eX]

[DOI]

Stephen Michell

Brad Moore

Proceedings of the Reliable Software Technologies, 2013

2012

A feedback-based decentralised coordination model for distributed open real-time systems.

[BibT_eX]

[DOI]

Jorge Coelho

J. Syst. Softw., 2012

A Framework for the Development of Parallel and Distributed Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Server-based scheduling of parallel real-time tasks.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Embedded Software, 2012

Dynamic Global Scheduling of Parallel Real-Time Tasks.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011

Supporting Parallelism in Server-based Multiprocessor Systems

[BibT_eX]

[DOI]

CoRR, 2011

A parallel programming model for ada.

[BibT_eX]

[DOI]

Hazem Ismail Ali

Proceedings of the 2011 Annual ACM SIGAda International Conference on Ada, 2011

Combining RTSJ with Fork/Join: a priority-based model.

[BibT_eX]

[DOI]

Proceedings of the 9th International Workshop on Java Technologies for Real-time and Embedded Systems, 2011

sMapReduce: a programming pattern for wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications, 2011

Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

Service offloading in adaptive real-time systems.

[BibT_eX]

[DOI]

Guilherme D. Silva

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010

A capacity sharing and stealing strategy for open real-time systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 2010

Experiences on the implementation of a cooperative embedded system framework: short paper.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Java Technologies for Real-Time and Embedded Systems, 2010

Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Jorge Coelho

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012.

[BibT_eX]

[DOI]

Björn Andersson

Proceedings of the Reliable Software Technologiey, 2010

2009

Time-bounded distributed QoS-aware service configuration in heterogeneous cooperative environments.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2009

Coordinated Runtime Adaptations in Cooperative Open Real-Time Systems.

[BibT_eX]

[DOI]

Jorge Coelho

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

2008

Shared resources and precedence constraints with capacity sharing and stealing.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Handling QoS Dependencies in Distributed Cooperative Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Embedded Systems: Design, 2008

Dynamic QoS adaptation of inter-dependent task sets in cooperative embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007

Capacity Sharing and Stealing in Dynamic Server-based Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

2006

A Complex Protocol Layer as a linux User-Space Process.

[BibT_eX]

[DOI]

Filipe Pacheco

Proceedings of the International Symposium on Industrial Embedded Systems, 2006

Dynamic Adaptation of Stability Periods for Service Level Agreements.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Iterative Refinement Approach for QOS-Aware Service Configuration.

[BibT_eX]

[DOI]

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

POSIX Trace Based Behavioural Reflection.

[BibT_eX]

[DOI]

Filipe Valpereiro

Proceedings of the Reliable Software Technologies, 2006

2005

Dynamic QoS-Aware Coalition Formation.

[BibT_eX]

[DOI]

Proceedings of the 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), 2005

An Ada Framework for QoS-Aware Applications.

[BibT_eX]

[DOI]

Ricardo Barbosa

Proceedings of the Reliable Software Technology, 2005

2004

Replication Management in Reliable Real-Time Systems.

[BibT_eX]

[DOI]

Andy J. Wellings

Real Time Syst., 2004

INDEPTH: Timeliness Assessment of Ethernet/IP-Based Systems.

[BibT_eX]

[DOI]

Nuno Pereira

Eduardo Tovar

Proceedings of the 12th International Workshop on Modeling, 2004

2003

Reliable Real-Time Communication in CAN Networks.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2003

Session summary: the future of IRTAW.

[BibT_eX]

[DOI]

Tullio Vardanega

Juan Antonio de la Puente

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

Verifying, validating and monitoring the open Ravenscar real time kernel.

[BibT_eX]

[DOI]

Proceedings of the 12th International Workshop on Real-Time Ada, 2003

2002

Session summary: safety improvements for consideration.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Using Ravenscar to support fault-tolerant real-time applications.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Real-Time Ada, 2002

Transparent Environment for Replicated Ravenscar Applications.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2002

2001

Improved fault tolerant broadcasts in CAN.

[BibT_eX]

[DOI]

Proceedings of 8th IEEE International Conference on Emerging Technologies and Factory Automation, 2001

Timing Analysis of Reliable Real-Time Communication in CAN Networks.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), 2001

Reliable Communication in Distributed Computer-Controlled Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies: Ada Europe 2001, 2001

2000

Programming atomic multicast in CAN.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

Session summary: distribution and real-time.

[BibT_eX]

[DOI]

Michael González Harbour

Proceedings of the 10th International Workshop on Real-Time Ada, 2000

An Architecture for Reliable Distributed Computer-Controlled Systems.

[BibT_eX]

Proceedings of the Architecture and Design of Distributed Embedded Systems, 2000

1999

Replica management in real-time Ada 95 applications.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Real-Time Ada, 1999

1998

Multi-µ: An Ada 95 Based Architecture for Fault Tolerance Support of Real-Time Systems.

[BibT_eX]

[DOI]