Programmability

Synopsis

Next generation of Real-Time Embedded Systems will be based on heterogeneous parallel architectures, and will need to consider multiple dimensions of complexity such as performance, energy efficiency, time-criticality, dependability, and cost-effectiveness. We research new programming paradigms that allow increased productivity and robustness, while reducing complexity. We have a proven record of impactful work in real-time and embedded programming models, with a special focus on real-time parallel programming, seamless programming of WSN, and new approaches for formal verification.

Leadership & Achievements

At the ACM SIGAda High Integrity Language Technology Conference, (2-6 December 2012, Boston, USA), CISTER Researcher Luís Miguel Pinho received the “Outstanding Ada Community Contribution Award” of SIGAda, the Special Interest Group on Ada of the Association for Computing Machinery (ACM). This award recognizes individuals and organizations with outstanding contributions to the Ada community and broad and lasting contributions to Ada technology and usage.

Luís Miguel Pinho was Program Co-Chair of the 17th International Conference on Reliable Software Technologies (Ada-Europe 2012), together with Mats Brorsson (Professor at KTH Royal Institute of Technology, Sweden). The conference took place in Stockholm, Sweden, over 11-15 June 2012.

Luís Miguel Pinho was keynote speaker at the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2010), with a talk on “Real-Time Programming Paradigms and Languages”.

Since 2007, Luís Miguel Pinho serves as Editor in Chief of the Ada User Journal.

CISTER hosted the 11th International Conference on Reliable Software Technologies (Ada-Europe) in June 2006.

Relevant Projects

International Projects

National Projects

Relevant Publications

A Compositional Monitoring Framework for Hard Real-Time Systems CISTER-TR-140104 
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa Pinto

ABSTRACTPDFPDF

NASA Formal Methods Symposium 2014 (NFM14), Springer International Publishing. 29, Apr, 2014, LNCS 8430, pp 16-30. Houston, TX, U.S.A..

Time Criticality Challenge in the Presence of Parallelised Execution CISTER-TR-140105 
Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Luca Benini, Jorge Pereira Carlos, Claudio Scordino, Michele Ramponi

ABSTRACTPDFPDF

2nd Workshop on High-performance and Real-time Embedded Systems (HiRES 2014). 20, Jan, 2014. Vienna, Austria.

Real-Time Programming on Accelerator Many-Core Processors CISTER-TR-131112 
Stephen Michell, Brad Moore, Luis Miguel Pinho

ABSTRACTPDFPDF

ACM SIGAda High Integrity Language Technology Conference (HILT'13), ACM. 10 to 14, Nov, 2013, pp 23-26. Pittsburgh, U.S.A..

Tasklettes – a Fine Grained Parallelism for Ada on Multicores CISTER-TR-130304 
Stephen Michell, Brad Moore, Luis Miguel Pinho

ABSTRACTPDFPDF

18th International Conference on Reliable Software Technologies (Ada-Europe 2013). 10 to 14, Jun, 2013, pp 17-34. Berlin, Germany.

Real-Time Scheduling of Parallel Tasks in the Linux Kernel HURRAY-TR-120714 
José Fonseca, Luis Miguel Nogueira, Cláudio Maia, Luis Miguel Pinho

ABSTRACTPDFPDF

Simpósio de Informática (INForum 2012). 6 to 7, Sep, 2012. Lisboa, Portugal.Best paper of the Real-time and Embedded Systems track.

Nano-CF: A Coordination Framework for Macro-programming in Wireless Sensor Networks HURRAY-TR-110603 
Vikram Gupta, Junsung Kim, Aditi Pandya, Karthik Lakshmanan, Raj Rajkumar, Eduardo Tovar

ABSTRACTPDFPDF

8th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2011), IEEE. 29, Jun, 2011, pp 467-475. Salt Lake City, UT, U.S.A..

Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012 HURRAY-TR-100301 
Björn Andersson, Luis Miguel Pinho

ABSTRACTPDFPDF

15th International Conference on Reliable Software Technologies (Ada-Europe 2010), Springer Berlin Heidelberg. 14 to 18, Jun, 2010, pp 54-67. Valencia, Spain.