Testing Real-Time Systems With Runtime Enforcement
| Autor: | Sébastien Faucou, Louis-Marie Givel, Matthias Brun, Jean-Luc Béchennec, Olivier Roux |
|---|---|
| Přispěvatelé: | Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Centre National de la Recherche Scientifique (CNRS), ESEO-TRAME (TRAME), ESEO-Tech, Université Bretagne Loire (UBL)-Université Bretagne Loire (UBL), Université de Nantes (UN), École Centrale de Nantes (ECN) |
| Rok vydání: | 2018 |
| Předmět: |
formal methods
Computer science 02 engineering and technology computer.software_genre parametric timed model RTOS 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering Enforcement Real-time operating system Real-time testing Model-based testing real-time testing ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging Formal methods ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.5: Reliability ACM: D.: Software/D.4: OPERATING SYSTEMS/D.4.7: Organization and Design/D.4.7.4: Real-time systems and embedded systems 020202 computer hardware & architecture model-based testing runtime enforcement real-time systems Hardware and Architecture Kernel (statistics) Operating system [INFO.INFO-ES]Computer Science [cs]/Embedded Systems 020201 artificial intelligence & image processing Scenario testing computer Software |
| Zdroj: | IEEE Design & Test IEEE Design & Test, IEEE, 2018, ⟨10.1109/MDAT.2018.2791801⟩ |
| ISSN: | 2168-2364 2168-2356 |
| Popis: | International audience; —When testing a time-critical system, some scenarios can be hard to run when acting only on the input sequence. The proper execution of a given scenario might require for instance a minimal execution time for a given piece of software. Execution times are notoriously difficult to control because they depend not only on the inputs, but also on the state of the micro-architecture. In this paper, we propose a method, based on runtime enforcement, which forces a system to run such a scenario. We also describe an implementation in the context of a RTOS for embedded control systems. Our method starts with a parametric formal model of the system where the parameters are delays that can be added to simulate longer execution times. The domain of acceptable parameter values to run the target scenario is computed offline. Online, a framework plugged in the RTOS observes the execution of the system and injects delays when needed. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|