A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Model-based analysis support for dependable complex systems in CHESS
[article]
2020
arXiv
pre-print
Preserved Fulltext
Other Versions
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
2021
Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2012
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering - ASE 2012
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2012
2012 38th Euromicro Conference on Software Engineering and Advanced Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
2014 IEEE International Symposium on Software Reliability Engineering Workshops
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2020
IFIP Advances in Information and Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2013
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering - CBSE '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2014
AMIA Annual Symposium Proceedings
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2017
Zenodo
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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