READAPT: Reconfigurability and Adaptability in Safe and Secure Multicore Architectures for Mixed-Criticality Applications

Revision as of 17:21, 10 April 2013 by Jcraveiro (Talk | contribs)

Research Line(s): Timeliness and Adaptation in Dependable Systems (TADS)
Sponsor: FCT
Project Number: PTDC/EEI-SCR/3200/2012
Start Date: Jun. 2013
Duration: 24 months
Team at FCUL: Researchers including José Rufino, António Casimiro, João Pedro Craveiro, Jeferson L. R. Souza, Ricardo Correia Pinto

Publications

Rui Pedro Caldeira, Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “Methods and Tools for Assessment of Wireless Networks in Extreme Environments”, in IEEE International Conference on Wireless for Space and Extreme Environments 2015 (WiSEE), Miami, Florida, United States of America, Dec. 2015.

Rui Pedro Caldeira, Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “A Tool for Real-Time Assessment of IEEE 802.15.4 Networks Through Fault Injection”, in Proceedings of the 7th Simpósio de Informática (INFORUM), Covilhã, Portugal, Sept. 2015.

Jeferson L. R. Souza, José Rufino, “The Wi-STARK Architecture For Resilient Real-Time Wireless Communications”, ACM SIGBED Review, vol. 11, no. 4, pp. 1–6, Dec. 2014. Special Issue on 4th Embedded Operating Systems Workshop (EWiLi), Lisbon, Portugal

Ricardo Correia Pinto, José Rufino, “Exploiting Non-intrusive Monitoring in Real-Time Embedded Operating Systems”, in Proceedings of the 4th Embedded Operating Systems Workshop (EWiLi) - Poster Session, Lisbon, Portugal, Nov. 2014, pp. 1–2.

Jeferson L. R. Souza, Ricardo Correia Pinto, José Rufino, “Mechanisms to Enforce Dependability and Timeliness in Wireless Communications”, in Proceedings of the 2nd International IEEE Conference on Wireless for Space Applications and Extreme Environments (WiSEE), European Space Agency, Noordwijk, Netherlands, Oct. 2014, pp. 1–6.

Ricardo Correia Pinto, José Rufino, “Exploitation of Non-intrusive Monitoring in Real-Time Embedded Systems”, in Communication at the Embedded and Real-Time Systems Session of the 6th Simpósio de Informática (INForum), Porto, Portugal, Sept. 2014, pp. 1–1.

João Carraca, Ricardo Correia Pinto, João Pedro Craveiro, José Rufino, “Information Security in Time- and Space-Partitioned Architectures for Aerospace Systems”, in Proceedings of the 6th Simpósio de Informática (INFORUM), Porto, Portugal, Sept. 2014, pp. 457–472.

Jeferson L. R. Souza, José Rufino, “Low Level Error Detection For Real-Time Wireless Communications”, in Proceedings of the 13th International Workshop on Real-Time Networks (RTN) - co-located with ECRTS, Madrid, Spain, Jul. 2014.

Ricardo Correia Pinto, José Rufino, “Towards Non-invasive Run-time Verification of Real-Time Systems”, in Work-in-Progress Session of the 26th Euromicro Conference on Real-Time Systems (ECRTS), Madrid, Spain, Jul. 2014, pp. 25–28.

André Guerreiro, Jeferson L. R. Souza, José Rufino, “Improving NS-2 Network Simulator To Evaluate IEEE 802.15.4 Wireless Networks Under Error Conditions”, in Proceedings of the 3th International Conference on Sensor Networks (SENSORNETS), Lisbon, Portugal, Jan. 2014, pp. 212–220.

Jeferson L. R. Souza, José Rufino, “Analysing and Reducing Network Inaccessibility in IEEE 802.15.4 Wireless Communications”, in 38th IEEE Conference on Local Computer Networks (LCN 2013), Sydney, Australia, Oct. 2013, pp. 532–540.

André Guerreiro, “Inaccessibility in Wireless Sensor Networks”, Master’s thesis, Faculty of Sciences, University of Lisbon, Oct. 2013.

Kleomar Almeida, Ricardo Correia Pinto, José Rufino, “Fault Detection in Time- and Space-Partitioned Systems”, in Communication at the 5th Simpósio de Informática (INFORUM), Évora, Portugal, Sept. 2013, pp. 179–186.

André Guerreiro, Jeferson L. R. Souza, José Rufino, “Improving NS-2 Network Simulator for IEEE 802.15.4 Standard Operation”, in 5th Simpósio de Informática (INFORUM), Évora, Portugal, Sept. 2013, pp. 432–443.

João Pedro Craveiro, “Real-Time Scheduling in Multicore Time- and Space-Partitioned Architectures”, Ph.D. dissertation, University of Lisbon, Lisbon, Portugal, Aug. 2013. Defended in 2014

João Pedro Craveiro, José Rufino, “Global Laxity-Based Scheduling on Multiprocessor Resource Reservations”, in 4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013), Paris, France, Jul. 2013, pp. 12–13.

Jeferson L. R. Souza, José Rufino, “Towards Resilient Real-Time Wireless Communications”, in 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), Paris, France, Jul. 2013, pp. 29–32.

João Pedro Craveiro, José Rufino, “Uniform Multiprocessor Periodic Resource model”, in 4th International Real-Time Scheduling Open Problems Seminar (RTSOPS 2013), Paris, France, Jul. 2013, pp. 14–15.

Current projects:	VEDLIoT, SATO, ADMORPH, SEAL, AQUAMON, UPVN, REDBOOK, ThreatAdapt, SEL, Xivt
Past projects:	TCLOUDS, MASSIF, MAFTIA, RESIST NoE, DiSIEM, KARYON, HIDENETS, CORTEX, CRUTIAL, TRONE, SITAN, ReD, IRCoC, DIVERSE, CloudFIT, READAPT, REGENESYS, RC-Clouds, TACID, DARIO, RITAS, AJECT, MICRA, DEAR-COTS, COPE, DEFEATS, MOOSCO, TOPCOM, RE:DY, NORTH, Abyss, SUPERCLOUD, COST Action IC1402, SEGRID, BioBankCloud, PROPHECY, SAPIENT, SecFuNet, FTH-Grid, AIR-II, AIR, ESFORS, CaberNet, GODC, BROADCAST, CoDiCom, Delta-4, RAPTOR