Szczegóły publikacji
Opis bibliograficzny
Nowoczesne metody wytwarzania oprogramowania systemów cyberfizycznych — Modern methods in software development of cyber-physical systems / Tomasz SZMUC, Rafał MRÓWKA, Paweł SKRZYŃSKI, Grzegorz ROGUS, Wojciech SZMUC, Jacek PIWOWARCZYK, Marek Brańka, Jakub Ficoń // W: Nauka – technika – technologia : seria wydawnicza AGH, T. 5. — Kraków : Wydawnictwa AGH, 2022. — Materiały z konferencji naukowej "Wydział Elektryczny AGH – Wczoraj, Dziś i Jutro" : 23 czerwca 2022, Kraków. — ISBN: 978-83-66727-84-7; e-ISBN: 978-83-67427-00-5. — S. 83–98. — Bibliogr. s. 96–98, Streszcz., Abstr.
Autorzy (8)
Słowa kluczowe
Dane bibliometryczne
ID BaDAP | 141414 |
---|---|
Data dodania do BaDAP | 2023-11-09 |
Tekst źródłowy | URL |
DOI | 10.7494/978-83-67427-00-5_6 |
Rok publikacji | 2022 |
Typ publikacji | fragment monografii pokonferencyjnej |
Otwarty dostęp | |
Creative Commons | |
Wydawca | Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie |
Streszczenie
Celem pracy jest przedstawienie nowoczesnych metod wspomagania wytwarzania oprogramowania systemów cyberfizycznych (SCF). Proponowane podejście bazuje na wprowadzeniu równoległej ścieżki formalnego modelowania i analizy właściwości w początkowych fazach wytwarzania oprogramowania. W dużym skrócie: artefakty modeli zapisanych w języku SysML lub AADL są tłumaczone na modele sieci Petriego, których właściwości mogą być analizowane bezpośrednio lub z zastosowaniem systemów dowodzenia logiki temporalnej. Dotychczasowe praktyczne zastosowanie metod formalnych ograniczone było złożonością generowanych modeli. W celu umożliwienia analizy złożonych struktur grafowych, tj. sieci Petriego, LTS (Labeled Transition Systems), drzew osiągalności, proponuje się zastosowanie wizualizacji 3D za pomocą urządzeń typu VR. Aktualne badania potwierdzają tezę, iż zastosowanie wizualizacji przestrzennej ułatwia interpretację, znajdowanie zależności, grupowanie, hierarchizację i dekompozycję wspomnianych struktur. Praktyczne wykorzystanie mechanizmu rzutowania grafów w przestrzeni 3D zostanie pokazane w zastosowaniu do wizualizacji sieci Petriego oraz na przykładzie systemu optymalizacji zarządzania współdzieleniem samochodów.
Abstract
The paper aims to present modern methods supporting the development of Cyber-Physical Systems (CPS). The proposed approach is based on introducing a parallel path for formal modelling and feature analysis in the initial phases of software development. In a nutshell, artefacts written in SysML or AADL are translated into Petri net models, whose properties can be analysed directly or using temporal logic provers. Until now, the practical application of formal methods has been limited by the complexity of the generated models. 3D visualisation using VR devices is proposed to simplify the analysis of complex graph structures, i.e., Petri nets, LTS (Labeled Transition Systems), and reachability trees. Current research confirms the thesis that spatial visualisation facilitates interpretation, finding relationships, grouping, hierarchisation and decomposition. Practical use of the graph projection method in 3D space are shown in application to the visualisation of Petri nets and in the example of an optimisation system for car sharing management.