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.
André Pedro, David Pereira, Luis Miguel Pinho, Jorge Sousa PintoNASA Formal Methods Symposium 2014 (NFM14), Springer International Publishing. 29, Apr, 2014, LNCS 8430, pp 16-30. Houston, TX, U.S.A..
Luis Miguel Pinho, Eduardo Quiñones, Marko Bertogna, Luca Benini, Jorge Pereira Carlos, Claudio Scordino, Michele Ramponi2nd Workshop on High-performance and Real-time Embedded Systems (HiRES 2014). 20, Jan, 2014. Vienna, Austria.
Stephen Michell, Brad Moore, Luis Miguel PinhoACM SIGAda High Integrity Language Technology Conference (HILT'13), ACM. 10 to 14, Nov, 2013, pp 23-26. Pittsburgh, U.S.A..
Stephen Michell, Brad Moore, Luis Miguel Pinho18th International Conference on Reliable Software Technologies (Ada-Europe 2013). 10 to 14, Jun, 2013, pp 17-34. Berlin, Germany.
José Fonseca, Luis Miguel Nogueira, Cláudio Maia, Luis Miguel PinhoSimpósio de Informática (INForum 2012). 6 to 7, Sep, 2012. Lisboa, Portugal.Best paper of the Real-time and Embedded Systems track.
Vikram Gupta, Junsung Kim, Aditi Pandya, Karthik Lakshmanan, Raj Rajkumar, Eduardo Tovar8th 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..
Björn Andersson, Luis Miguel Pinho15th International Conference on Reliable Software Technologies (Ada-Europe 2010), Springer Berlin Heidelberg. 14 to 18, Jun, 2010, pp 54-67. Valencia, Spain.