Verification of Consistency Between Process Models, Object Life Cycles, and Context-Dependent Semantic Specifications

Autor: Roman Popp, Christoph Luckeneder, Ralph Hoch, Hermann Kaindl

Publikováno v: IEEE Transactions on Software Engineering. 48:4041-4059

Process models in general, and those specifying process-oriented software in particular, should be formally verified. While activity-oriented process models have been verified against object life cycles, formally specified semantic specifications of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::8dfcd84c38974278682c240c618bc67d
https://doi.org/10.1109/tse.2021.3110191

Formal Verification of Safety Properties of Collaborative Robotic Applications including Variability

Autor: Ralph Hoch, Berhnard Reiterer, Michael Hofbaur, Thomas Haspl, Christoph Luckeneder, Hermann Kaindl, Michael Rathmair

Publikováno v: RO-MAN

Formal design verification receives increased importance since the complexity of safety-critical technical applications steadily increases. In this paper, we describe an approach for symbolic model checking of collaborative robotic systems against sa

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::947fba6317affc5896693c0d2e0f0d09
https://doi.org/10.1109/ro-man50785.2021.9515404

Using an Auction-Based System in Cloud Manufacturing for Selecting Manufacturing-as-a-Service Providers

Autor: Kelvin Sparr, Damian Drexel, Ralph Hoch

Publikováno v: Advances in Production Management Systems. Artificial Intelligence for Sustainable and Resilient Production Systems ISBN: 9783030859138

The shift towards mass customization in production and technological advancements lead to new manufacturing paradigms. Such paradigms facilitate the distribution of production to distributed companies, located all around the globe, essentially creati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6e90c2190f8669ed6b8add427fd8a08d
https://doi.org/10.1007/978-3-030-85914-5_48

Formal Verification of Cyber-physical Feature Coordination with Minimalist Qualitative Models

Autor: Christoph Luckeneder, Ralph Hoch, Michael Rathmair, Hermann Kaindl

Publikováno v: Communications in Computer and Information Science ISBN: 9783030225582
ENASE (Selected Papers)

Undesired feature interaction may lead to safety-critical behavior in cyber-physical systems (CPSs). For specifying feature coordination of a cyber-physical software system (i.e., its cyber-part), an approach based on the Situation Calculus was previ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::934453ef99a27ecc6414e0a0f5c77376
https://doi.org/10.1007/978-3-030-22559-9_12

An Experimental Evaluation of Design Space Exploration of Hardware/Software Interfaces

Autor: Franz Lukasch, Ralph Hoch, Hermann Kaindl, Thomas Rathfux

Publikováno v: ENASE

We observe ever increasing variability of hardware/software interfaces (HSIs), e.g., in automotive systems. Hence, there is a need for the reuse of already existing HSIs. In this regard, an important question is whether automated adaptation of an alr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::da337c3f36348854549724454df4dcf8
https://doi.org/10.5220/0007689002890296