Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Alarico Campetelli"'
Autor:
Alarico Campetelli, Manfred Broy
Publikováno v:
Automotive Systems Engineering II ISBN: 9783319616056
In this work an integrated method for the development of mechatronic systems is presented for capturing information from requirements to code generation level, with derived and intermediated abstractions in a logical view. Our modelling theory, based
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5eb2ab1a8cd2a94e2fb263842459931a
https://doi.org/10.1007/978-3-319-61607-0_4
https://doi.org/10.1007/978-3-319-61607-0_4
Autor:
Birgit Vogel-Heuser, Georg Hackenberg, Manfred Broy, Daniel Schütz, Jakob Mund, Alarico Campetelli, Jens Folmer, Christoph Legat
Publikováno v:
at - Automatisierungstechnik. 62:815-825
To facilitate engineering and evolution of automation systems, ensuring the correctness of the design models is an important topic. Industrial automation systems are composed of various heterogeneous elements designed by different disciplines such as
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0166dd87f9ba742be138f7aca317524e
https://doi.org/10.1515/auto-2014-1126
https://doi.org/10.1515/auto-2014-1126
Publikováno v:
Advanced Model-Based Engineering of Embedded Systems ISBN: 9783319480022
Advanced Model-Based Engineering of Embedded Systems
Advanced Model-Based Engineering of Embedded Systems
In this chapter, we explain the application of the SPES XT modeling framework for the running example of the desalination plant. The objective is to explain the philosophy and methodology of the SPES XS modeling framework to automation domain experts
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66f6414349b57431b38291bdf44322bd
https://doi.org/10.1007/978-3-319-48003-9_12
https://doi.org/10.1007/978-3-319-48003-9_12
Autor:
Alarico Campetelli
In the development of software and hardware systems it is important to guarantee a correct behaviour. Damages due to errors may cost money and even endanger human lives. There are analysis techniques to verify, test and validate systems. In this docu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______518::5470c955a4bbbf573b7d8299dea373a3
https://mediatum.ub.tum.de/1094378
https://mediatum.ub.tum.de/1094378
Autor:
Alarico Campetelli, María Victoria Cengarle, Irina Gaponova, Alexander Harhurin, Daniel Ratiu, Judith Thyssen
Model-based development assumes the pervasive use of models along all software development phases. Models are usually built using modelling tools. Behind each tool there is a modelling language that comprises one or more specification techniques. A s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______518::ffea41d6a7f6ee0b871620e5beec3957
https://mediatum.ub.tum.de/doc/1094494/document.pdf
https://mediatum.ub.tum.de/doc/1094494/document.pdf
Publikováno v:
Automated Technology for Verification and Analysis ISBN: 9783642047602
ATVA
ATVA
This paper studies abstraction and refinement techniques in the setting of multi-valued model checking for the μ -calculus. Two dimensions of abstractions are identified and studied: Abstraction by joining states of the underlying multi-valued Kripk
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9035fd0bb649b232f136d2b6deb16412
https://doi.org/10.1007/978-3-642-04761-9_22
https://doi.org/10.1007/978-3-642-04761-9_22