Investigating process algebra models to represent structured requirements for time-sensitive CPS - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Investigating process algebra models to represent structured requirements for time-sensitive CPS

Résumé

Cyber-Physical Systems (CPS) contain complex computational components that control physical entities. The design of these components must take into account the realtime and concurrent nature of these systems. Formulating requirements that describe CPS behaviors precisely, ruling out misunderstandings, is a crucial yet difficult endeavor. To increase trust in the requirements, formal methods can be used to check relevant properties of the requirements. We investigate a process algebra to capture real-time behaviors and concurrency in CPS requirements in order to automate their analysis. We use a structured natural language to first express CPS requirements: this takes into account current practice, indeed requirements should be easily writable as well as graspable by stakeholders with various points of view and ease communication among them. At the same time, requirements analysis using simulation or formal validation is possible by taking advantage of the requirements structure. We discuss translation from the structured requirements into the process algebra to automate the overall process. Our approach is implemented and is illustrated by an example issued from CPS4EU project.
Fichier principal
Vignette du fichier
paper147.pdf (277.9 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

cea-03256511 , version 1 (10-06-2021)

Identifiants

Citer

Mathilde Arnaud, Boutheina Bannour, Arnault Lapitre, Guillaume Giraud. Investigating process algebra models to represent structured requirements for time-sensitive CPS. SEKE 2021 - THe 33rd International Conference Software Engineering & Knowledge Engineering, Jul 2021, Pittsburgh (Virtual conference), United States. ⟨10.18293/SEKE2021-147⟩. ⟨cea-03256511⟩
115 Consultations
119 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More