Tullio Vardanega

IEEE Trans. Reliab., 2018

Reconciling Time Predictability and Performance in Future Computing Systems.

[BibT_eX]

[DOI]

IEEE Des. Test, 2018

DevOps Meets Dynamic Orchestration.

[BibT_eX]

[DOI]

Kiyana Bahadori

Proceedings of the Software Engineering Aspects of Continuous Development and New Paradigms of Software Production and Deployment, 2018

A two-staged capstone project to foster university-business dialogue.

[BibT_eX]

[DOI]

Monica Fedeli

Proceedings of the 23rd Annual ACM Conference on Innovation and Technology in Computer Science Education, 2018

Designing and Implementing Elastically Scalable Services - A State-of-the-art Technology Review.

[BibT_eX]

[DOI]

Kiyana Bahadori

Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

Microservice-Based Agile Architectures: An Opportunity for Specialized Niche Technologies.

[BibT_eX]

[DOI]

Stefano Munari

Sebastiano Valle

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

In Pursuit of Architectural Agility: Experimenting with Microservices.

[BibT_eX]

[DOI]

Alberto Simioni

Proceedings of the 2018 IEEE International Conference on Services Computing, 2018

2017

Computing Safe Contention Bounds for Multicore Resources with Round-Robin and FIFO Arbitration.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2017

On uses of extreme value theory fit for industrial-quality WCET analysis.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

EPC Enacted: Integration in an Industrial Toolbox and Use against a Railway Application.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Real-Time and Embedded Technology and Applications Symposium, 2017

Software Time Reliability in the Presence of Cache Memories.

[BibT_eX]

[DOI]

Suzana Milutinovic

Jaume Abella

Francisco J. Cazorla

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

Ravenscar-EDF: Comparative Benchmarking of an EDF Variant of a Ravenscar Runtime.

[BibT_eX]

[DOI]

Paolo Carletto

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

2016

Fitting processor architectures for measurement-based probabilistic timing analysis.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2016

Measurement-Based Timing Analysis of the AURIX Caches.

[BibT_eX]

[DOI]

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

Mitigating Software-Instrumentation Cache Effects in Measurement-Based Timing Analysis.

[BibT_eX]

[DOI]

Francisco J. Cazorla

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

Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2016

An automated framework for the timing analysis of applications for an automotive multicore processor.

[BibT_eX]

[DOI]

Davide Compagnin

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

PROXIMA: Improving Measurement-Based Timing Analysis through Randomisation and Probabilistic Analysis.

[BibT_eX]

[DOI]

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

Lessons Learned in a Journey Toward Correct-by-Construction Model-Based Development.

[BibT_eX]

[DOI]

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

2015

Randomized Caches Can Be Pretty Useful to Hard Real-Time Systems.

[BibT_eX]

[DOI]

Leibniz Trans. Embed. Syst., 2015

Software-enforced Interconnect Arbitration for COTS Multicores.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Worst-Case Execution Time Analysis, 2015

Reconciling Service Orientation with the Cloud.

[BibT_eX]

[DOI]

Valentino Baraldo

Alberto Zuccato

Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

WCET analysis methods: Pitfalls and challenges on their trustworthiness.

[BibT_eX]

[DOI]

Jon Pérez

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

A time-composable operating system for the Patmos processor.

[BibT_eX]

[DOI]

Marco Ziccardi

Martin Schoeberl

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

Introduction to partial time composability for COTS multicores.

[BibT_eX]

[DOI]

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

EPC: Extended Path Coverage for Measurement-Based Probabilistic Timing Analysis.

[BibT_eX]

[DOI]

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

Seeking Time-Composable Partitions of Tasks for COTS Multicore Processors.

[BibT_eX]

[DOI]

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Experimental Evaluation of Optimal Schedulers Based on Partitioned Proportionate Fairness.

[BibT_eX]

[DOI]

Davide Compagnin

Proceedings of the 27th Euromicro Conference on Real-Time Systems, 2015

IEC-61508 SIL 3 Compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis.

[BibT_eX]

[DOI]

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

Timing analysis of an avionics case study on complex hardware/software platforms.

[BibT_eX]

[DOI]

Liliana Cucu-Grosjean

Francisco J. Cazorla

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

Resource usage templates and signatures for COTS multicore processors.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

Increasing confidence on measurement-based contention bounds for real-time round-robin buses.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

A Safety Concept for a Railway Mixed-Criticality Embedded System Based on Multicore Partitioning.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014

A component-based process with separation of concerns for the development of embedded real-time software systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

An architectural approach with separation of concerns to address extra-functional requirements in the development of embedded real-time software systems.

[BibT_eX]

[DOI]

J. Syst. Archit., 2014

Contention in Multicore Hardware Shared Resources: Understanding of the State of the Art.

[BibT_eX]

[DOI]

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

Supporting Global Resource Sharing in RUN-scheduled Multiprocessor Systems.

