Temporal Properties in Component-Based Cyber-Physical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Temporal Properties in Component-Based Cyber-Physical Systems

Tobias Sehnke
  • Fonction : Auteur
Matthias Schultalbers
  • Fonction : Auteur
  • PersonId : 1048902

Résumé

Modern cyber-physical system are often responsible for safety critical control functions. The quality and performance of these function is directly linked to asserted realtime behavior. In the literature requirements on this behavior are considered exclusively in the context of central architectural decision making. This can be problematic because such systems can consist of a large number of reusable software components, supplied by different stakeholders that are executed on interconnected processing units. In this work, we present a novel approach to obtain temporal requirements for the design of cyber-physical systems in a more distributed way. The significant advantages are the following: First, our approach simplifies the transfer of assertions made during functional design to the system design process which is important when building systems from reusable components. Second, our approach enables us to consider important aspects of temporal properties in an automated form, that otherwise have to be addressed manually. We demonstrate the applicability of our approach using an automotive use case.
Fichier principal
Vignette du fichier
ERTS_2018_paper_85.pdf (463.2 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02156362 , version 1 (14-06-2019)

Identifiants

  • HAL Id : hal-02156362 , version 1

Citer

Tobias Sehnke, Matthias Schultalbers, Rolf Ernst. Temporal Properties in Component-Based Cyber-Physical Systems. ERTS 2018, Jan 2018, Toulouse, France. ⟨hal-02156362⟩

Collections

ERTS2018
113 Consultations
117 Téléchargements

Partager

Gmail Facebook X LinkedIn More