Filters








19,835 Hits in 10.0 sec

Model-based analysis support for dependable complex systems in CHESS [article]

Felicien Ihirwe and Silvia Mazzini and Pierluigi Pierini and Alberto Debiasi and Stefano Tonetta
2020 arXiv   pre-print
In this paper, we present the new development of CHESS, a cross-domain, model-driven, component-based, and open-source tool for the development of high-integrity systems.  ...  We focus on the new recently distributed version of CHESS, which supports extended model-based development and analyses for safety and security concerns.  ...  We would like to acknowledge also different projects funding leading to the mature realization of CHESS which include the CHESS 13 , CONCERTO 14 ,  ... 
arXiv:2009.06089v2 fatcat:pclax6fi4nbstjtxcloho4tome

Model-based Analysis Support for Dependable Complex Systems in CHESS

Alberto Debiasi, Felicien Ihirwe, Pierluigi Pierini, Silvia Mazzini, Stefano Tonetta
2021 Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development   unpublished
In this paper, we present the new development of CHESS, a cross-domain, model-driven, component-based and open-source tool for the development of high-integrity systems.  ...  We focus on the new recently distributed version of CHESS, which supports extended model-based development and analyses for safety and security concerns.  ...  We would like to acknowledge also different projects funding leading to the mature realization of CHESS which include the CHESS 13 , CONCERTO 14 ,  ... 
doi:10.5220/0010269702620269 fatcat:sqsfkmq76rd6vikvk2an4srcj4

CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems

Antonio Cicchetti, Federico Ciccozzi, Silvia Mazzini, Stefano Puri, Marco Panunzio, Alessandro Zovi, Tullio Vardanega
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012  
This work presents the CHESS tool environment, a novel approach for cross-domain modelling of industrial complex systems.  ...  Modern software systems require advanced design support capable of mastering rising complexity, as well as of automating as many development tasks as possible.  ...  Dependability Analysis. With state-based dependability analysis CHESS supports a quantitative evaluation of the dependability attributes of the system.  ... 
doi:10.1145/2351676.2351748 dblp:conf/kbse/CicchettiCMPPZV12 fatcat:ccediumidfhxjdewakxxi6stym

A Model-Driven Dependability Analysis Method for Component-Based Architectures

Barbara Gallina, Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat
2012 2012 38th Euromicro Conference on Software Engineering and Advanced Applications  
CHESS-FLA is part of an industrial quality tool-set for the functional and extra-functional development of high integrity embedded component-based systems, developed within the EU-ARTEMIS funded CHESS  ...  CHESS-FLA allows designers to: model the nominal as well as the failure behaviour of their architectures; automatically perform dependability analysis through a model transformation; and, finally, ease  ...  ACKNOWLEDGMENT This work has been partially supported by the European Project ARTEMIS-JU100022 CHESS [2] . The authors thank Stefano Puri for fruitful discussions on CHESS-FLA implementation details.  ... 
doi:10.1109/seaa.2012.35 dblp:conf/euromicro/GallinaJMP12 fatcat:e3a7vy5hirbn5idipflowbz4aa

A domain-specific modeling and analysis environment for complex IoT applications [article]

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio
2021 arXiv   pre-print
In this extended abstract, we introduce CHESSIoT, a domain-specific modeling environment for complex IoT applications.  ...  In addition, the existing supported real-time analysis mechanism, as well as a proposed code generation approach, are presented  ...  The proposed environment extends the CHESS tool [3] , a mature open-source modeling and analysis environment for complex dependable systems.  ... 
arXiv:2109.09244v2 fatcat:chwu7bm5yzg3tnwgzgusrhvhp4

Towards a modeling and analysis environment for industrial IoT systems [article]

Felicien Ihirwe, Davide Di Ruscio, Silvia Mazzini, Alfonso Pierantonio
2021 arXiv   pre-print
In this paper, we present CHESSIoT, a model-driven environment to support the design and analysis of industrial IoT systems.  ...  CHESSIoT follows a multi-view, component-based modelling approach with a comprehensive way to perform event-based modelling on system components for code generation purposes employing an intermediate ThingML  ...  CHESS is known for its success in modelling and analysis of industrial system engineering applications.  ... 
arXiv:2105.14136v2 fatcat:6f3t2nyue5a65mpioj5ojex35y

MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs [article]

Jesus Gorronogoitia Cruz, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, Pierluigi Pierini, Lara Lopez Muniz
2020 arXiv   pre-print
incorporating methods and tools for the continuous development and runtime support of complex software-intensive Cyber-Physical Systems (CPSs).  ...  In this paper, we overview our experiences of developing large set of open source tools in ECSEL JU European project called MegaM@Rt2 whose main objective is to propose a scalable model-based framework  ...  Acknowledgments This work has received funding from the Electronic Component Systems for European Leadership Joint Undertaking under grant agreement No 737494.  ... 
arXiv:2003.07223v1 fatcat:yc6csemsznee7cddco6etba7ti

SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems [chapter]

Leonardo Montecchi, Barbara Gallina
2017 Lecture Notes in Computer Science  
Application domains such as petroleum, e-health, and many others rely on solutions based on safety-critical socio-technical systems.  ...  To support our claims we briefly report about the evaluation that was conducted and documented in the context of the EU CONCERTO project.  ...  Acknowledgement This work has been partially supported by the EU ARTEMIS project CONCERTO [2] , and by the ECSEL Joint Undertaking project AMASS (No 692474).  ... 
doi:10.1007/978-3-319-64119-5_9 fatcat:toju3rtdfra2re5uxptokxp74e