[BibT_eX]

[DOI]

Luca Bonato

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

SPRINT: Extending RUN to Schedule Sporadic Tasks.

[BibT_eX]

[DOI]

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

Implementing Elastic Capacity in a Service-Oriented PaaS.

[BibT_eX]

[DOI]

Alberto Zuccato

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2014

Putting RUN into Practice: Implementation and Evaluation.

[BibT_eX]

[DOI]

Davide Compagnin

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTA.

[BibT_eX]

[DOI]

Proceedings of the 26th Euromicro Conference on Real-Time Systems, 2014

Measurement-Based Probabilistic Timing Analysis and Its Impact on Processor Architecture.

[BibT_eX]

[DOI]

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

2013

PROARTIS: Probabilistically Analyzable Real-Time Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2013

Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

Upper-bounding Program Execution Time with Extreme Value Theory.

[BibT_eX]

[DOI]

Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study.

[BibT_eX]

[DOI]

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

Kernel-level time composability for avionics applications.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

A rapid cache-aware procedure positioning optimization to favor incremental development.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, 2013

Achieving timing composability with measurement-based probabilistic timing analysis.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Supporting industrial use of probabilistic timing analysis with explicit argumentation.

[BibT_eX]

[DOI]

Zoë R. Stephenson

Jaume Abella

Proceedings of the 11th IEEE International Conference on Industrial Informatics, 2013

On Software Reference Architectures and Their Application to the Space Domain.

[BibT_eX]

[DOI]

Proceedings of the Safe and Secure Software Reuse, 2013

Cross-Domain Reuse: Lessons Learned in a Multi-project Trajectory.

[BibT_eX]

[DOI]

Silvia Mazzini

John M. Favaro

Proceedings of the Safe and Secure Software Reuse, 2013

Limited preemptive scheduling of non-independent task sets.

[BibT_eX]

[DOI]

Andrea Baldovin

Proceedings of the International Conference on Embedded Software, 2013

Towards a Time-Composable Operating System.

[BibT_eX]

[DOI]

Andrea Baldovin

Proceedings of the Reliable Software Technologies, 2013

2012

A Time-composable Operating System.

[BibT_eX]

[DOI]

Andrea Baldovin

Proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis, 2012

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

PaaSSOA: An Open PaaS Architecture for Service Oriented Applications.

[BibT_eX]

[DOI]

Claudio Guidi

Paolo Anedda

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

Measurement-Based Probabilistic Timing Analysis for Multi-path Programs.

[BibT_eX]

[DOI]

Liliana Cucu-Grosjean

Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Towards a New Paas Architecture Generation.

[BibT_eX]

Claudio Guidi

Paolo Anedda

Proceedings of the CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, Porto, Portugal, 18, 2012

An MDE approach to address synchronization needs in component-based real-time systems.

[BibT_eX]

[DOI]

Patricia López Martínez

Proceedings of the 15th ACM SIGSOFT Symposium on Component Based Software Engineering, 2012

Ada Ravenscar Code Archetypes for Component-Based Development.

[BibT_eX]

[DOI]

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

Handling Synchronization Requirements under Separation of Concerns in Model-Driven Component-Based Development.

[BibT_eX]

[DOI]

Patricia López Martínez

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

2011

Pitfalls and misconceptions in component-oriented approaches for real-time embedded systems: lessons learned and solutions.

[BibT_eX]

[DOI]

SIGBED Rev., 2011

Measuring I/O Performance in Xen Paravirtualization Virtual Machines.

[BibT_eX]

Giovanni Giacobbi

Proceedings of the CLOSER 2011, 2011

2010

Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2010

A Multi-Agent System for the Automated Handling of Experimental Protocols in Biological Laboratories.

[BibT_eX]

[DOI]

Proceedings of the 11th WOA 2010 Workshop, 2010

Bounding the Effects of Resource Access Protocols on Cache Behavior.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Worst-Case Execution Time Analysis, 2010

Towards a Cache-Aware Development of High Integrity Real-Time Systems.

[BibT_eX]

[DOI]

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

A Component Model for On-board Software Applications.

[BibT_eX]

[DOI]

Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

Preservation of Timing Properties with the Ada Ravenscar Profile.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologiey, 2010

Cache-Aware Development of High-Integrity Systems.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologiey, 2010

2009

On Component-Based Development and High-Integrity Real-Time Systems.

[BibT_eX]

[DOI]

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

Property Preservation and Composition with Guarantees: From ASSERT to CHESS.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009

An MDE methodology for the development of high-integrity real-time systems.

[BibT_eX]

[DOI]

Silvia Mazzini

Stefano Puri

Proceedings of the Design, Automation and Test in Europe, 2009

Requirements on the Target Programming Language for High-Integrity MDE.

[BibT_eX]

[DOI]

Alessandro Zovi

