Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Luigi Di Guglielmo"'
Autor:
Leonardo Mangeruca, Alessandro Ulisse, Giulio M. Mancuso, Stefano Boccabella, Luigi Di Guglielmo, Alberto Ferrari, Alessandro Mignogna, Fabio Cremona
Publikováno v:
2018 Modeling and Simulation Technologies Conference
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::df216c97622de06dd6093ac6e3d86375
https://doi.org/10.2514/6.2018-3893
https://doi.org/10.2514/6.2018-3893
Autor:
Masahiro Fujita, C. Marconcini, Luigi Di Guglielmo, Giuseppe Di Guglielmo, Graziano Pravadelli, Andreas Foltinek, Franco Fummi
Publikováno v:
Journal of Systems and Software. 86:2013-2033
Model-driven design (MDD) aims at elevating design to a higher level of abstraction than that provided by third-generation programming languages. Concurrently, assertion-based verification (ABV) relies on the definition of temporal assertions to enha
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3763f69df7f6ae1760090595fcb9144b
https://doi.org/10.1016/j.jss.2012.08.061
https://doi.org/10.1016/j.jss.2012.08.061
Publikováno v:
Model-Based Safety and Assessment ISBN: 9783319641188
IMBSA
IMBSA
System safety assessments are integral part of system development as indicated by the ARP4754A standard. These activities are usually performed manually and rely on reviews and engineering judgments with limited use of models to support the assessmen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c526468a4de33487877e7f70313e679a
https://doi.org/10.1007/978-3-319-64119-5_16
https://doi.org/10.1007/978-3-319-64119-5_16
Publikováno v:
Journal of Electronic Testing. 27:137-162
Extended finite state machines (EFSMs) can be efficiently adopted to model the functionality of complex designs without incurring the state explosion problem typical of the more traditional FSMs. However, traversing an EFSM can be more difficult than
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eb7690248c3eb018d8d1522e686c37a5
https://doi.org/10.1007/s10836-011-5209-8
https://doi.org/10.1007/s10836-011-5209-8
Autor:
Davide Bresolin, Luigi Di Guglielmo, Luca Geretti, Tiziano Villa, Riccardo Muradore, Paolo Fiorini
Publikováno v:
DSD
The relevance of formal verification methods is widely recognized in the computer science and embedded systems community. Recently, such methods have been introduced also within the control community, to help designers in developing control architect
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8a62b92e0b669091b2d5f303cf327ccf
http://hdl.handle.net/11577/3229628
http://hdl.handle.net/11577/3229628
Publikováno v:
MTV
In the recent years, the use of hybrid automata has achieved a great success in the early design and verification of embedded systems. Once the hybrid model defined by means of hybrid automata has been verified, it would be valuable to reuse it to re
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0bf7cf39bf6b8fe6088e18744c4481c1
https://doi.org/10.1109/mtv.2011.11
https://doi.org/10.1109/mtv.2011.11
Publikováno v:
HLDVT
When designing embedded systems, often the need arises to model systems having a mixed discrete and continuous behavior (i.e., hybrid systems) that cannot be characterized faithfully using either only discrete or only continuous MoCs (models of compu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::71ad739e5ba734815fe9d4de18c6db0d
https://doi.org/10.1109/hldvt.2011.6114170
https://doi.org/10.1109/hldvt.2011.6114170
Publikováno v:
HLDVT
In the hardware design, assertion-based verification (ABV) affirmed as an effective methodology for functional verification, i.e., design specification conformance. However, up to now, there were only limited studies concerning the application of sim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d1628f0a65579590b9506279ca9358f0
https://doi.org/10.1109/hldvt.2011.6114169
https://doi.org/10.1109/hldvt.2011.6114169
Autor:
Andreas Foltinek, Franco Fummi, Giuseppe Di Guglielmo, Masahiro Fujita, Graziano Pravadelli, C. Marconcini, Luigi Di Guglielmo
Publikováno v:
AST
This paper presents a model-based framework for designing and validating embedded software (ESW). The design infrastructure is a rapid-application-development suite for ESW, i.e., radCASE, which provides the user with an off the shelf designing envir
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e535f94877d5ef7b0d6a18d321041e9
https://doi.org/10.1145/1982595.1982616
https://doi.org/10.1145/1982595.1982616
Publikováno v:
IWCMC
In the last years hybrid automata have been applied in the design and verification of embedded systems. Once a hybrid model of the system has been proved to be correct with respect to the desired properties, it would be valuable to extract a correct-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::44b188034481a654eda430208f3bef3b
http://hdl.handle.net/11562/368210
http://hdl.handle.net/11562/368210