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

From Navigators

(Difference between revisions)
Jump to: navigation, search
 
(12 intermediate revisions not shown)
Line 2: Line 2:
|Acronym=NORTH
|Acronym=NORTH
|Title=Non-intrusive Observation and RunTime verification of cyber-pHysical systems
|Title=Non-intrusive Observation and RunTime verification of cyber-pHysical systems
-
|Past Project=no
+
|Past Project=yes
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|ResearchLine=Timeliness and Adaptation in Dependable Systems (TADS)
|Sponsor=FCT / Campus France
|Sponsor=FCT / Campus France
Line 12: Line 12:
|Duration months=24
|Duration months=24
|Keywords=Formal Methods; Modelling and Temporal Logics; Non-Intrusive Observation; Runtime Verification; Cyber-Physical Systems.
|Keywords=Formal Methods; Modelling and Temporal Logics; Non-Intrusive Observation; Runtime Verification; Cyber-Physical Systems.
-
|Summary=*''Team at UBO:'' 6 researchers, including Frank Singhoff, Laurent Lemarchant, Stéphane Rubini, Alain Plantec, Jalil Boukhobza, Mourad Dridi.   
+
|Summary=*''Team at UBO:'' 8 researchers, including Frank Singhoff, Laurent Lemarchant, Stéphane Rubini, Alain Plantec, Jalil Boukhobza, Mourad Dridi, Valérie-Anne Nicolas, Lyes Allache.   
*''Funded by:''
*''Funded by:''
Line 26: Line 26:
*Kickoff Meeting, FCUL - FCiências.ID (LASIGE), Lisboa (PT), May 24-25, 2017. [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/7/74/NORTH_Kickoff_Agenda-VP.pdf Agenda], [http://beru.univ-brest.fr/svn/PESSOA/2017-05-MEETING/ SVN Repository (private)].
*Kickoff Meeting, FCUL - FCiências.ID (LASIGE), Lisboa (PT), May 24-25, 2017. [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/7/74/NORTH_Kickoff_Agenda-VP.pdf Agenda], [http://beru.univ-brest.fr/svn/PESSOA/2017-05-MEETING/ SVN Repository (private)].
-
*NORTH@Brest Meeting, Lab-STICC - UBO, Brest (FR), Nov. 30 - Dec. 1, 2017.  [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/c/c6/NORTH-11-2017-Agenda-VP.pdf Preliminary Agenda], [http://beru.univ-brest.fr/svn/PESSOA/2017-11-MEETING/ SVN Repository (private)].
+
*NORTH@Brest Meeting, Lab-STICC - UBO, Brest (FR), Nov. 30 - Dec. 1, 2017.  [http://www.navigators.di.fc.ul.pt/w2/img_auth.php/c/c6/NORTH-11-2017-Agenda-VP.pdf Agenda], [http://beru.univ-brest.fr/svn/PESSOA/2017-11-MEETING/ SVN Repository (private)].
 +
*NORTH@Brest Stay, Lab-STICC - UBO, Brest (FR), Mar. 5 - Apr. 6, 2018 (José Rufino).
 +
*[http://beru.univ-brest.fr/RUME2018.html RUME 2018 Workshop], co-located with the 23rd International Conference on Reliable Software Technologies, [http://ae2018.di.fc.ul.pt/workshops.html Ada-Europe 2018], Lisboa, Portugal, June, 2018.
|Team Size=4
|Team Size=4
|Researchers=José Rufino, Antónia Lopes, António Casimiro, Inês Gouveia,
|Researchers=José Rufino, Antónia Lopes, António Casimiro, Inês Gouveia,
}}
}}

Latest revision as of 18:01, 26 April 2019


  • Research Line(s): Timeliness and Adaptation in Dependable Systems (TADS)
  • Sponsor: FCT / Campus France
  • Project Number: Bilateral cooperation - 3732 (PT) / 37932TF (FR)
  • Coordinator: José Rufino (PT) / Frank Singhoff (FR)
  • Partners: UBO - Université de Bretagne Occidentale, Lab-STICC UMR CNRS 6285, Brest (FR)
  • Start Date: Jan. 2017
  • Duration: 24 months
  • Keywords: Formal Methods; Modelling and Temporal Logics; Non-Intrusive Observation; Runtime Verification; Cyber-Physical Systems.
  • Team at FCUL: 4 researchers, including José Rufino, Antónia Lopes, António Casimiro, Inês Gouveia
  • Team at UBO: 8 researchers, including Frank Singhoff, Laurent Lemarchant, Stéphane Rubini, Alain Plantec, Jalil Boukhobza, Mourad Dridi, Valérie-Anne Nicolas, Lyes Allache.
  • Funded by:

FCT.pngCampus-FR.jpg

Summary

The increase use of autonomous vehicles and other cyber-physical systems has been motivating the adoption of Runtime Verification (RV) techniques for embedded system platforms. This stems from the criticality of such systems, which call for the assurance of correct operation, both on value and time domains. However, traditional RV techniques (mostly based on code instrumentation) may inevitably pose significant overheads – both in performance and timeliness – due to their inherent intrusiveness, which make them clearly unfit for critical systems.

This project aims at advancing the state of the art in RV techniques by researching innovative (self-)adaptive observation and runtime verification methods, supported in non-intrusive monitoring machinery. The negative effects of traditional techniques (ranging from function call interception to source code annotation with observation points) are avoided, thus making this novel approach relevant to virtually all (critical) cyber-physical systems.

Meetings

Publications

BibTeX

Navigators - NORTH project
Personal tools
Navigators toolbox