Visualisation of Control Software for Cyber-Physical Systems
| Autor: | Ivano Salvo, Igor Melatti, Enrico Tronci, Federico Mari |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2021 |
| Předmět: |
Model checking
Theoretical computer science Computer science Physical system 02 engineering and technology Information technology 03 medical and health sciences Software Control theory 0202 electrical engineering electronic engineering information engineering State space control software visualisation 030304 developmental biology 0303 health sciences business.industry Control software synthesis cyberphysical systems model checking Cyber-physical system 020207 software engineering T58.5-58.64 Software design State (computer science) business Information Systems |
| Zdroj: | Information Volume 12 Issue 5 Information, Vol 12, Iss 178, p 178 (2021) |
| Popis: | Cyber-physical systems are typically composed of a physical system (plant) controlled by a software (controller). Such a controller, given a plant state s and a plant action u, returns 1 iff taking action u in state s leads to the physical system goal or at least one step closer to it. Since a controller K is typically stored in compressed form, it is difficult for a human designer to actually understand how “good” K is. Namely, natural questions such as “does K cover a wide enough portion of the system state space?”, “does K cover the most important portion of the system state space?” or “which actions are enabled by K in a given portion of the system space?” are hard to answer by directly looking at K. This paper provides a methodology to automatically generate a picture of K as a 2D diagram, starting from a canonical representation for K and relying on available open source graphing tools (e.g., Gnuplot). Such picture allows a software designer to answer to the questions listed above, thus achieving a better qualitative understanding of the controller at hand. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|