The landing gear case study: challenges and experiments
Embedded critical systems need to be validated very thoroughly; it usually results in very long and onerous test phases. Formal techniques, in particular formal specification languages and associated proof tools, could be an advantageous alternative, or at least a good complement and allow a signifi...
Uloženo v:
| Vydáno v: | International journal on software tools for technology transfer Ročník 19; číslo 2; s. 133 - 140 |
|---|---|
| Hlavní autoři: | , , , |
| Médium: | Journal Article |
| Jazyk: | angličtina |
| Vydáno: |
Berlin/Heidelberg
Springer Berlin Heidelberg
01.04.2017
Springer Nature B.V Springer Verlag |
| Témata: | |
| ISSN: | 1433-2779, 1433-2787 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
| Abstract | Embedded critical systems need to be validated very thoroughly; it usually results in very long and onerous test phases. Formal techniques, in particular formal specification languages and associated proof tools, could be an advantageous alternative, or at least a good complement and allow a significant reduction of test phases. However, for these techniques to be used in practice, one issue to consider is their efficiency and scalability on complex industrial systems.Case studies have played an essential role in the history of formal methods. They have allowed to illustrate the application of formal techniques for modelling and verification, to compare different methods in terms of expressivity, performance and easiness of use. They have also permitted to enact the progress made by these methods.Dagstuhl seminar 9523 is about the famous Steam Boiler case study in 1995 had a lot of impact on the formal methods community. This case study allowed the assessment of formal techniques, the comparison of different formal techniques, the identification of areas for future work. |
|---|---|
| AbstractList | Embedded critical systems need to be validated very thoroughly; it usually results in very long and onerous test phases. Formal techniques, in particular formal specification languages and associated proof tools, could be an advantageous alternative, or at least a good complement and allow a significant reduction of test phases. However, for these techniques to be used in practice, one issue to consider is their efficiency and scalability on complex industrial systems.Case studies have played an essential role in the history of formal methods. They have allowed to illustrate the application of formal techniques for modelling and verification, to compare different methods in terms of expressivity, performance and easiness of use. They have also permitted to enact the progress made by these methods.Dagstuhl seminar 9523 is about the famous Steam Boiler case study in 1995 had a lot of impact on the formal methods community. This case study allowed the assessment of formal techniques, the comparison of different formal techniques, the identification of areas for future work. |
| Author | Wiels, Virginie Schewe, Klaus-Dieter Boniol, Frédéric Aït-Ameur, Yamine |
| Author_xml | – sequence: 1 givenname: Frédéric surname: Boniol fullname: Boniol, Frédéric organization: ONERA – sequence: 2 givenname: Virginie surname: Wiels fullname: Wiels, Virginie email: virginie.wiels@onera.fr organization: ONERA – sequence: 3 givenname: Yamine surname: Aït-Ameur fullname: Aït-Ameur, Yamine organization: IRIT-ENSEEIHT – sequence: 4 givenname: Klaus-Dieter surname: Schewe fullname: Schewe, Klaus-Dieter organization: Software Competence Center Hagenberg GmbH |
| BackLink | https://hal.science/hal-01851720$$DView record in HAL |
| BookMark | eNp9kEFLAzEQhYNUsFZ_gLcFTx6iySabZL2VolYoeKnnkGYn7ZY1W5Ot2H9vllURQS9JmHxv5s07RSPfekDogpJrSoi8iekkJSZUYMIZxfwIjSlnDOdSydH3W5Yn6DTGLSFUClmOkVxuIGuMr2q_ztZgQmZNhCx2--pwm9mNaRrwa4hZQjJ430GoX8B38QwdO9NEOP-8J-j5_m45m-PF08PjbLrAluWsw7ZwxrrCqhV3DBQ4VQgjRMl4JehKgKNMCFMqVZaiypniSrqCpx9SOUZNziboauibnOhdGm7CQbem1vPpQvc1QlVBZU7eaGIvB3YX2tc9xE5v233wyZ6mSgqRtlc9JQfKhjbGAE7bujNd3foumLrRlOg-UT0kmvoL3SeqeVLSX8ovQ_9p8kETE5uCDD88_Sn6ACHBh7E |
| CitedBy_id | crossref_primary_10_1016_j_ress_2022_108922 crossref_primary_10_1002_inst_12462 crossref_primary_10_1007_s11390_020_0499_x crossref_primary_10_1007_s13272_022_00572_8 crossref_primary_10_1016_j_compeleceng_2020_106790 crossref_primary_10_1016_j_procir_2022_05_280 |
| Cites_doi | 10.1007/s10009-015-0394-x 10.1007/978-3-319-07512-9_1 10.1007/s10009-015-0409-7 10.1007/BFb0027227 10.1007/s10009-015-0391-0 10.1007/s10009-015-0400-3 10.1007/978-3-642-18216-7 10.1007/s10009-015-0401-2 10.1007/s10009-015-0395-9 10.1017/CBO9781139195881 10.1007/978-3-319-07512-9 |
| ContentType | Journal Article |
| Copyright | Springer-Verlag Berlin Heidelberg 2016 International Journal on Software Tools for Technology Transfer is a copyright of Springer, 2017. Distributed under a Creative Commons Attribution 4.0 International License |
| Copyright_xml | – notice: Springer-Verlag Berlin Heidelberg 2016 – notice: International Journal on Software Tools for Technology Transfer is a copyright of Springer, 2017. – notice: Distributed under a Creative Commons Attribution 4.0 International License |
| DBID | AAYXX CITATION 3V. 7SC 7XB 8AL 8AO 8FD 8FE 8FG 8FK 8G5 ABJCF ABUWG AFKRA ARAPS AZQEC BENPR BGLVJ CCPQU DWQXO GNUQQ GUQSH HCIFZ JQ2 K7- L6V L7M L~C L~D M0N M2O M7S MBDVC P5Z P62 PADUT PHGZM PHGZT PKEHL PQEST PQGLB PQQKQ PQUKI PRINS PTHSS Q9U 1XC VOOES |
| DOI | 10.1007/s10009-016-0431-4 |
| DatabaseName | CrossRef ProQuest Central (Corporate) Computer and Information Systems Abstracts ProQuest Central (purchase pre-March 2016) Computing Database (Alumni Edition) ProQuest Pharma Collection Technology Research Database ProQuest SciTech Collection ProQuest Technology Collection ProQuest Central (Alumni) (purchase pre-March 2016) Research Library (Alumni) ProQuest MSED ProQuest Central (Alumni) ProQuest Central UK/Ireland Advanced Technologies & Computer Science Collection ProQuest Central Essentials ProQuest Central Technology Collection ProQuest One Community College ProQuest Central Korea ProQuest Central Student ProQuest Research Library SciTech Premium Collection ProQuest Computer Science Collection Computer Science Database ProQuest Engineering Collection Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional Computing Database Research Library Engineering Database Research Library (Corporate) ProQuest advanced technologies & aerospace journals ProQuest Advanced Technologies & Aerospace Collection Research Library China Proquest Central Premium ProQuest One Academic (New) ProQuest One Academic Middle East (New) ProQuest One Academic Eastern Edition (DO NOT USE) ProQuest One Applied & Life Sciences ProQuest One Academic (retired) ProQuest One Academic UKI Edition ProQuest Central China Engineering collection ProQuest Central Basic Hyper Article en Ligne (HAL) Hyper Article en Ligne (HAL) (Open Access) |
| DatabaseTitle | CrossRef Research Library Prep Computer Science Database ProQuest Central Student Technology Collection Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest One Academic Middle East (New) ProQuest Advanced Technologies & Aerospace Collection ProQuest Central Essentials ProQuest Computer Science Collection Computer and Information Systems Abstracts ProQuest Central (Alumni Edition) SciTech Premium Collection ProQuest One Community College Research Library (Alumni Edition) ProQuest Pharma Collection ProQuest Central China ProQuest Central ProQuest One Applied & Life Sciences ProQuest Engineering Collection ProQuest Central Korea ProQuest Research Library Research Library China ProQuest Central (New) Advanced Technologies Database with Aerospace Engineering Collection Advanced Technologies & Aerospace Collection ProQuest Computing Engineering Database ProQuest Central Basic ProQuest Computing (Alumni Edition) ProQuest One Academic Eastern Edition ProQuest Technology Collection ProQuest SciTech Collection Computer and Information Systems Abstracts Professional Advanced Technologies & Aerospace Database ProQuest One Academic UKI Edition Materials Science & Engineering Collection ProQuest One Academic ProQuest One Academic (New) ProQuest Central (Alumni) |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: BENPR name: ProQuest Central url: https://www.proquest.com/central sourceTypes: Aggregation Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1433-2787 |
| EndPage | 140 |
| ExternalDocumentID | oai:HAL:hal-01851720v1 4320465611 10_1007_s10009_016_0431_4 |
| Genre | Commentary Report Editorial Case Study |
| GroupedDBID | -59 -5G -BR -EM -Y2 -~C .4S .86 .DC .VR 06D 0R~ 0VY 1N0 1SB 203 29J 2J2 2JN 2JY 2KG 2KM 2LR 2P1 2VQ 2~H 30V 3V. 4.4 406 408 409 40D 40E 5GY 5VS 67Z 6NX 8AO 8FE 8FG 8FW 8G5 8TC 95- 95. 95~ 96X AAAVM AABHQ AACDK AAHNG AAIAL AAJBT AAJKR AANZL AARHV AARTL AASML AATNV AATVU AAUYE AAWCG AAYIU AAYQN AAYTO AAYZH ABAKF ABBBX ABBXA ABDZT ABECU ABFTD ABFTV ABHLI ABHQN ABJCF ABJNI ABJOX ABKCH ABKTR ABMNI ABMQK ABNWP ABQBU ABQSL ABSXP ABTEG ABTHY ABTKH ABTMW ABULA ABUWG ABWNU ABXPI ACAOD ACBXY ACDTI ACGFS ACHSB ACHXU ACIWK ACKNC ACMDZ ACMLO ACOKC ACOMO ACPIV ACSNA ACZOJ ADHHG ADHIR ADINQ ADKNI ADKPE ADRFC ADTPH ADURQ ADYFF ADZKW AEBTG AEFQL AEGAL AEGNC AEJHL AEJRE AEKMD AEMSY AEOHA AEPYU AESKC AETLH AEVLU AEXYK AFBBN AFGCZ AFKRA AFLOW AFQWF AFWTZ AFZKB AGAYW AGDGC AGGDS AGJBK AGMZJ AGQEE AGQMX AGRTI AGWIL AGWZB AGYKE AHAVH AHBYD AHKAY AHSBF AHYZX AIAKS AIGIU AIIXL AILAN AITGF AJBLW AJRNO AJZVZ ALMA_UNASSIGNED_HOLDINGS ALWAN AMKLP AMXSW AMYLF AMYQR AOCGG ARAPS ARCSS ARMRJ ASPBG AVWKF AXYYD AYJHY AZFZN AZQEC B-. BA0 BDATZ BENPR BGLVJ BGNMA BPHCQ BSONS CAG CCPQU COF CS3 CSCUP DDRTE DL5 DNIVK DPUIP DU5 DWQXO EBLON EBS EDO EIOEI EJD ESBYG FEDTE FERAY FFXSO FIGPU FINBP FNLPD FRRFC FSGXE FWDCC GGCAI GGRSB GJIRD GNUQQ GNWQR GQ6 GQ7 GQ8 GUQSH GXS H13 HCIFZ HF~ HG5 HG6 HMJXF HQYDN HRMNR HVGLF HZ~ I-F I09 IHE IJ- IKXTQ ITM IWAJR IXC IZIGR IZQ I~X I~Z J-C J0Z JBSCW JCJTX JZLTJ K6V K7- KDC KOV L6V LAS LLZTM M0N M2O M4Y M7S MA- MK~ ML~ N2Q NB0 NPVJJ NQJWS NU0 O9- O93 O9J OAM P62 P9O PADUT PF0 PQQKQ PROAC PT4 PT5 PTHSS Q2X QOS R89 R9I RIG RNI ROL RPX RSV RZK S16 S1Z S27 S3B SAP SCO SDH SHX SISQX SJYHP SNE SNPRN SNX SOHCF SOJ SPISZ SRMVM SSLCW STPWE SZN T13 TSG TSK TSV TUC TUS U2A UG4 UOJIU UTJUX UZXMN VC2 VFIZW W23 W48 WK8 YLTOR Z45 Z7R Z7X Z7Z Z83 Z88 ZMTXR AAPKM AAYXX ABBRH ABDBE ABFSG ABRTQ ACSTC ADHKG AEZWR AFDZB AFFHD AFHIU AFOHR AGQPQ AHPBZ AHWEU AIXLP ATHPR AYFIA CITATION PHGZM PHGZT PQGLB 7SC 7XB 8AL 8FD 8FK JQ2 L7M L~C L~D MBDVC PKEHL PQEST PQUKI PRINS Q9U 1XC VOOES |
| ID | FETCH-LOGICAL-c323t-c5facf5c8b4f3e8ef856a66934d61b6ef1366a988996d238487f541b60df31a23 |
| IEDL.DBID | RSV |
| ISICitedReferencesCount | 12 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000398167200001&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 1433-2779 |
| IngestDate | Sat Oct 25 06:43:41 EDT 2025 Tue Nov 04 22:15:00 EST 2025 Tue Nov 18 22:35:44 EST 2025 Sat Nov 29 03:07:48 EST 2025 Fri Feb 21 02:33:56 EST 2025 |
| IsDoiOpenAccess | true |
| IsOpenAccess | true |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 2 |
| Keywords | TIME COMBINATORIAL EXPLOSION FAILURE Landing gear FAILURE MODE REQUIREMENT |
| Language | English |
| License | Distributed under a Creative Commons Attribution 4.0 International License: http://creativecommons.org/licenses/by/4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c323t-c5facf5c8b4f3e8ef856a66934d61b6ef1366a988996d238487f541b60df31a23 |
| Notes | ObjectType-Case Study-2 SourceType-Scholarly Journals-1 content type line 14 ObjectType-Editorial-4 ObjectType-Commentary-3 ObjectType-Report-1 |
| ORCID | 0000-0003-4582-9712 |
| OpenAccessLink | https://hal.science/hal-01851720 |
| PQID | 1876677981 |
| PQPubID | 46652 |
| PageCount | 8 |
| ParticipantIDs | hal_primary_oai_HAL_hal_01851720v1 proquest_journals_1876677981 crossref_citationtrail_10_1007_s10009_016_0431_4 crossref_primary_10_1007_s10009_016_0431_4 springer_journals_10_1007_s10009_016_0431_4 |
| PublicationCentury | 2000 |
| PublicationDate | 2017-04-01 |
| PublicationDateYYYYMMDD | 2017-04-01 |
| PublicationDate_xml | – month: 04 year: 2017 text: 2017-04-01 day: 01 |
| PublicationDecade | 2010 |
| PublicationPlace | Berlin/Heidelberg |
| PublicationPlace_xml | – name: Berlin/Heidelberg – name: Heidelberg |
| PublicationTitle | International journal on software tools for technology transfer |
| PublicationTitleAbbrev | Int J Softw Tools Technol Transfer |
| PublicationYear | 2017 |
| Publisher | Springer Berlin Heidelberg Springer Nature B.V Springer Verlag |
| Publisher_xml | – name: Springer Berlin Heidelberg – name: Springer Nature B.V – name: Springer Verlag |
| References | Arcaini, P., Gargantini, A., Riccobene, E.: Rigorous development process of a safety-critical system: from asm models to java code. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0394-x (2016) Abrial, J.-R., Börger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science, vol. 1165. Springer, London (1996) Teodorov, C., Dhaussy, P., Le Roux, L.: Environment-driven reachability for timed systems. Safety verification of an aircraft landing gear system. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0401-2 (2016) Farail, P., Gaufillet, P., Peres, F., Bodeveix, J.P., Filali, M., Berthomieu, B., Rodrigo, S., Vernadat, F., Garavel, H., Lang, F.: FIACRE: an intermediate language for model verification in the TOPCASED environment. In: European congress on embedded real-time software (ERTS), SEE, Toulouse (2008) Su, W., Abrial, J.R.: Aircraft landing gear system: approaches with event-b to the modelling of an industrial system. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0400-3 (2016) Mammar, A., Laleau, R.: Modelling a landing gear system in event-b. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0391-0 (2016) Hansen, D., Ladenberger, L., Wiegard, H., Bendisposto, J., Leuschel, M.: Validation of the abz landing gear system using prob. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0395-9 (2016) Banach, R.: The landing gear system in multi-machine hybrid event-b. International J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0409-7 (2016) Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D.: ABZ 2014: the landing gear case study. Proceedings of case study track, held at the 4th international conference on abstract state machines, alloy, B, TLA, VDM, and Z, Toulouse, June 2–6, 2014. Communications in Computer Information Science, vol. 433. Springer, Switzerland (2014) Börger, E., Stärk, R.F.: Abstract state machines: A method for high-level system design and analysis. Springer, New York (2003) AbrialJModeling in Event-B—system and software engineering2010CambridgeCambridge University Press10.1017/CBO97811391958811213.68214 Boniol, F., Wiels, V.: The landing gear system case study. In: ABZ case study, Communications in Computer information science, vol. 433. Springer, Switzerland (2014) Abrial, J., Börger, E., Langmaack, H.: The steam boiler control specification problem. http://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html (1996) 431_CR10 431_CR13 431_CR11 431_CR12 431_CR5 431_CR4 431_CR7 431_CR6 431_CR9 J Abrial (431_CR1) 2010 431_CR8 431_CR3 431_CR2 |
| References_xml | – reference: Teodorov, C., Dhaussy, P., Le Roux, L.: Environment-driven reachability for timed systems. Safety verification of an aircraft landing gear system. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0401-2 (2016) – reference: Börger, E., Stärk, R.F.: Abstract state machines: A method for high-level system design and analysis. Springer, New York (2003) – reference: AbrialJModeling in Event-B—system and software engineering2010CambridgeCambridge University Press10.1017/CBO97811391958811213.68214 – reference: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D.: ABZ 2014: the landing gear case study. Proceedings of case study track, held at the 4th international conference on abstract state machines, alloy, B, TLA, VDM, and Z, Toulouse, June 2–6, 2014. Communications in Computer Information Science, vol. 433. Springer, Switzerland (2014) – reference: Farail, P., Gaufillet, P., Peres, F., Bodeveix, J.P., Filali, M., Berthomieu, B., Rodrigo, S., Vernadat, F., Garavel, H., Lang, F.: FIACRE: an intermediate language for model verification in the TOPCASED environment. In: European congress on embedded real-time software (ERTS), SEE, Toulouse (2008) – reference: Banach, R.: The landing gear system in multi-machine hybrid event-b. International J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0409-7 (2016) – reference: Su, W., Abrial, J.R.: Aircraft landing gear system: approaches with event-b to the modelling of an industrial system. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0400-3 (2016) – reference: Arcaini, P., Gargantini, A., Riccobene, E.: Rigorous development process of a safety-critical system: from asm models to java code. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0394-x (2016) – reference: Boniol, F., Wiels, V.: The landing gear system case study. In: ABZ case study, Communications in Computer information science, vol. 433. Springer, Switzerland (2014) – reference: Abrial, J.-R., Börger, E., Langmaack, H. (eds.): Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995). Lecture Notes in Computer Science, vol. 1165. Springer, London (1996) – reference: Hansen, D., Ladenberger, L., Wiegard, H., Bendisposto, J., Leuschel, M.: Validation of the abz landing gear system using prob. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0395-9 (2016) – reference: Abrial, J., Börger, E., Langmaack, H.: The steam boiler control specification problem. http://www.informatik.uni-kiel.de/~procos/dag9523/dag9523.html (1996) – reference: Mammar, A., Laleau, R.: Modelling a landing gear system in event-b. Int. J. Softw. Tools Technol. Transf. doi:10.1007/s10009-015-0391-0 (2016) – ident: 431_CR4 doi: 10.1007/s10009-015-0394-x – ident: 431_CR6 doi: 10.1007/978-3-319-07512-9_1 – ident: 431_CR5 doi: 10.1007/s10009-015-0409-7 – ident: 431_CR2 doi: 10.1007/BFb0027227 – ident: 431_CR12 doi: 10.1007/s10009-015-0391-0 – ident: 431_CR13 doi: 10.1007/s10009-015-0400-3 – ident: 431_CR8 doi: 10.1007/978-3-642-18216-7 – ident: 431_CR3 – ident: 431_CR10 – ident: 431_CR9 doi: 10.1007/s10009-015-0401-2 – ident: 431_CR11 doi: 10.1007/s10009-015-0395-9 – volume-title: Modeling in Event-B—system and software engineering year: 2010 ident: 431_CR1 doi: 10.1017/CBO9781139195881 – ident: 431_CR7 doi: 10.1007/978-3-319-07512-9 |
| SSID | ssj0017679 |
| Score | 2.1717787 |
| Snippet | Embedded critical systems need to be validated very thoroughly; it usually results in very long and onerous test phases. Formal techniques, in particular... |
| SourceID | hal proquest crossref springer |
| SourceType | Open Access Repository Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 133 |
| SubjectTerms | Computer Science Embedded Systems Introduction Software Engineering Software Engineering/Programming and Operating Systems Theory of Computation |
| SummonAdditionalLinks | – databaseName: Computer Science Database dbid: K7- link: http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3dS8MwEA9u-uCL8xOnU4L4pASbJk1TX2SIY-AYPqjsrbRposLY5jr393tp020K7sXXJmmT3l3uLne5H0KXHDY8xXRCpDQROChJamFeOFEqBWtXByIpSgq99sJ-Xw4G0ZM7cMtdWmW1JxYbdTZW9oz8hoLYijCMJL2bfBKLGmWjqw5Co4Y2qe9Ty-ePIVlEEUJR1NoDk4ARH8ZWUc3y6lwRFqDgT4MOJfyHXqq926zIFZPzV5S0UD6dxn-nvYt2nNmJ2yWf7KENPdpHjQrSATsJP0AhsA0elldd8BtIAVag5nBRhPYWqwp5JcfQBS_RAfJD9NJ5eL7vEoetQBTz2YyowCTKBEqm3DAttZFAFiEixjNBU6ENZUIkkQR3TGSg1sGvMQGHFi8zjCY-O0L10XikjxEG-qY8S1KdpQlPqZE-FSo0ykTgvElDm8ir_mysXOFxi38xjJclky0xYptsZokR8ya6WgyZlFU31nW-gNUv-tl62d12L7bPPLBGwELz5jCJVkWf2ElpHi-J00TXFYVXmv_64sn6l52ibd8q_yK_p4Xqs-mXPkNbaj77yKfnBYt-A4Iu6Vs priority: 102 providerName: ProQuest |
| Title | The landing gear case study: challenges and experiments |
| URI | https://link.springer.com/article/10.1007/s10009-016-0431-4 https://www.proquest.com/docview/1876677981 https://hal.science/hal-01851720 |
| Volume | 19 |
| WOSCitedRecordID | wos000398167200001&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: PRVPQU databaseName: Advanced Technologies & Aerospace Database customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: P5Z dateStart: 20021001 isFulltext: true titleUrlDefault: https://search.proquest.com/hightechjournals providerName: ProQuest – providerCode: PRVPQU databaseName: Computer Science Database customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: K7- dateStart: 20021001 isFulltext: true titleUrlDefault: http://search.proquest.com/compscijour providerName: ProQuest – providerCode: PRVPQU databaseName: Engineering Database customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M7S dateStart: 20021001 isFulltext: true titleUrlDefault: http://search.proquest.com providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest - Research Library customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: M2O dateStart: 20021001 isFulltext: true titleUrlDefault: https://search.proquest.com/pqrl providerName: ProQuest – providerCode: PRVPQU databaseName: ProQuest Central customDbUrl: eissn: 1433-2787 dateEnd: 20171231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: BENPR dateStart: 20021001 isFulltext: true titleUrlDefault: https://www.proquest.com/central providerName: ProQuest – providerCode: PRVAVX databaseName: SpringerLINK Contemporary 1997-Present customDbUrl: eissn: 1433-2787 dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0017679 issn: 1433-2779 databaseCode: RSV dateStart: 19971201 isFulltext: true titleUrlDefault: https://link.springer.com/search?facet-content-type=%22Journal%22 providerName: Springer Nature |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV3dT8IwEL8I-OCL-BlRJI3xSbOErV3X-YYGQiIiASXGl2XrWjUhaBjy93sdG6BRE33pw3rbut61v7vd9Q7glOGGJ6kKLSG0jwZKGJkyL8ySMkJtV7k8TFMKDTtetyseHvxedo47yaPdc5dkulOvHHZLf-TbaAEj6lmsACVEO2FWY38wXLgOPJ4m2EM9gFqO5_m5K_O7R3wCo8KzCYVc0TO_uEZTxGmV_zXWLdjMFEzSmEvENqyp8Q6U8-INJFvLu-ChgJDR_FALeUJ5JxIBjaTpZi-IzGusJARJyLIOQLIH963m3VXbyqooWJI6dGpJV4dSu1JETFMllBbIAM59ymJuR1xpm3Ie-gINLx4jgKMFo12GPfVYUzt06D4Ux69jdQAEORmxOIxUHIUssrVwbC49LbWPZprQdgXq-XQGMksxbipdjIJlcmQzMYEJKzMTE7AKnC1ueZvn1_iN-AS_fkFnMmO3G53AXKuj3oG6WH2Gg6jmLAyy9ZgENm76HIVBYPd5zrKV7p_eePgn6iPYcAzqp4E9VShOJ-_qGNblbPqSTGpQumx2e_0aFK49C9sb59a03gDbnvtYS8X4A0Q74_4 |
| linkProvider | Springer Nature |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LT-MwEB7xkuDCcxHlaSG4LLKoY9dxkBBCPFTUUnFgEbds4tiAhMojBcSf4jcyTuKWXQluHLgmTjLJvDPjbwA2BBo8zU1ClbIRJihJ6sa8CKp1itGuacikgBS6aIedjrq8jM6G4M3vhXFtld4mFoY6u9PuH_k2Q7WVYRgptnf_QN3UKFdd9SM0SrFomdcXTNny3ZND5O9mEBwfnR80aTVVgGoe8B7VDZto29AqFZYbZaxCgqSMuMgkS6WxjEuZRAoTEZmhQ8OI3jYEnqlnlrPEAR2gyR8VXIUOq78V0n7VIpQFth-GIJwGSKuvopZb9YoyBMP8HX02Ff_4weFr14X5IcT9rypbOLvjqZ_2maZhsgqryX6pBzMwZLqzMOVHVpDKgs1BiGpBbsutPOQK6SQa3TgpQHZ3iPaTZXKCS8hg-kH-C_58C_nzMNK965oFICi_qciS1GRpIlJmVcCkDq22ESanyrIa1D0nY10Bq7v5HrfxABLaMT92zXSO-bGowe_-JfclqshXi9fx7fvrHB54c78du2N1jLYwAq0_IxHLXh7iygrl8UAYarDlJerD6c-euPj1zdZgvHl-2o7bJ53WEkwELtApepmWYaT3-GRWYEw_927yx9VCPQj8_W5BewdAjUXt |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMw1V1LS8QwEB58IV58i-sziF6U4KZN01QQEXVRdlk8qHirbZqoIOujq-Jf89c5aZtdFfTmwes2uzttvnl1Jt8ArHM0eMrXCZXSRJigJKkd88KpUilGuzoQSUEpdNEK2215eRmdDsC7Owtj2yqdTSwMdXav7DvybYZqK8IwkmzbVG0Rp4eNvYdHaidI2UqrG6dRQqSp314xfct3Tw5xrzc8r3F0dnBMqwkDVPme36UqMIkygZIpN76W2kgUTojI55lgqdCG-UIkkcSkRGTo3DC6NwHHK_XM-CyxpAdo_ofRCwdWx5oh7VUwQlHw_GE44lMP5XYV1fLYXlGSYJjLo_-m_ItPHLyxHZmfwt1vFdrC8TUm_vMjm4TxKtwm-6V-TMGA7kzDhBtlQSrLNgMhqgu5K4_4kGuUkyh076Qg390hyk2cyQkuIf2pCPksnP-J-HMw1Lnv6HkgiOuUZ0mqszThKTPSY0KFRpkIk1ZpWA3qbldjVRGu27kfd3GfKtoCIbZNdhYIMa_BZu8rDyXbyG-L1_Due-ssT_jxfiu2n9UxCsPItP6CQiw5bMSVdcrjPjBqsOXQ9enyT_-48PuPrcIo4itunbSbizDm2finaHFagqHu07NehhH10r3Nn1YKTSFw9dc4-wBzgk6n |
| 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=The+landing+gear+case+study%3A+challenges+and+experiments&rft.jtitle=International+journal+on+software+tools+for+technology+transfer&rft.au=Boniol%2C+Fr%C3%A9d%C3%A9ric&rft.au=Wiels%2C+Virginie&rft.au=A%C3%AFt-Ameur%2C+Yamine&rft.au=Schewe%2C+Klaus-Dieter&rft.date=2017-04-01&rft.pub=Springer+Verlag&rft.issn=1433-2779&rft.eissn=1433-2787&rft.volume=19&rft.issue=2&rft.spage=133&rft.epage=140&rft_id=info:doi/10.1007%2Fs10009-016-0431-4&rft.externalDBID=HAS_PDF_LINK&rft.externalDocID=oai%3AHAL%3Ahal-01851720v1 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=1433-2779&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=1433-2779&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=1433-2779&client=summon |