NORTH: Non-intrusive Observation and RunTime verification of cyber-pHysical systems

Revision as of 09:23, 24 April 2017 by Ruf (Talk | contribs)

Research Line(s): Timeliness and Adaptation in Dependable Systems (TADS)
Sponsor: FCT
Project Number: Bilateral cooperation
Coordinator: José Rufino
Partners: Université de Bretagne Occidentale, Lab-STICC UMR CNRS 6285 - Brest (FR)
Start Date: Jan. 2017
Duration: 24 months
Team at FCUL: 2 researchers, including José Rufino, Antónia Lopes, António Casimiro, Inês Gouveia

Publications

João de Sousa Alves, “CAN FD: a communication network for future avionic systems”, Master’s thesis, Faculdade de Ciências, Universidade de Lisboa, Portugal, Jun. 2019.

José Rufino, “Hardware Support for Non-intrusive Runtime Verification on Processor Technologies”, Ada User Journal, vol. 39, no. 4, pp. 287–290, Dec. 2018.

José Rufino, Felix Dino Lange, Martin Leucker, Torben Scheffel, Malte Schmitz, Daniel Thoma, António Casimiro, “Non-intrusive Runtime Verification within a System-on-Chip”, Ada User Journal, vol. 39, no. 4, pp. 296–299, Dec. 2018.

José Rufino, “Non-intrusive Observation and Runtime Verification of Avionic Systems”, Ada User Journal, vol. 39, no. 4, pp. 300–304, Dec. 2018.

José Rufino, António Casimiro, Antónia Lopes, Frank Singhoff, Stéphane Rubini, Valérie-Anne Nicolas, Mounir Lallali, Mourad Dridi, Jalil Boukhobza, Lyes Allache, “NORTH - Non-intrusive Observation and RunTime verification of cyber-pHysical systems”, Ada User Journal, pp. 278–281, Jun. 2018.

Stéphane Rubini, Valérie-Anne Nicolas, Frank Singhoff, José Rufino, “A Real-Time System Monitoring driven by Scheduling Analysis”, Ada User Journal, pp. 282–286, Jun. 2018.

João de Sousa Alves, José Rufino, “Comparing the inaccessibility characteristics of CAN and CAN FD protocols”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.

João de Sousa Alves, José Rufino, “On the (non-intrusive) observability of the CAN FD protocol”, in Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal, Oct. 2017.

Inês Gouveia, “Non-intrusive Observation and Runtime Verification of Cyber-physical Systems”, Master’s thesis, Mestrado em Engenharia Informática, Departamento de Informática, Faculdade de Ciências da Universidade de Lisboa, Sept. 2017.

António Casimiro, Inês Gouveia, José Rufino, “Enforcing Timeliness and Safety in Mission-Critical Systems”, in Proceedings of the 22nd International Conference on Reliable Software Technologies, Ada-Europe 2017, Vienna, Austria, Jun. 2017.

Inês Gouveia, José Rufino, “Enforcing safety and security through non-intrusive runtime verification”, in Proceedings of the 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS), Porto, Portugal, Dec. 2016, pp. 19–24. (co-located with the IEEE Real-Time Systems Symposium 2016 (RTSS 2016))

Inês Gouveia, José Rufino, “Non-intrusive runtime verification of embedded software”, in Proc. INForum 2016, 8º Simpósio de Informática - Poster Sessions, Lisboa, Portugal, Sept. 2016, pp. 1–2.

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, SAPIENT, PROPHECY, SecFuNet, FTH-Grid, AIR-II, AIR, ESFORS, CaberNet, GODC, BROADCAST, CoDiCom, Delta-4, RAPTOR