Automated fault tolerance augmentation in model-driven engineering for CPS
•A framework to augment design models with dependability mechanisms is presented.•The proposed approach decouples functional and non-functional concerns.•The augmentation process is automated by the NHC tool.•NHC’s viability is shown with NVP, a leading fault-tolerance pattern.•Data correctness and...
Uložené v:
| Vydané v: | Computer standards and interfaces Ročník 70; s. 103424 - 13 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Journal Article |
| Jazyk: | English |
| Vydavateľské údaje: |
Amsterdam
Elsevier B.V
01.06.2020
Elsevier BV |
| Predmet: | |
| ISSN: | 0920-5489, 1872-7018 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | •A framework to augment design models with dependability mechanisms is presented.•The proposed approach decouples functional and non-functional concerns.•The augmentation process is automated by the NHC tool.•NHC’s viability is shown with NVP, a leading fault-tolerance pattern.•Data correctness and timing correctness of the augmented model are preserved.
Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised to handle faults occurring at run-time. However, properly implementing those mechanisms is a time-consuming task that requires a great deal of know-how. In this paper, we propose a general framework which allows system designers to decouple functional and non-functional concerns, and express non-functional properties at design time using domain-specific languages. In the spirit of generative programming, functional models are then automatically “augmented” with dependability mechanisms. Importantly, the real-time behavior of the initial models in terms of sampling times and meeting deadlines is preserved. The practicality of the approach is demonstrated with the automated implementation of one prominent software fault-tolerance pattern, namely N-Version Programming, in the CPAL model-driven engineering workflow. |
|---|---|
| AbstractList | Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised to handle faults occurring at run-time. However, properly implementing those mechanisms is a time-consuming task that requires a great deal of know-how. In this paper, we propose a general framework which allows system designers to decouple functional and non-functional concerns, and express non-functional properties at design time using domain-specific languages. In the spirit of generative programming, functional models are then automatically "augmented" with dependability mechanisms. Importantly, the real-time behavior of the initial models in terms of sampling times and meeting deadlines is preserved. The practicality of the approach is demonstrated with the automated implementation of one prominent software fault-tolerance pattern, namely N-Version Programming, in the CPAL model-driven engineering workflow. •A framework to augment design models with dependability mechanisms is presented.•The proposed approach decouples functional and non-functional concerns.•The augmentation process is automated by the NHC tool.•NHC’s viability is shown with NVP, a leading fault-tolerance pattern.•Data correctness and timing correctness of the augmented model are preserved. Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of efficient fault-tolerance mechanisms has been devised to handle faults occurring at run-time. However, properly implementing those mechanisms is a time-consuming task that requires a great deal of know-how. In this paper, we propose a general framework which allows system designers to decouple functional and non-functional concerns, and express non-functional properties at design time using domain-specific languages. In the spirit of generative programming, functional models are then automatically “augmented” with dependability mechanisms. Importantly, the real-time behavior of the initial models in terms of sampling times and meeting deadlines is preserved. The practicality of the approach is demonstrated with the automated implementation of one prominent software fault-tolerance pattern, namely N-Version Programming, in the CPAL model-driven engineering workflow. |
| ArticleNumber | 103424 |
| Author | Havet, Lionel Hu, Tingting Cibrario Bertolotti, Ivan Navet, Nicolas |
| Author_xml | – sequence: 1 givenname: Tingting surname: Hu fullname: Hu, Tingting email: tingting.hu@uni.lu organization: Faculty of Science, Technology and Medicine, University of Luxembourg, 6 Avenue de la Fonte, L-4364 Esch-sur-Alzette, Luxembourg – sequence: 2 givenname: Ivan surname: Cibrario Bertolotti fullname: Cibrario Bertolotti, Ivan email: ivan.cibrario@ieiit.cnr.it organization: CNR – National Research Council of Italy, IEIIT, c.so Duca degli Abruzzi 24, Torino I-10129, Italy – sequence: 3 givenname: Nicolas surname: Navet fullname: Navet, Nicolas email: nicolas.navet@uni.lu organization: Faculty of Science, Technology and Medicine, University of Luxembourg, 6 Avenue de la Fonte, L-4364 Esch-sur-Alzette, Luxembourg – sequence: 4 givenname: Lionel surname: Havet fullname: Havet, Lionel email: lionel.havet@realtimeatwork.com organization: RealTime-at-Work (RTaW), 4 Rue Piroux, Nancy 54000, France |
| BookMark | eNp9kF1LwzAUhoNMcE5_gHcFrzvz1aTFqzH8ZKCgXoc0OR0pXTLTdOC_t6NeebGrw4H3OS_nuUQzHzwgdEPwkmAi7tql6d2SYnrcGaf8DM1JKWkuMSlnaI4rivOCl9UFuuz7FmNMBZNz9LoaUtjpBDZr9NClLIUOovYGMj1sd-CTTi74zPlsFyx0uY3uAD4Dv3UeIDq_zZoQs_X7xxU6b3TXw_XfXKCvx4fP9XO-eXt6Wa82uWGiTDmQSo_dUFhGGlEzjq2pLW1IQ0BaURHQjNRcaFbIEhsu6rouhbRcipJgzNkC3U539zF8D9An1YYh-rFSUc6LSnBG8ZgiU8rE0PcRGrWPbqfjjyJYHZWpVo3K1FGZmpSNjPzHGDf9n6J23UnyfiJhfPzgIKreOBgtWhfBJGWDO0H_AmS7hyc |
| CitedBy_id | crossref_primary_10_1007_s11219_023_09639_z crossref_primary_10_1016_j_suscom_2024_101051 crossref_primary_10_3390_app122110822 crossref_primary_10_1016_j_csi_2021_103565 crossref_primary_10_1088_1742_6596_1889_5_052013 crossref_primary_10_1007_s42979_022_01532_z |
| Cites_doi | 10.3390/s18020628 10.1016/j.jlamp.2018.05.005 10.1109/JPROC.2018.2838530 10.1007/s10270-009-0128-1 10.1109/MCS.2003.1200240 10.1007/s10270-018-0665-6 10.1109/JPROC.2017.2731741 10.1109/TII.2019.2904082 10.1145/2379776.2379778 10.1109/JPROC.2011.2160929 10.1109/JPROC.2002.805826 10.1109/JPROC.2002.805825 10.3390/s150304837 10.1109/32.588521 10.4271/2015-01-0168 10.1016/j.entcs.2005.10.021 10.1145/256167.256394 10.1145/2980763 10.5381/jot.2019.18.3.a7 |
| ContentType | Journal Article |
| Copyright | 2020 Elsevier B.V. Copyright Elsevier BV Jun 2020 |
| Copyright_xml | – notice: 2020 Elsevier B.V. – notice: Copyright Elsevier BV Jun 2020 |
| DBID | AAYXX CITATION 7SC 8FD JQ2 L7M L~C L~D |
| DOI | 10.1016/j.csi.2020.103424 |
| DatabaseName | CrossRef Computer and Information Systems Abstracts Technology Research Database ProQuest Computer Science Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Computer and Information Systems Abstracts Technology Research Database Computer and Information Systems Abstracts – Academic Advanced Technologies Database with Aerospace ProQuest Computer Science Collection Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Computer and Information Systems Abstracts |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1872-7018 |
| EndPage | 13 |
| ExternalDocumentID | 10_1016_j_csi_2020_103424 S0920548919301710 |
| GroupedDBID | --K --M -~X .DC .~1 0R~ 1B1 1~. 1~5 29F 4.4 457 4G. 5VS 7-5 71M 8P~ 9JN 9JO AAAKF AAAKG AACTN AAEDT AAEDW AAIAV AAIKJ AAKOC AALRI AAOAW AAQFI AAQXK AARIN AAXUO AAYFN ABBOA ABFNM ABMAC ABUCO ABXDB ABYKQ ACDAQ ACGFS ACNNM ACRLP ACZNC ADBBV ADEZE ADJOM ADMUD AEBSH AEKER AENEX AFKWA AFTJW AGHFR AGUBO AGYEJ AHHHB AHZHX AIALX AIEXJ AIKHN AITUG AJBFU AJOXV ALMA_UNASSIGNED_HOLDINGS AMFUW AMRAJ AOUOD APLSM ASPBG AVWKF AXJTR AZFZN BKOJK BLXMC CS3 DU5 EBS EFJIC EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FGOYB FIRID FNPLU FYGXN G-Q G8K GBLVA GBOLZ HAMUX HLZ HVGLF HZ~ IHE J1W KOM LG9 M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. PQQKQ Q38 R2- RIG RNS ROL RPZ SBC SDF SDG SDP SES SEW SPC SPCBC SSB SSD SSV SSZ T5K TN5 UHS WUQ XPP ZMT ~G- 9DU AATTM AAXKI AAYWO AAYXX ABDPE ABJNI ABWVN ACLOT ACRPL ACVFH ADCNI ADNMO AEIPS AEUPX AFJKZ AFPUW AGQPQ AIGII AIIUN AKBMS AKRWK AKYEP ANKPU APXCP CITATION EFKBS ~HD 7SC 8FD JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c368t-e19a263e5d31f6b340dcbd2f1f1e7d691ea31b46a35780c46bbb867d476810043 |
| ISICitedReferencesCount | 4 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000528005700008&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0920-5489 |
| IngestDate | Sun Nov 09 08:34:43 EST 2025 Sat Nov 29 07:11:17 EST 2025 Tue Nov 18 22:52:15 EST 2025 Fri Feb 23 02:41:52 EST 2024 |
| IsDoiOpenAccess | false |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Keywords | Model-driven engineering Cognification Fault-tolerance Domain-specific languages Industrial cyber physical systems |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c368t-e19a263e5d31f6b340dcbd2f1f1e7d691ea31b46a35780c46bbb867d476810043 |
| Notes | ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 |
| OpenAccessLink | http://orbilu.uni.lu/handle/10993/41575 |
| PQID | 2445964320 |
| PQPubID | 2045268 |
| PageCount | 13 |
| ParticipantIDs | proquest_journals_2445964320 crossref_primary_10_1016_j_csi_2020_103424 crossref_citationtrail_10_1016_j_csi_2020_103424 elsevier_sciencedirect_doi_10_1016_j_csi_2020_103424 |
| PublicationCentury | 2000 |
| PublicationDate | June 2020 2020-06-00 20200601 |
| PublicationDateYYYYMMDD | 2020-06-01 |
| PublicationDate_xml | – month: 06 year: 2020 text: June 2020 |
| PublicationDecade | 2020 |
| PublicationPlace | Amsterdam |
| PublicationPlace_xml | – name: Amsterdam |
| PublicationTitle | Computer standards and interfaces |
| PublicationYear | 2020 |
| Publisher | Elsevier B.V Elsevier BV |
| Publisher_xml | – name: Elsevier B.V – name: Elsevier BV |
| References | Navet, Fejoz (bib0015) 2016 Rugina, Kanoun, Kaaniche (bib0011) 2011; 7 Mens, Gorp (bib0030) 2006; 152 University of Michigan, Control tutorials for MATLAB and Simulink: Inverted pendulum, (Available online, at Lampke, Schliecker, Ziegenbein, Hamann (bib0005) 2015; 8 Cabot, Clarisó, Brambilla, Gérard (bib0001) 2017; 10748 Hebig, Seidl, Berger, Pedersen, Wa̧sowski (bib0041) 2018 Yoon, Lee, Kim, Kim, Lim (bib0008) 2017 Hu, Cibrario Bertolotti, Navet (bib0023) 2017 M. Antoni, Formal validation method and tools for computerized interlocking system, 2012, (Presentation at the Eighteenth International Symposium on Formal Methods (FM 2012), Industry Day). Available at Fejoz, Régnier, Miramont, Navet (bib0020) 2018 Ding, Morozov, Janschek (bib0024) 2018 Bernardi, Merseguer, Petriu (bib0010) 2012; 45 Jiang, Song, Yang, Liu, Gu, Guan, Sun, Sha (bib0037) 2018; 3 Visser, Gauché (bib0044) 1996; 12 S. Altmeyer, S. Sundharam, FIFO scheduling analysis, 2016 Gamma, Helm, Johnson, Vlissides (bib0042) 1995 Henzinger, Horowitz, Kirsch (bib0045) 2003; 91 Bloom, Cena, Cibrario Bertolotti, Hu, Navet, Valenzano (bib0021) 2019; 15 Xu, Koren, Krishna (bib0009) 2017; 16 . El-Hokayem, Falcone, Jaber (bib0027) 2018; 99 Sfyrla, Tsiligiannis, Safaka, Bozga, Sifakis (bib0028) 2010 Ataíde, Barros, Brito, Gomes (bib0032) 2017 Sundharam, Navet, Altmeyer, Havet (bib0006) 2018; 18 Avižienis (bib0022) 1995 Colaço, Pagano, Pasteur, Pouzet (bib0038) 2018 Ebert, Dumke (bib0043) 2007 Holzmann (bib0016) 1997; 23 Voelter, Ratiu, Schaetz, Kolb (bib0019) 2012 Bernardi, Merseguer, Petriu (bib0025) 2011; 10 Ameller, Franch, Gómez, Martínez-Fernández, Araujo, Biffl, Cabot, Cortellessa, Méndez, Moreira, Muccini, Vallecillo, Wimmer, Amaral, Bühm, Bruneliere, Burgueño, Goulão, Teufl, Berardinelli (bib0004) 2019 Cibrario Bertolotti, Hu, Navet (bib0017) 2017 Kölbl, Leue, Singh (bib0029) 2018 Brunel, Doligez, Hansen, Lawall, Muller (bib0031) 2009 Cremona, Morelli, Di Natale (bib0035) 2015 Burgueño, Cabot, Gérard (bib0040) 2019; 18 Derler, Lee, Sangiovanni Vincentelli (bib0003) 2012; 100 Benveniste, Caspi, Edwards, Halbwachs, Guernic, de Simone (bib0018) 2003; 91 Montecchi, Lollini, Bondavalli (bib0026) 2011 Cervin, Henriksson, Lincoln, Eker, Arzen (bib0036) 2003; 23 Cervin (bib0048) 2012 Wang, Hovakimyan, Sha (bib0007) 2013 Sztipanovits, Bapty, Koutsoukos, Lattmann, Neema, Jackson (bib0034) 2018; 106 Kahani, Bagherzadeh, Cordy, Dingel, Varró (bib0039) 2019; 18 Lee (bib0002) 2015; 15 Koutsoukos, Karsai, Laszka, Neema, Potteiger, Volgyesi, Vorobeychik, Sztipanovits (bib0033) 2018; 106 Selic (bib0014) 2016 Buckl, Sojer, Knoll (bib0012) 2010 Gerber, Hong (bib0046) 1997; 19 Hu (10.1016/j.csi.2020.103424_bib0023) 2017 Buckl (10.1016/j.csi.2020.103424_bib0012) 2010 Bernardi (10.1016/j.csi.2020.103424_bib0010) 2012; 45 Bloom (10.1016/j.csi.2020.103424_bib0021) 2019; 15 Ameller (10.1016/j.csi.2020.103424_bib0004) 2019 Hebig (10.1016/j.csi.2020.103424_bib0041) 2018 Brunel (10.1016/j.csi.2020.103424_bib0031) 2009 Voelter (10.1016/j.csi.2020.103424_bib0019) 2012 Gerber (10.1016/j.csi.2020.103424_bib0046) 1997; 19 Holzmann (10.1016/j.csi.2020.103424_bib0016) 1997; 23 Lee (10.1016/j.csi.2020.103424_bib0002) 2015; 15 Cervin (10.1016/j.csi.2020.103424_bib0048) 2012 Bernardi (10.1016/j.csi.2020.103424_bib0025) 2011; 10 Navet (10.1016/j.csi.2020.103424_bib0015) 2016 Rugina (10.1016/j.csi.2020.103424_bib0011) 2011; 7 Jiang (10.1016/j.csi.2020.103424_bib0037) 2018; 3 Ding (10.1016/j.csi.2020.103424_bib0024) 2018 Mens (10.1016/j.csi.2020.103424_bib0030) 2006; 152 Fejoz (10.1016/j.csi.2020.103424_bib0020) 2018 Yoon (10.1016/j.csi.2020.103424_bib0008) 2017 10.1016/j.csi.2020.103424_bib0047 Montecchi (10.1016/j.csi.2020.103424_bib0026) 2011 El-Hokayem (10.1016/j.csi.2020.103424_bib0027) 2018; 99 Colaço (10.1016/j.csi.2020.103424_bib0038) 2018 Avižienis (10.1016/j.csi.2020.103424_bib0022) 1995 Ebert (10.1016/j.csi.2020.103424_bib0043) 2007 Wang (10.1016/j.csi.2020.103424_bib0007) 2013 Koutsoukos (10.1016/j.csi.2020.103424_bib0033) 2018; 106 Kahani (10.1016/j.csi.2020.103424_bib0039) 2019; 18 Visser (10.1016/j.csi.2020.103424_bib0044) 1996; 12 Cremona (10.1016/j.csi.2020.103424_bib0035) 2015 Selic (10.1016/j.csi.2020.103424_bib0014) 2016 Sundharam (10.1016/j.csi.2020.103424_bib0006) 2018; 18 Cabot (10.1016/j.csi.2020.103424_bib0001) 2017; 10748 Xu (10.1016/j.csi.2020.103424_bib0009) 2017; 16 Lampke (10.1016/j.csi.2020.103424_bib0005) 2015; 8 10.1016/j.csi.2020.103424_bib0013 Gamma (10.1016/j.csi.2020.103424_bib0042) 1995 Kölbl (10.1016/j.csi.2020.103424_bib0029) 2018 Benveniste (10.1016/j.csi.2020.103424_bib0018) 2003; 91 Derler (10.1016/j.csi.2020.103424_bib0003) 2012; 100 Sztipanovits (10.1016/j.csi.2020.103424_bib0034) 2018; 106 Cervin (10.1016/j.csi.2020.103424_bib0036) 2003; 23 Cibrario Bertolotti (10.1016/j.csi.2020.103424_bib0017) 2017 Sfyrla (10.1016/j.csi.2020.103424_bib0028) 2010 Henzinger (10.1016/j.csi.2020.103424_bib0045) 2003; 91 10.1016/j.csi.2020.103424_bib0049 Ataíde (10.1016/j.csi.2020.103424_bib0032) 2017 Burgueño (10.1016/j.csi.2020.103424_bib0040) 2019; 18 |
| References_xml | – volume: 99 start-page: 143 year: 2018 end-page: 177 ident: bib0027 article-title: Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – application to the behavior interaction priority framework publication-title: J. Log. Algebraic Methods Program. – volume: 19 start-page: 525 year: 1997 end-page: 555 ident: bib0046 article-title: Slicing real-time programs for enhanced schedulability publication-title: ACM Trans. Program. Lang. Syst. – start-page: 11 year: 2016 end-page: 26 ident: bib0014 article-title: Programming ⊂ modeling ⊂ engineering publication-title: Proceedings of the Seventh International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) – volume: 16 start-page: 79:1 year: 2017 end-page: 79:25 ident: bib0009 article-title: AdaFT: a framework for adaptive fault tolerance for cyber-physical systems publication-title: ACM Trans. Embed. Comput. Syst. – volume: 23 start-page: 279 year: 1997 end-page: 295 ident: bib0016 article-title: The model checker SPIN publication-title: IEEE Trans. Softw. Eng. – reference: ). – volume: 15 start-page: 5613 year: 2019 end-page: 5625 ident: bib0021 article-title: Event notification in CAN-based sensor networks publication-title: IEEE Trans. Ind. Inf. – year: 1995 ident: bib0042 article-title: Design Patterns: Elements of Reusable Object-oriented Software – volume: 45 start-page: 2:1 year: 2012 end-page: 2:48 ident: bib0010 article-title: Dependability modeling and analysis of software systems specified with UML publication-title: ACM Comput. Surv. – start-page: 445 year: 2018 end-page: 455 ident: bib0041 article-title: Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT publication-title: Proceedings of the Twenty-Sixth ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) – volume: 91 start-page: 64 year: 2003 end-page: 83 ident: bib0018 article-title: The synchronous languages 12 years later publication-title: Proc. IEEE – volume: 23 start-page: 16 year: 2003 end-page: 30 ident: bib0036 article-title: How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime publication-title: IEEE Control Syst. Mag. – start-page: 41 year: 2013 end-page: 50 ident: bib0007 article-title: L1simplex: Fault-tolerant control of cyber-physical systems publication-title: Proceedings of the ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) – start-page: 1 year: 2017 end-page: 4 ident: bib0032 article-title: Towards automatic code generation for distributed cyber-physical systems: a first prototype for Arduino boards publication-title: Proceedings of the Twenty-Second IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) – volume: 100 start-page: 13 year: 2012 end-page: 28 ident: bib0003 article-title: Modeling cyber–physical systems publication-title: Proc. IEEE – volume: 18 start-page: 2361 year: 2019 end-page: 2397 ident: bib0039 article-title: Survey and classification of model transformation tools publication-title: Softw. Syst. Model. – volume: 106 start-page: 1501 year: 2018 end-page: 1526 ident: bib0034 article-title: Model and tool integration platforms for cyber–physical system design publication-title: Proc. IEEE – start-page: 1940 year: 2015 end-page: 1947 ident: bib0035 article-title: TRES: a modular representation of schedulers, tasks, and messages to control simulations in Simulink publication-title: Proceedings of the Thirtith Annual ACM Symposium on Applied Computing – start-page: 1 year: 2010 end-page: 8 ident: bib0012 article-title: FTOS: model-driven development of fault-tolerant automation systems publication-title: Proceedings of the Fifteenth IEEE Conference on Emerging Technologies Factory Automation (ETFA) – start-page: 157 year: 2011 end-page: 166 ident: bib0026 article-title: Towards a MDE transformation workflow for dependability analysis publication-title: Proceedings of the Sixteenth IEEE International Conference on Engineering of Complex Computer Systems – volume: 15 start-page: 4837 year: 2015 end-page: 4869 ident: bib0002 article-title: The past, present and future of cyber-physical systems: a focus on models publication-title: Sensors – start-page: 1 year: 2018 end-page: 10 ident: bib0020 article-title: Simulation-based fault injection as a verification oracle for the engineering of time-triggered Ethernet networks publication-title: Proceedings of the Embedded Real-Time Software and Systems (ERTSS’18) – start-page: 114 year: 2009 end-page: 126 ident: bib0031 article-title: A foundation for flow-based program matching: Using temporal logic and model checking publication-title: Proceedings of the Thirty-Sixth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages – start-page: 211 year: 2017 end-page: 212 ident: bib0008 article-title: Fast controller switching for fault-tolerant cyber-physical systems on software-defined networks publication-title: Proceedings of the Twenty-Second IEEE Pacific Rim International Symposium on Dependable Computing (PRDC) – volume: 18 start-page: 628 year: 2018 ident: bib0006 article-title: A model-driven co-design framework for fusing control and scheduling viewpoints publication-title: Sensors – reference: M. Antoni, Formal validation method and tools for computerized interlocking system, 2012, (Presentation at the Eighteenth International Symposium on Formal Methods (FM 2012), Industry Day). Available at – volume: 8 start-page: 106 year: 2015 end-page: 114 ident: bib0005 article-title: Resource-aware control – model-based co-engineering of control algorithms and real-time systems publication-title: SAE Int. J. Passeng. Cars Electron. Electr. Syst. – year: 2019 ident: bib0004 article-title: Dealing with non-functional requirements in model-driven development: a survey publication-title: IEEE Trans. Softw. Eng. – volume: 3 start-page: 12:1 year: 2018 end-page: 12:31 ident: bib0037 article-title: Dependable model-driven development of CPS: from stateflow simulation to verified implementation publication-title: ACM Trans. Cyber Phys. Syst. – volume: 18 start-page: 7:1 year: 2019 ident: bib0040 article-title: The future of model transformation languages: an open community discussion. publication-title: J. Object Technol. – start-page: 3760 year: 2012 end-page: 3765 ident: bib0048 article-title: Stability and worst-case performance analysis of sampled-data control systems with input and output jitter publication-title: Proceedings of the American Control Conference (ACC) – volume: 106 start-page: 93 year: 2018 end-page: 112 ident: bib0033 article-title: SURE: A modeling and simulation integration platform for evaluation of secure and resilient cyber–physical systems publication-title: Proc. IEEE – year: 2007 ident: bib0043 article-title: Software Measurement: Establish – Extract – Evaluate – Execute – volume: 10748 start-page: 154 year: 2017 end-page: 160 ident: bib0001 article-title: Cognifying model-driven software engineering. publication-title: STAF Workshops – volume: 12 start-page: 569 year: 1996 end-page: 578 ident: bib0044 article-title: A computer model to simulate heat transfer in heat sinks publication-title: Trans. Eng. Sci. – start-page: 121 year: 2012 end-page: 140 ident: bib0019 article-title: Mbeddr: an extensible C-based programming language and IDE for embedded systems publication-title: Proceedings of the Third Annual Conference on Systems, Programming, and Applications: Software for Humanity (SPLASH ’12) – start-page: 35 year: 2016 end-page: 41 ident: bib0015 article-title: CPAL: High-level abstractions for safe embedded systems publication-title: Proceedings of the Sixteenth Workshop on Domain-Specific Modeling – reference: S. Altmeyer, S. Sundharam, FIFO scheduling analysis, 2016, ( – start-page: 1 year: 2017 end-page: 8 ident: bib0023 article-title: Towards seamless integration of N-Version Programming in model-based design publication-title: Proceedings of the Twenty-Second IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) – start-page: 217 year: 2010 end-page: 220 ident: bib0028 article-title: Compositional translation of Simulink models into synchronous BIP publication-title: Proceedings of the International Symposium on Industrial Embedded System (SIES) – reference: . – start-page: 250 year: 2018 end-page: 264 ident: bib0024 article-title: More: Model-based redundancy for simulink publication-title: Computer Safety, Reliability, and Security – volume: 91 start-page: 84 year: 2003 end-page: 99 ident: bib0045 article-title: Giotto: a time-triggered language for embedded programming publication-title: Proc. IEEE – reference: University of Michigan, Control tutorials for MATLAB and Simulink: Inverted pendulum, (Available online, at – volume: 7 start-page: 313 year: 2011 end-page: 325 ident: bib0011 article-title: Software dependability modeling using AADL (architecture analysis and design language) publication-title: Int. J. Perform. Eng. – volume: 152 start-page: 125 year: 2006 end-page: 142 ident: bib0030 article-title: A taxonomy of model transformation publication-title: Electron. Notes Theor. Comput. Sci. – start-page: 23 year: 1995 end-page: 46 ident: bib0022 article-title: The methodology of N-version programming publication-title: Software Fault Tolerance – start-page: 5 year: 2018 end-page: 16 ident: bib0038 article-title: Scade 6: from a Kahn semantics to a Kahn implementation for multicore publication-title: Proceedings of the Forum on Specification Design Languages (FDL) – start-page: 1 year: 2017 end-page: 6 ident: bib0017 article-title: Model-based design languages: a case study publication-title: Proceedings of the Thirteenth IEEE International Workshop on Factory Communication Systems (WFCS) – start-page: 255 year: 2018 end-page: 274 ident: bib0029 article-title: From SysML to model checkers via model transformation publication-title: Model Checking Software – volume: 10 start-page: 313 year: 2011 end-page: 336 ident: bib0025 article-title: A dependability profile within MARTE publication-title: Softw. Syst. Model. – volume: 18 start-page: 628 issue: 2 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0006 article-title: A model-driven co-design framework for fusing control and scheduling viewpoints publication-title: Sensors doi: 10.3390/s18020628 – volume: 7 start-page: 313 year: 2011 ident: 10.1016/j.csi.2020.103424_bib0011 article-title: Software dependability modeling using AADL (architecture analysis and design language) publication-title: Int. J. Perform. Eng. – year: 2019 ident: 10.1016/j.csi.2020.103424_bib0004 article-title: Dealing with non-functional requirements in model-driven development: a survey publication-title: IEEE Trans. Softw. Eng. – volume: 99 start-page: 143 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0027 article-title: Modularizing behavioral and architectural crosscutting concerns in formal component-based systems – application to the behavior interaction priority framework publication-title: J. Log. Algebraic Methods Program. doi: 10.1016/j.jlamp.2018.05.005 – volume: 106 start-page: 1501 issue: 9 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0034 article-title: Model and tool integration platforms for cyber–physical system design publication-title: Proc. IEEE doi: 10.1109/JPROC.2018.2838530 – volume: 10 start-page: 313 issue: 3 year: 2011 ident: 10.1016/j.csi.2020.103424_bib0025 article-title: A dependability profile within MARTE publication-title: Softw. Syst. Model. doi: 10.1007/s10270-009-0128-1 – start-page: 1940 year: 2015 ident: 10.1016/j.csi.2020.103424_bib0035 article-title: TRES: a modular representation of schedulers, tasks, and messages to control simulations in Simulink – volume: 23 start-page: 16 issue: 3 year: 2003 ident: 10.1016/j.csi.2020.103424_bib0036 article-title: How does control timing affect performance? Analysis and simulation of timing using Jitterbug and TrueTime publication-title: IEEE Control Syst. Mag. doi: 10.1109/MCS.2003.1200240 – start-page: 11 year: 2016 ident: 10.1016/j.csi.2020.103424_bib0014 article-title: Programming ⊂ modeling ⊂ engineering – ident: 10.1016/j.csi.2020.103424_bib0013 – volume: 18 start-page: 2361 issue: 4 year: 2019 ident: 10.1016/j.csi.2020.103424_bib0039 article-title: Survey and classification of model transformation tools publication-title: Softw. Syst. Model. doi: 10.1007/s10270-018-0665-6 – volume: 106 start-page: 93 issue: 1 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0033 article-title: SURE: A modeling and simulation integration platform for evaluation of secure and resilient cyber–physical systems publication-title: Proc. IEEE doi: 10.1109/JPROC.2017.2731741 – volume: 15 start-page: 5613 issue: 10 year: 2019 ident: 10.1016/j.csi.2020.103424_bib0021 article-title: Event notification in CAN-based sensor networks publication-title: IEEE Trans. Ind. Inf. doi: 10.1109/TII.2019.2904082 – volume: 3 start-page: 12:1 issue: 1 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0037 article-title: Dependable model-driven development of CPS: from stateflow simulation to verified implementation publication-title: ACM Trans. Cyber Phys. Syst. – volume: 45 start-page: 2:1 issue: 1 year: 2012 ident: 10.1016/j.csi.2020.103424_bib0010 article-title: Dependability modeling and analysis of software systems specified with UML publication-title: ACM Comput. Surv. doi: 10.1145/2379776.2379778 – year: 1995 ident: 10.1016/j.csi.2020.103424_bib0042 – volume: 100 start-page: 13 issue: 1 year: 2012 ident: 10.1016/j.csi.2020.103424_bib0003 article-title: Modeling cyber–physical systems publication-title: Proc. IEEE doi: 10.1109/JPROC.2011.2160929 – volume: 91 start-page: 64 issue: 1 year: 2003 ident: 10.1016/j.csi.2020.103424_bib0018 article-title: The synchronous languages 12 years later publication-title: Proc. IEEE doi: 10.1109/JPROC.2002.805826 – volume: 10748 start-page: 154 year: 2017 ident: 10.1016/j.csi.2020.103424_bib0001 article-title: Cognifying model-driven software engineering. – start-page: 217 year: 2010 ident: 10.1016/j.csi.2020.103424_bib0028 article-title: Compositional translation of Simulink models into synchronous BIP – volume: 91 start-page: 84 issue: 1 year: 2003 ident: 10.1016/j.csi.2020.103424_bib0045 article-title: Giotto: a time-triggered language for embedded programming publication-title: Proc. IEEE doi: 10.1109/JPROC.2002.805825 – ident: 10.1016/j.csi.2020.103424_bib0049 – volume: 15 start-page: 4837 issue: 3 year: 2015 ident: 10.1016/j.csi.2020.103424_bib0002 article-title: The past, present and future of cyber-physical systems: a focus on models publication-title: Sensors doi: 10.3390/s150304837 – start-page: 1 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0020 article-title: Simulation-based fault injection as a verification oracle for the engineering of time-triggered Ethernet networks – start-page: 121 year: 2012 ident: 10.1016/j.csi.2020.103424_bib0019 article-title: Mbeddr: an extensible C-based programming language and IDE for embedded systems – start-page: 1 year: 2017 ident: 10.1016/j.csi.2020.103424_bib0032 article-title: Towards automatic code generation for distributed cyber-physical systems: a first prototype for Arduino boards – start-page: 23 year: 1995 ident: 10.1016/j.csi.2020.103424_bib0022 article-title: The methodology of N-version programming – start-page: 35 year: 2016 ident: 10.1016/j.csi.2020.103424_bib0015 article-title: CPAL: High-level abstractions for safe embedded systems – volume: 23 start-page: 279 year: 1997 ident: 10.1016/j.csi.2020.103424_bib0016 article-title: The model checker SPIN publication-title: IEEE Trans. Softw. Eng. doi: 10.1109/32.588521 – volume: 8 start-page: 106 year: 2015 ident: 10.1016/j.csi.2020.103424_bib0005 article-title: Resource-aware control – model-based co-engineering of control algorithms and real-time systems publication-title: SAE Int. J. Passeng. Cars Electron. Electr. Syst. doi: 10.4271/2015-01-0168 – start-page: 5 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0038 article-title: Scade 6: from a Kahn semantics to a Kahn implementation for multicore – start-page: 157 year: 2011 ident: 10.1016/j.csi.2020.103424_bib0026 article-title: Towards a MDE transformation workflow for dependability analysis – volume: 152 start-page: 125 year: 2006 ident: 10.1016/j.csi.2020.103424_bib0030 article-title: A taxonomy of model transformation publication-title: Electron. Notes Theor. Comput. Sci. doi: 10.1016/j.entcs.2005.10.021 – start-page: 1 year: 2010 ident: 10.1016/j.csi.2020.103424_bib0012 article-title: FTOS: model-driven development of fault-tolerant automation systems – volume: 19 start-page: 525 issue: 3 year: 1997 ident: 10.1016/j.csi.2020.103424_bib0046 article-title: Slicing real-time programs for enhanced schedulability publication-title: ACM Trans. Program. Lang. Syst. doi: 10.1145/256167.256394 – year: 2007 ident: 10.1016/j.csi.2020.103424_bib0043 – start-page: 255 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0029 article-title: From SysML to model checkers via model transformation – start-page: 41 year: 2013 ident: 10.1016/j.csi.2020.103424_bib0007 article-title: L1simplex: Fault-tolerant control of cyber-physical systems – start-page: 3760 year: 2012 ident: 10.1016/j.csi.2020.103424_bib0048 article-title: Stability and worst-case performance analysis of sampled-data control systems with input and output jitter – start-page: 1 year: 2017 ident: 10.1016/j.csi.2020.103424_bib0017 article-title: Model-based design languages: a case study – start-page: 1 year: 2017 ident: 10.1016/j.csi.2020.103424_bib0023 article-title: Towards seamless integration of N-Version Programming in model-based design – start-page: 445 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0041 article-title: Model transformation languages under a magnifying glass: a controlled experiment with Xtend, ATL, and QVT – start-page: 250 year: 2018 ident: 10.1016/j.csi.2020.103424_bib0024 article-title: More: Model-based redundancy for simulink – volume: 16 start-page: 79:1 issue: 3 year: 2017 ident: 10.1016/j.csi.2020.103424_bib0009 article-title: AdaFT: a framework for adaptive fault tolerance for cyber-physical systems publication-title: ACM Trans. Embed. Comput. Syst. doi: 10.1145/2980763 – start-page: 114 year: 2009 ident: 10.1016/j.csi.2020.103424_bib0031 article-title: A foundation for flow-based program matching: Using temporal logic and model checking – volume: 18 start-page: 7:1 year: 2019 ident: 10.1016/j.csi.2020.103424_bib0040 article-title: The future of model transformation languages: an open community discussion. publication-title: J. Object Technol. doi: 10.5381/jot.2019.18.3.a7 – start-page: 211 year: 2017 ident: 10.1016/j.csi.2020.103424_bib0008 article-title: Fast controller switching for fault-tolerant cyber-physical systems on software-defined networks – volume: 12 start-page: 569 year: 1996 ident: 10.1016/j.csi.2020.103424_bib0044 article-title: A computer model to simulate heat transfer in heat sinks publication-title: Trans. Eng. Sci. – ident: 10.1016/j.csi.2020.103424_bib0047 |
| SSID | ssj0002637 |
| Score | 2.2786179 |
| Snippet | •A framework to augment design models with dependability mechanisms is presented.•The proposed approach decouples functional and non-functional concerns.•The... Cyber-Physical Systems are usually subject to dependability requirements such as safety and reliability constraints. Over the last 50 years, a body of... |
| SourceID | proquest crossref elsevier |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 103424 |
| SubjectTerms | Automation Cognification Cyber-physical systems Domain specific languages Fault tolerance Industrial cyber physical systems Model-driven engineering Run time (computers) Software engineering Workflow |
| Title | Automated fault tolerance augmentation in model-driven engineering for CPS |
| URI | https://dx.doi.org/10.1016/j.csi.2020.103424 https://www.proquest.com/docview/2445964320 |
| Volume | 70 |
| WOSCitedRecordID | wos000528005700008&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection Journals 2021 customDbUrl: eissn: 1872-7018 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0002637 issn: 0920-5489 databaseCode: AIEXJ dateStart: 19950101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1Nb5wwELW2mx566XfVtGnlQ0-NWAE2YB-3UaomilY9pNLeLINNtBEhEcuu9ud3jG2gqyZqDr0gZMHIMM_jsT3zBqEvkeFIZ0wHhCVhQJO8hCHFZZAnpS5YrjXhXaLwRbZYsOWS_5xMdj4XZltldc12O373X1UNbaBskzr7CHX3QqEB7kHpcAW1w_WfFD_ftLfghoIjWcpN1YJzWenGJgZsrm5cqlEX39hVwQlUYwzesR6ICbvQwxNXe9qzGLjqD_3ew9rxNpky1yasa8CHhUB91fpZ0Rxx2FX57fE33ZiKua2NIjjbDuBcyK09GOnAKQeBvv3CkCpV422KOBzCqfx-I7TB8oiPTa-tGeJsZ2TYCOlfzbrdYbieFevVzAifDc_-SaG9N7X1AYc-lu1agAhhRAgr4gk6iLOEsyk6mJ-dLs_7WTxOLd-q77Y_Ee9iA_f6cZ9Psze7dy7L5Uv03K018Nxi5BWa6Po1euE1iZ1Zf4POe8jgDjK4hwweQwavajyGDB5BBgNkMEDmLfr1_fTy5EfgamwEBUlZG2gYmPCpOlEkKtOc0FAVuYrLqIx0plIeaUminKbSsCKFBU3zPGdppmhmiOxCSt6haQ3af48w0bDYIEyVnDIqY8VVKWmsU6JiraSMDlHo_5IoHAG9qYNSiXu1c4i-9q_cWfaVhx6m_tcL5z5at1AAjB567cirSbhhvBbg9CaGqS4OPzymCx_RswH7R2jaNhv9CT0ttu1q3Xx2EPsNR8WbFg |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=Automated+fault+tolerance+augmentation+in+model-driven+engineering+for+CPS&rft.jtitle=Computer+standards+and+interfaces&rft.au=Hu%2C+Tingting&rft.au=Cibrario+Bertolotti%2C+Ivan&rft.au=Navet%2C+Nicolas&rft.au=Havet%2C+Lionel&rft.date=2020-06-01&rft.issn=0920-5489&rft.volume=70&rft.spage=103424&rft_id=info:doi/10.1016%2Fj.csi.2020.103424&rft.externalDBID=n%2Fa&rft.externalDocID=10_1016_j_csi_2020_103424 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0920-5489&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0920-5489&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0920-5489&client=summon |