Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Adina Aniculaesei"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 232, Iss Proc. V2CPS-16, Pp 79-90 (2016)
There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Due to the uncertainty in these environments, the verification results obtai
Externí odkaz:
https://doaj.org/article/4719404127614d1988a1ff5f6b2c67d1
Publikováno v:
ICSA Companion
Safety-critical automotive functions are required to satisfy stringent safety requirements. To guarantee the safety of such functions, their conformance with industry approved standards as well as statutory regulations must be ensured. Testing is the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::531cfe79fc5b97a39010c82c93ffa428
https://doi.org/10.1109/icsa-c52384.2021.00036
https://doi.org/10.1109/icsa-c52384.2021.00036
Publikováno v:
SAST
Model-based development is on the rise and tool chains employing automated code generation from models using certified code generators are getting increasingly common. We present an approach which enables the reverse operation and creates an ANSYS SC
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d931d06127f2e640e9dddb1221f24da5
https://doi.org/10.1145/3425174.3425213
https://doi.org/10.1145/3425174.3425213
Autor:
Marian Daun, Robert G. Pettit, Christos Tranoris, Sebastian Voss, Aedan Pettit, Birgit Penzenstadler, Christian Berger, John Fitzgerald, Edith Zavala, Claudio Menghi, Shafiul Azam Chowdhury, Matthias Markthaler, Bradley Schmerl, Jan Carlson, Luca Sabatucci, Danny Weyns, João Cambeiro, Hans Vangheluwe, Nianyu Li, Adina Aniculaesei, Tomas Bures
Publikováno v:
Software engineering notes
Smart Cyber-Physical Systems (sCPS) are a novel kind of Cyber- Physical System engineered to take advantage of large-scale cooperation between devices, users and environment to achieve added value in the face of uncertainty and changing environments.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f7bcddb88b5622f1c5a2f78d37bd60c8
https://doi.org/10.1145/3364452.3364465
https://doi.org/10.1145/3364452.3364465
Publikováno v:
MODELS Companion
In the last years, model-driven engineering has gained a lot of traction, especially in industrial domains, such as automotive or avionics. Various tools which support model-driven engineering, e.g. SCADE or MATLAB/Simulink, have developed over the y
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20b757fcc8739bcc824fa530de26daae
https://doi.org/10.1109/models-c.2019.00079
https://doi.org/10.1109/models-c.2019.00079
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 232, Iss Proc. V2CPS-16, Pp 79-90 (2016)
V2CPS@IFM
V2CPS@IFM
There is an increasing necessity to deploy autonomous systems in highly heterogeneous, dynamic environments, e.g. service robots in hospitals or autonomous cars on highways. Due to the uncertainty in these environments, the verification results obtai
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2c9d0e0b782f5214eed2b62d53cd2e0b
https://doaj.org/article/4719404127614d1988a1ff5f6b2c67d1
https://doaj.org/article/4719404127614d1988a1ff5f6b2c67d1
Publikováno v:
SEFAIAS@ICSE
Autonomous systems are gaining momentum in various application domains, such as autonomous vehicles, autonomous transport robotics and self-adaptation in smart homes. Product liability regulations impose high standards on manufacturers of such system
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5efdb19a0c46337eb0a273bc99735c8e
https://doi.org/10.1145/3194085.3194091
https://doi.org/10.1145/3194085.3194091
Publikováno v:
VST@SANER
Checking that a complex software system conforms to an extensive catalogue of requirements is an elaborate and costly task which cannot be managed only through manual testing anymore. In this paper, we construct an academic case study in which we app
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d7729342a0ca325a1fa9b9d4ce0f6e2
https://doi.org/10.1109/vst.2018.8327150
https://doi.org/10.1109/vst.2018.8327150
Autor:
Ursula Goltz, Kurt Schneider, Andreas Rausch, Benjamin Mensing, Sebastian Herold, Adina Aniculaesei, Stefan Gärtner
Publikováno v:
DEST
Modern large-scale software-intensive systems are complex conglomerates of interacting (socio-) technical systems. The single systems are highly adaptive and autonomous leading to emergent behavior. Well-established development approaches, that are a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::813d8dc16d6abed2cc7a3a2f8db02a27
https://doi.org/10.1109/dest.2012.6227951
https://doi.org/10.1109/dest.2012.6227951