Proceedings of the Reliable Software Technologies, 2009

2008

Fitting Schedulability Analysis Theory into Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the 20th Euromicro Conference on Real-Time Systems, 2008

2007

An Approach to the Timing Analysis of Hierarchical Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

Real-time Java from an automated code generation perspective.

[BibT_eX]

[DOI]

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

Introduction.

[BibT_eX]

[DOI]

José F. Ruiz

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

Ada 2005 code patterns for metamodel-based code generation.

[BibT_eX]

[DOI]

José Antonio Pulido

Jérôme Hugues

Proceedings of the 13th International Workshop on Real-Time Ada, 2007

A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2007

Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2007

2006

Property-Preserving Reuse-Geared Approach to Model-Driven Development.

[BibT_eX]

[DOI]

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

A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications.

[BibT_eX]

[DOI]

Proceedings of the Reuse of Off-the-Shelf Components, 2006

Hierarchical Scheduling with Ada 2005.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2006

2005

On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels.

[BibT_eX]

[DOI]

Juan Zamorano

Real Time Syst., 2005

Automated Model-Based Generation of Ravenscar-Compliant Source Code.

[BibT_eX]

[DOI]

Proceedings of the 17th Euromicro Conference on Real-Time Systems (ECRTS 2005), 2005

A New Strategy for the HRT-HOOD to Ada Mapping.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technology, 2005

2004

Component-Based Real-Time Design: Mapping HRT-HOOD to UML.

[BibT_eX]

[DOI]

Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

2003

Session summary: the future of IRTAW.

[BibT_eX]

[DOI]

Luís Miguel Pinho

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

Ravenscar design patterns?: reflections on use of the Ravenscar profile.

[BibT_eX]

[DOI]

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

Report of session: current real-time AIs.

[BibT_eX]

[DOI]

Michael González Harbour

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

Report of session: flexible scheduling in Ada.

[BibT_eX]

[DOI]

Alan Burns

Andy J. Wellings

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

Report of session: generating new AIs.

[BibT_eX]

[DOI]

Alan Burns

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

Issues in Mapping HRT-HOOD to UML.

[BibT_eX]

[DOI]

Proceedings of the 15th Euromicro Conference on Real-Time Systems (ECRTS 2003), 2003

HRT-UML: Taking HRT-HOOD onto UML.

[BibT_eX]

[DOI]

Proceedings of the Reliable Software Technologies, 2003

2002

Engineering software reuse for on-board embedded real-time systems.

[BibT_eX]

[DOI]

Gert Caspersen

Softw. Pract. Exp., 2002

Report of session: language changes for scheduling, modeling and analysis.

[BibT_eX]

[DOI]

Andy J. Wellings

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

Using Object Orientation in High Integrity Applications: A Case Study.

[BibT_eX]

[DOI]

Alejandro Alonso

Roberto López

Proceedings of the Reliable Software Technologies, 2002

2001

An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.

[BibT_eX]

[DOI]

Rodrigo García

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

2000

Using the Ravenscar profile for space applications: the OBOSS case.

[BibT_eX]

[DOI]

Gert Caspersen

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

Report of session: analysis of the J consortium real-time Java proposal.

[BibT_eX]

[DOI]

Brian Dobbing

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

1999

A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems.

[BibT_eX]

[DOI]

Jan van Katwijk

Softw. Pract. Exp., 1999

On the Distribution of Control Functions in New-Generation On-Board Embedded Real-Time Systems.

[BibT_eX]

[DOI]

Parallel Distributed Comput. Pract., 1999

A Case Study in the Reuse of On-board Embedded Real-Time Software.

[BibT_eX]

[DOI]

Gert Caspersen

Jan Storbank Pedersen

Proceedings of the Reliable Software Technologies, 1999

1998

Productive engineering of predictable embedded real-time systems: the road to maturity.

[BibT_eX]

[DOI]

Jan van Katwijk

Inf. Softw. Technol., 1998

On the Construction of New-Generation On-Board Real-Time Systems.

[BibT_eX]

[DOI]

Integr. Comput. Aided Eng., 1998

1997

Tasking profiles (session summary).

[BibT_eX]

[DOI]

Alan Burns

Ted Baker

Proceedings of the Eighth International Workshop on Real-Time Ada, 1997

1996

Tool support for the construction of statically analysable hard real-time Ada systems.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS '96), 1996

1995

On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection.

[BibT_eX]

[DOI]

Proceedings of the Digest of Papers: FTCS-25, 1995

1994

Experience with the Development of Hard Real-Time Embedded Ada Software.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Software Engineering, 1994

1993

The use of preemptive priority-based scheduling for space applications.

[BibT_eX]

[DOI]

Proceedings of the Real-Time Systems Symposium. Raleigh-Durham, NC, USA, December 1993, 1993

1991

An operating system suited for integrated broadband communications networks.

[BibT_eX]

[DOI]