Round-trip support for extra-functional property management in model-driven engineering of embedded systems

Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin
2013 Information and Software Technology  
The proposed round-trip support aids a model-driven component-based development process in ensuring a desired level of extra-functional properties preservation from the source modelling artefacts to the  ...  Result: This article presents an approach to support the whole round-trip process starting from the generation of source code for a target platform, passing through the monitoring of selected system quality  ...  Acknowledgements The research work presented in this paper has been supported by the CHESS Project (Composition with Guarantees for Highintegrity Embedded Software Components Assembly, ARTEMIS Joint Undertaking  ... 
doi:10.1016/j.infsof.2012.07.014 fatcat:2i53h4g2arg6jcxyy3pkorbrdi

Towards Safety Risk Assessment of Socio-Technical Systems via Failure Logic Analysis

Barbara Gallina, Edin Sefer, Atle Refsdal
2014 2014 IEEE International Symposium on Software Reliability Engineering Workshops  
Our approach builds on top of CHESS-FLA, which is a tool-supported failure logic analysis technique that supports analysis of component-based system architectures to understand what can go wrong at the  ...  In this paper, we propose a model-based analysis approach that allows analysts to interpret humans and organizations in terms of components and their behavior in terms of failure logic.  ...  ACKNOWLEDGMENT This work has been partially supported by the CONCERTO project [4] , and by the Norwegian part of CONCERTO funded by the Research Council of Norway (232059).  ... 
doi:10.1109/issrew.2014.49 dblp:conf/issre/GallinaSR14 fatcat:iw7h5oalvzb3pk67p3gbs6gazu

MegaM@Rt2 EU Project: Open Source Tools for Mega-Modelling at Runtime of CPSs [chapter]

Jesus Gorroñogoitia Cruz, Andrey Sadovykh, Dragos Truscan, Hugo Bruneliere, Pierluigi Pierini, Lara Lopez Muñiz
2020 IFIP Advances in Information and Communication Technology  
incorporating methods and tools for the continuous development and runtime support of complex software-intensive Cyber-Physical Systems (CPSs).  ...  In this paper, we overview our experiences of developing large set of open source tools in ECSEL JU European project called MegaM@Rt2 whose main objective is to propose a scalable model-based framework  ...  In particular the derived properties are traced back to the relevant implementation components of the CHESS model to allow verification with respect The contract based approach supported by CHESS enables  ... 
doi:10.1007/978-3-030-47240-5_18 fatcat:2smh35en7jebleybak62fzd5de

An automated round-trip support towards deployment assessment in component-based embedded systems

Federico Ciccozzi, Mehrdad Saadatmand, Antonio Cicchetti, Mikael Sjödin
2013 Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering - CBSE '13  
Synergies between model-driven and component-based software engineering have been indicated as promising to mitigate complexity in development of embedded systems.  ...  In this work we evaluate the usefulness of a model-driven roundtrip approach to aid deployment optimization in the development of embedded component-based systems.  ...  Acknowledgments This research is supported by the RALF3 (Swedish Foundation for Strategic Research (SSF), http://www.mrtc.mdh. se/projects/ralf3/) project and the Swedish Knowledge Foundation (KKS) through  ... 
doi:10.1145/2465449.2465450 dblp:conf/cbse/CiccozziSCS13 fatcat:hufx7d6yerhd5lnxn7yxufivcq

Exploring the use patterns of a mobile health application for alcohol addiction before the initial lapse after detoxification

Ming-Yuan Chih
2014 AMIA Annual Symposium Proceedings  
A comprehensive set of A-CHESS use measures were developed based on a three-level system use framework and three A-CHESS service categories.  ...  How patients used Addiction-Comprehensive Health Enhancement Support System (A-CHESS)1, a mobile health intervention, while quitting drinking is worthy exploring.  ...  A more complex model with a higher number of profiles may be needed in order to fit a complex correlation structure in our data.  ... 
pmid:25954342 pmcid:PMC4419986 fatcat:vvtie7bdcvbv5bxgtlj55ancb4

Towards Model-Based Support For Regression Testing

Anna Gujgiczer, Márton Elekes, Oszkár Semeráth, András Vörös
2017 Zenodo  
In this paper we introduce a model-based technique to make regression testing more efficient by focusing on the user-defined properties of the system-under-test.  ...  In order to ensure correctness, regression testing involves the execution of numerous tests usually written manually by the developers.  ...  ACKNOWLEDGMENT This work was partially supported by the MTA-BME Lendület Research Group on Cyber-Physical Systems and theÚNKP-16-1-I.  ... 
doi:10.5281/zenodo.291893 fatcat:fcjmtuwlardwhjfvoxn4ptxkgy

A Hybrid Deep Model Using Deep Learning and Dense Optical Flow Approaches for Human Activity Recognition

Senem Tanberk, Zeynep Hilal Kilimci, Dilek Tukel, Mitat Uysal, Selim Akyokus
2020 IEEE Access  
Fourth, the support vector machine algorithm is utilized for the task of classification of videos.  ...  In this study, we propose a hybrid deep model to understand and interpret videos focusing on human activity recognition.  ...  The system is simulated for recognizing the playing of chess in order to demonstrate the efficiency of the proposed model.  ... 
doi:10.1109/access.2020.2968529 fatcat:bafvat24ondflmzm454xc356eu
« Previous Showing results 1 — 15 out of 19,835 results