CONCERTO
Guaranteed Component Assembly with Round Trip Analysis for Energy Efficient High-integrity Multi-core Systems
| JU grant nr. 333053 ARTEMIS/0003/2012 3 years (May 2013 to Apr 2016) http://www.concerto-project.org/ | |
| Summary: | Emerging embedded systems platforms harnessing new heterogeneous, multicore architectures to enable the next generation of powerful mission-critical applications are demanding across-the-board advances in all areas of design and development to fulfil their promise. The integration of component-based design with model-driven development creates a potent combination especially capable of mastering the complexity of these new systems. CONCERTO will deliver a reference multi-domain architectural framework for complex, highly concurrent, and multi-core systems, where non-functional properties (including real-time, dependability, and energy management) will be established for individual components, derived for the overall system at design time, and preserved by construction and monitoring at run-time. The CONCERTO framework that will be developed in the project will integrate: Correctness-by-construction for multicore systems with innovative model-to-code transformation techniques targeted at their special characteristics. A multi-view, hierarchical cross-domain design space sufficiently rich to enable a compositional approach to the next generation of complex, heterogeneous platform architectures. Support for iterative and incremental development of multicore systems through simulation and early model-based analysis, with fully automated back propagation of results to the user model. Hardware modeling facilities equipped to cope with the new generation of heterogeneous, multicore platforms. Advances in run-time monitoring of mission- and operation-critical non-functional properties such as energy consumption on partitioned and multicore processor architectures. The applicability of the CONCERTO solutions to multiple industrial domains (including aerospace, telecoms, automotive, petroleum and medical) will be ensured through the elaboration of representative industrial use cases. CONCERTO builds on the previous CHESS project results from the ARTEMIS programme, as well as the results of several other related projects. |
| Funding: | Global: 9.56MEUR, CISTER: 375KEUR |
| Sponsors: |    |
| Partners: | |
| Contact Person at CISTER: | Eduardo Tovar |
30, Jun, 2016
Final review of CONCERTO project
The final review of the CONCERTO project took take place in Brussels in the end of June. CONCERTO addressed the important challenge of simplifying and accelerating the design and development phase of the next-generation of mission-critical applications. The project is especially relevant in the context of constantly increasing complexity of functionalities to be implemented and the platforms on which they are deployed. CONCERTO proposes an integrated framework build around a component-based design approach following a model-driven development policy. It addresses all aspects of the system development lifecycle from application modelling to code generation. It incorporates runtime monitoring and verification features together with dependability and schedulability analysis tools. Several domain specific features have also been integrated for the avionics, automotive, petroleum and medical domains.
CISTER has been one of the first class contributors, leading the run-time monitoring and verification task and co-leading the task addressing the analysis of multicore systems. CISTER also largely contributed to tasks addressing domain specific needs for space, avionics, telecom and automotive. In Brussels, CISTER presented its numerous contributions in front of the european commission, which notably includes tools for schedulability and response time analysis of multicore systems, an Eclipse plugin for the automatic configuration of avionics system in an ARINC-653 compliant manner, a tool for response time analysis of Integrated Modular Avionics (IMA) systems, a run-time monitoring and verification library for systems written in Ada, a completely instrumented version of the ORK+ micro-kernel integrated in the GNAT cross-compiler for Leon 2/3 and an Eclipse plugin for treatment and back-propagation to application model of data monitored after application deployment.
5, Jun, 2015
CISTER participates in ARTEMIS CO-SUMMIT
CISTER Researchers Luis Lino Ferreira, Geoffrey Nelissen, Eduardo Tovar and Luis Miguel Pinho participated in the 2015 Artemis/ITEA Co-summit held in Berlin. They were representing CISTER as members of several ongoing and finalized European projects, namely: EMC2, CONCERTO, Arrowhead, ENCOURAGE, CarCode and P-SOCRATES.
The Co-summit 2015 organized by ARTEMIS Joint Undertaking on embedded systems and ITEA, the EUREKA Cluster on software-intensive systems and services – counted about 700 participants from industry, academia, public authorities and press from all over Europe. This year's theme was: Smart Industry: Impact of Software Innovation.
During this event, Eduardo Tovar participated in the Artemis General Assembly and the election for the Artemis Steering Board as a candidate. Luis Miguel Pinho was invited to present a talk in the Speakers Corner on Mixed Criticality related to the actual status of the CISTER-lead European project P-SOCRATES. Geoffrey Nelissen represented CISTER in the CONCERTO booth and Luis Lino Ferreira was also representing CISTER in the CarCode and Arrowhead booths.
Finally, Luis Miguel Pinho and Luis Lino Ferreira, together with the ENCOURAGE project leader Arne Skou, received the achievement award for the successful finalization of the ENCOURAGE project.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Journal Papers
Energy-aware Task Mapping onto Heterogeneous Platforms Using DVFS and Sleep States CISTER-TR-150720
Muhammad Ali Awan, Patrick Meumeu Yomsi, Geoffrey Nelissen, Stefan M. PettersReal-Time Systems (RTSJ), Springer. Jul 2016, Volume 52, Issue 4, pp 450-485.
Muhammad Ali Awan, Patrick Meumeu Yomsi, Geoffrey Nelissen, Stefan M. PettersReal-Time Systems (RTSJ), Springer. Jul 2016, Volume 52, Issue 4, pp 450-485.
Online slack consolidation in global-EDF for energy consumption minimisation CISTER-TR-160301
Muhammad Ali Awan, Geoffrey Nelissen, Patrick Meumeu Yomsi, Stefan M. PettersJournal of Systems Architecture (JSA), ELSEVIER. Feb 2016, Volume 63, pp 1-15.
Muhammad Ali Awan, Geoffrey Nelissen, Patrick Meumeu Yomsi, Stefan M. PettersJournal of Systems Architecture (JSA), ELSEVIER. Feb 2016, Volume 63, pp 1-15.
Task partitioning and priority assignment for distributed hard real-time systems CISTER-TR-151001
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoJournal of Computer and System Sciences (JCSS), Elsevier. Dec 2015, Volume 81, Issue 8, pp 1542-1555.
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoJournal of Computer and System Sciences (JCSS), Elsevier. Dec 2015, Volume 81, Issue 8, pp 1542-1555.
Non-preemptive and SRP-based fully-preemptive scheduling of real-time Software Transactional Memory CISTER-TR-151005
António Barros, Luis Miguel Pinho, Patrick Meumeu YomsiJournal of Systems Architecture (JSA), Elsevier. 26, Nov, 2015, Volume 61, Issue 10, pp 553-566.
António Barros, Luis Miguel Pinho, Patrick Meumeu YomsiJournal of Systems Architecture (JSA), Elsevier. 26, Nov, 2015, Volume 61, Issue 10, pp 553-566.
Intra-Task Device Scheduling for Real-Time Embedded Systems CISTER-TR-150718
Muhammad Ali Awan, Stefan M. PettersJournal of Systems Architecture (JSA), Elsevier. 1, Jul, 2015, Volume 61, Issue 8, pp 321-340.
Muhammad Ali Awan, Stefan M. PettersJournal of Systems Architecture (JSA), Elsevier. 1, Jul, 2015, Volume 61, Issue 8, pp 321-340.
Race-to-halt energy saving strategies CISTER-TR-150104
Muhammad Ali Awan, Stefan M. PettersJournal of Systems Architecture (JSA), Eelsevier. Nov 2014, Volume 60, Issue 10, pp 796-815.
Muhammad Ali Awan, Stefan M. PettersJournal of Systems Architecture (JSA), Eelsevier. Nov 2014, Volume 60, Issue 10, pp 796-815.
An optimal boundary fair scheduling CISTER-TR-140503
Geoffrey Nelissen, Hang Su, Yifeng Guo, Dakai Zhu, Vincent Nélis, Joel GoossensReal-Time Systems, Springer US. 1, Jul, 2014, Volume 50, Issue 4, pp 456-508. U.S.A..
Geoffrey Nelissen, Hang Su, Yifeng Guo, Dakai Zhu, Vincent Nélis, Joel GoossensReal-Time Systems, Springer US. 1, Jul, 2014, Volume 50, Issue 4, pp 456-508. U.S.A..
Real-Time Scheduling with Resource Sharing on Heterogeneous Multiprocessors CISTER-TR-140102
Björn Andersson, Gurulingesh RaraviReal-Time Systems, Springer US. Mar 2014, Volume 50, Issue 2, pp 270-314. U.S.A..
Björn Andersson, Gurulingesh RaraviReal-Time Systems, Springer US. Mar 2014, Volume 50, Issue 2, pp 270-314. U.S.A..
PDFTask assignment algorithms for two-type heterogeneous multiprocessors CISTER-TR-131002
Gurulingesh Raravi, Björn Andersson, Vincent Nélis, Konstantinos BletsasReal-Time Systems (RTS), Springer. Jan 2014, Volume 50, Issue 1, pp 87-141.Outstanding Paper Award, ECRTS 2012
Gurulingesh Raravi, Björn Andersson, Vincent Nélis, Konstantinos BletsasReal-Time Systems (RTS), Springer. Jan 2014, Volume 50, Issue 1, pp 87-141.Outstanding Paper Award, ECRTS 2012
Conference or Workshop Papers/Talks
A Unifying Response Time Analysis Framework for Dynamic Self-Suspending Tasks CISTER-TR-160609
Jian-Jia Chen, Geoffrey Nelissen, Wen-Hung Huang28th Euromicro Conference on Real-Time Systems (ECRTS 16). 5 to 8, Jul, 2016. Toulouse, France.
Jian-Jia Chen, Geoffrey Nelissen, Wen-Hung Huang28th Euromicro Conference on Real-Time Systems (ECRTS 16). 5 to 8, Jul, 2016. Toulouse, France.
Cache-Persistence-Aware Response-Time Analysis for Fixed-Priority Preemptive Systems CISTER-TR-160503
Syed Aftab Rashid, Geoffrey Nelissen, Damien Hardy, Benny Åkesson, Isabelle Puaut, Eduardo Tovar28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.Outstanding Paper Award
Syed Aftab Rashid, Geoffrey Nelissen, Damien Hardy, Benny Åkesson, Isabelle Puaut, Eduardo Tovar28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.Outstanding Paper Award
A New Approach for Limited Preemptive Scheduling in Systems with Preemption Overhead CISTER-TR-160504
Mitra Nasri, Geoffrey Nelissen, Gerhard Fohler28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.
Mitra Nasri, Geoffrey Nelissen, Gerhard Fohler28th Euromicro Conference on Real-Time Systems (ECRTS 2016). 5 to 8, Jul, 2016. Toulouse, France.
Response Time Analysis of Sporadic DAG Tasks under Partitioned Scheduling CISTER-TR-160502
José Fonseca, Geoffrey Nelissen, Vincent Nélis, Luis Miguel Pinho11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
José Fonseca, Geoffrey Nelissen, Vincent Nélis, Luis Miguel Pinho11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
Energy Efficient Mapping of Mixed Criticality Applications on Unrelated Heterogeneous Multicore Platforms CISTER-TR-160501
Muhammad Ali Awan, Damien Masson, Eduardo Tovar11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
Muhammad Ali Awan, Damien Masson, Eduardo Tovar11th IEEE International Symposium on Industrial Embedded Systems (SIES 2016). 23 to 25, May, 2016. Krakow, Poland.
Cache Persistence Aware Response Time Analysis for Fixed Priority Preemptive Systems CISTER-TR-160207
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarWork in Progress Session, 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016). 11 to 13, Apr, 2016. Viena, Austria.
Syed Aftab Rashid, Geoffrey Nelissen, Eduardo TovarWork in Progress Session, 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016). 11 to 13, Apr, 2016. Viena, Austria.
Measurement-Based Probabilistic Timing Analysis for Graphics Processor Units CISTER-TR-160302
Kostiantyn Berezovskyi, Fabrice Guet, Luca Santinelli, Konstantinos Bletsas, Eduardo TovarArchitecture of Computing Systems (ARCS 2016). 4 to 7, Apr, 2016. Nuremberg, Germany.
Kostiantyn Berezovskyi, Fabrice Guet, Luca Santinelli, Konstantinos Bletsas, Eduardo TovarArchitecture of Computing Systems (ARCS 2016). 4 to 7, Apr, 2016. Nuremberg, Germany.
Energy-aware Task Allocation onto Unrelated Heterogeneous Multicore Platform for Mixed Criticality Systems CISTER-TR-151205
Muhammad Ali Awan, Damien Masson, Eduardo TovarWork in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..
Muhammad Ali Awan, Damien Masson, Eduardo TovarWork in Progress Session, IEEE Real-Time Systems Symposium (RTSS 2015). 1 to 4, Dec, 2015. San Antonio, U.S.A..
An Exact Schedulability Test for Global FP Using State Space Pruning CISTER-TR-150503
Artem Burmyakov, Enrico Bini, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.The software tool for the paper titled "An Exact Schedulability Test for Global FP Using State Space Pruning"
Artem Burmyakov, Enrico Bini, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.The software tool for the paper titled "An Exact Schedulability Test for Global FP Using State Space Pruning"
Zip ArchiveStudy of the Reliability of Statistical Timing Analysis for Real-Time Systems CISTER-TR-150714
Dorin Maxim, Frank Soboczenski, Iain Bate, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.
Dorin Maxim, Frank Soboczenski, Iain Bate, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.
How realistic is the mixed-criticality real-time system model? CISTER-TR-151004
Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.Outstanding Paper Award
Alexandre Esper, Geoffrey Nelissen, Vincent Nélis, Eduardo Tovar23rd International Conference on Real-Time Networks and Systems (RTNS 2015). 4 to 6, Nov, 2015, Main Track. Lille, France.Outstanding Paper Award
Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks CISTER-TR-150506
Geoffrey Nelissen, José Fonseca, Gurulingesh Raravi, Vincent Nélis27th Euromicro Conference on Real-Time Systems (ECRTS 2015). 7 to 10, Jul, 2015. Lund, Sweden.
Geoffrey Nelissen, José Fonseca, Gurulingesh Raravi, Vincent Nélis27th Euromicro Conference on Real-Time Systems (ECRTS 2015). 7 to 10, Jul, 2015. Lund, Sweden.
The CONCERTO methodology for model-based development of avionics SW CISTER-TR-150309
Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.
Andrea Baldovin, Alessandro Zovi, Geoffrey Nelissen, Stefano Puri20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.
A Novel Run-Time Monitoring Architecture for Safe and Efficient Inline Monitoring CISTER-TR-150308
Geoffrey Nelissen, David Pereira, Luis Miguel Pinho20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.
Geoffrey Nelissen, David Pereira, Luis Miguel Pinho20th International Conference on Reliable Software Technologies - Ada-Europe 2015 (Ada-Europe 2015). 22 to 26, Jun, 2015. Madrid, Spain.
Holistic Analysis for Fork-Join Distributed Tasks supported by the FTT-SE Protocol CISTER-TR-150507
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luis Miguel Pinho11th IEEE World Conference on Factory Communication Systems (WFCS 2015). 27 to 29, May, 2015, TII-SS-2: Scheduling and Performance Analysis. Palma de Mallorca, Spain.
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Paulo Pedreiras, Luis Miguel Pinho11th IEEE World Conference on Factory Communication Systems (WFCS 2015). 27 to 29, May, 2015, TII-SS-2: Scheduling and Performance Analysis. Palma de Mallorca, Spain.
Towards Certifiable Multicore-based Platforms for Avionics CISTER-TR-150702
Muhammad Ali Awan, Patrick Meumeu Yomsi, Konstantinos Bletsas, Vincent Nélis, Eduardo Tovar, Pedro SoutoWork in Progress Session, 21st IEEE Real-Time and Embedded Techonology and Applications Symposium (RTAS 2015). 13 to 16, Apr, 2015, pp 27-28. Seattle, U.S.A..
Muhammad Ali Awan, Patrick Meumeu Yomsi, Konstantinos Bletsas, Vincent Nélis, Eduardo Tovar, Pedro SoutoWork in Progress Session, 21st IEEE Real-Time and Embedded Techonology and Applications Symposium (RTAS 2015). 13 to 16, Apr, 2015, pp 27-28. Seattle, U.S.A..
Toward a Run-Time Verification Framework for Real-Time Safety-Critical Systems CISTER-TR-151011
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoSEMINAR “ACtion Temps Réel : Infrastructures et Services Systèmes“. 10, Apr, 2015. Brussels, Belgium.
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoSEMINAR “ACtion Temps Réel : Infrastructures et Services Systèmes“. 10, Apr, 2015. Brussels, Belgium.
Allocation of Parallel Real-Time Tasks in Distributed Multi-core Architectures supported by an FTT-SE Network CISTER-TR-150305
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoThe 28th GI/ITG International Conference on Architecture of Computing Systems 2015 (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel PinhoThe 28th GI/ITG International Conference on Architecture of Computing Systems 2015 (ARCS 2015). 24 to 27, Mar, 2015. Porto, Portugal.
Resource Sharing Under a Server-based Semi-Partitioned Scheduling Approach CISTER-TR-141008
Alexandre Esper, Eduardo Tovar22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
Alexandre Esper, Eduardo Tovar22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
SPRINT: Extending RUN to Schedule Sporadic Tasks CISTER-TR-140905
Andrea Baldovin, Geoffrey Nelissen, Tullio Vardanega, Eduardo Tovar22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
Andrea Baldovin, Geoffrey Nelissen, Tullio Vardanega, Eduardo Tovar22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
Temporal Isolation with Preemption Delay Accounting CISTER-TR-140703
José Marinho, Vincent Nélis, Stefan M. Petters19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014). 16 to 19, Sep, 2014. Barcelona, Spain.
José Marinho, Vincent Nélis, Stefan M. Petters19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2014). 16 to 19, Sep, 2014. Barcelona, Spain.
Towards a Runtime Verification Framework for the Ada Programming Language CISTER-TR-140305
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoLecture Notes in Computer Science, Reliable Software Technologies – Ada-Europe 2014 (LNCS), Springer International Publishing. 23 to 27, Aug, 2014, 8454, pp 58-73.
Towards Holistic Analysis for Fork-Join Parallel/Distributed Real-Time Tasks CISTER-TR-140707
Ricardo Garibay-Martínez, Luis Lino Ferreira, Geoffrey Nelissen, Luis Miguel PinhoWork in Progress Session, 26th Euromicro Conference on Real-Time Systems (ECRTS 2014). 8 to 11, Jul, 2014, pp 21-24. Madrid, Spain.
Ricardo Garibay-Martínez, Luis Lino Ferreira, Geoffrey Nelissen, Luis Miguel PinhoWork in Progress Session, 26th Euromicro Conference on Real-Time Systems (ECRTS 2014). 8 to 11, Jul, 2014, pp 21-24. Madrid, Spain.
On the Scheduling of Fork-Join Parallel/Distributed Real-Time Tasks CISTER-TR-140601
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014). 15 to 17, Jun, 2014, Real-time scheduling. Pisa, Italy.
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014). 15 to 17, Jun, 2014, Real-time scheduling. Pisa, Italy.
Non-preemptive scheduling of Real-Time Software Transactional Memory CISTER-TR-140207
António Barros, Luis Miguel Pinhothe Conference on Architecture of Computing Systems (ARCS 2014). 25 to 28, Feb, 2014. Lubeck, Germany.
António Barros, Luis Miguel Pinhothe Conference on Architecture of Computing Systems (ARCS 2014). 25 to 28, Feb, 2014. Lubeck, Germany.
Worst-Case Communication Delay Analysis for Many-Cores using a Limited Migrative Model CISTER-TR-141002
Borislav Nikolic, Patrick Meumeu Yomsi, Stefan M. Petters20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014). 2014, Real-Time Systems Track. Chongqing, China.
Borislav Nikolic, Patrick Meumeu Yomsi, Stefan M. Petters20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014). 2014, Real-Time Systems Track. Chongqing, China.
Limited Pre-emptive Global Fixed Task Priority CISTER-TR-131205
José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna, Robert Davis34th IEEE Real-Time Systems Symposium (RTSS), IEEE. 6, Dec, 2013. Vancouver, Canada.
José Marinho, Vincent Nélis, Stefan M. Petters, Marko Bertogna, Robert Davis34th IEEE Real-Time Systems Symposium (RTSS), IEEE. 6, Dec, 2013. Vancouver, Canada.
Task Partitioning and Priority Assignment for Hard Real-time Distributed Systems CISTER-TR-131111
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho2nd International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS 2013).
Ricardo Garibay-Martínez, Geoffrey Nelissen, Luis Lino Ferreira, Luis Miguel Pinho2nd International Workshop on Real-Time and Distributed Computing in Emerging Applications (REACTION 2013). 3, Dec, 2013. Vancouver, Canada.Co-located within the IEEE Real-Time Systems Symposium (RTSS 2013).
Two Protocols to Reduce the Criticality Level of Multiprocessor Mixed-Criticality Systems CISTER-TR-131004
François Santy, Gurulingesh Raravi, Geoffrey Nelissen, Vincent Nélis, Pratyush Kumar, Joel Goossens, Eduardo Tovar21st International Conference on Real-Time Networks and Systems (RTNS'13), ACM. 16 to 18, Oct, 2013, pp 183-192. Sophia Antipolis, France.
François Santy, Gurulingesh Raravi, Geoffrey Nelissen, Vincent Nélis, Pratyush Kumar, Joel Goossens, Eduardo Tovar21st International Conference on Real-Time Networks and Systems (RTNS'13), ACM. 16 to 18, Oct, 2013, pp 183-192. Sophia Antipolis, France.
Feasibility Intervals for Homogeneous Multicores, Asynchronous Periodic Tasks, and FJP Schedulers CISTER-TR-131005
Vincent Nélis, Patrick Meumeu Yomsi, Joel Goossens21st International Conference on Real-Time Networks and Systems (RTNS 2013), ACM New York. 16 to 18, Oct, 2013, pp 277-286. Sophia Antipolis, France.Best Presentation Award
Vincent Nélis, Patrick Meumeu Yomsi, Joel Goossens21st International Conference on Real-Time Networks and Systems (RTNS 2013), ACM New York. 16 to 18, Oct, 2013, pp 277-286. Sophia Antipolis, France.Best Presentation Award
Optimal Procrastination Interval for Constrained Deadline Sporadic Tasks upon Uniprocessors CISTER-TR-131106
Muhammad Ali Awan, Patrick Meumeu Yomsi, Stefan M. Petters21st International Conference on Real-Time Networks and Systems (RTNS 2013). 16 to 18, Oct, 2013, pp 129-138. Sophia Antipolis, France.
Muhammad Ali Awan, Patrick Meumeu Yomsi, Stefan M. Petters21st International Conference on Real-Time Networks and Systems (RTNS 2013). 16 to 18, Oct, 2013, pp 129-138. Sophia Antipolis, France.
Conference or Workshop Posters/Demos
Model-based design and schedulability analysis for avionic applications on multicore platforms CISTER-TR-160610
Wenceslas Godard, Geoffrey NelissenDemo in 21st International Conference on Reliable Software Technologies - Ada-Europe 2016 (Ada-Europe 2016). 13 to 17, Jun, 2016, Industrial session. Pisa.
Wenceslas Godard, Geoffrey NelissenDemo in 21st International Conference on Reliable Software Technologies - Ada-Europe 2016 (Ada-Europe 2016). 13 to 17, Jun, 2016, Industrial session. Pisa.
Run-Time Monitoring Environments for Real-Time and Safety Critical Systems CISTER-TR-160208
Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo TovarDemo in Demo Session, 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016). 11 to 14, Apr, 2016. Austria.
Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo TovarDemo in Demo Session, 22nd IEEE Real-Time Embedded Technology & Applications Symposium (RTAS 2016). 11 to 14, Apr, 2016. Austria.
Modelling Avionics Applications with CONCERTO CISTER-TR-141211
Andrea Baldovin, Alessandro Zovi, Eduardo Tovar, Geoffrey Nelissen, Tullio VardanegaDemo in RTSS@Work 2014 Open Demo Session of RealTime Systems, IEEE Real-Time Systems Symposium (RTSS 2014). 2 to 5, Dec, 2014. Rome, Italy.
Andrea Baldovin, Alessandro Zovi, Eduardo Tovar, Geoffrey Nelissen, Tullio VardanegaDemo in RTSS@Work 2014 Open Demo Session of RealTime Systems, IEEE Real-Time Systems Symposium (RTSS 2014). 2 to 5, Dec, 2014. Rome, Italy.
A Novel Runtime Monitoring Architecture CISTER-TR-150310
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoPoster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.
Geoffrey Nelissen, David Pereira, Luis Miguel PinhoPoster presented in 28th GI/ITG International Conference on Architecture of Computing Systems (ARCS 2015). 25 to 28, Mar, 2015, Poster Session. Porto, Portugal.
Resource Sharing Under a Server-based Semi Partitioned Scheduling Approach CISTER-TR-141011
Alexandre Esper, Eduardo TovarPoster presented in 22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.
Alexandre Esper, Eduardo TovarPoster presented in 22nd International Conference on Real-Time Networks and Systems (RTNS 2014). 8 to 10, Oct, 2014. Versailles, France.