A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software
Summary Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such s...
Saved in:
| Published in: | Software, practice & experience Vol. 45; no. 7; pp. 893 - 924 |
|---|---|
| Main Authors: | , , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Bognor Regis
Blackwell Publishing Ltd
01.07.2015
Wiley Subscription Services, Inc |
| Subjects: | |
| ISSN: | 0038-0644, 1097-024X |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Summary
Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such standards is DO‐178B/C, which provides guidelines (e.g., development process and objectives to satisfy in development activities) for meeting safety requirements. This paper presents a modeling methodology including a UML profile for specifying safety requirements on a component‐based architecture model and a set of design guidelines on avionics software. These safety requirements were identified from both standards (mainly DO‐178B/C) and current engineering practices in the domain of avionics systems. The methodology automatically enforces these safety requirements. We have applied the methodology on an industrial autopilot system, and several previously uncaught faults were revealed. Copyright © 2014 John Wiley & Sons, Ltd. |
|---|---|
| AbstractList | Summary Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such standards is DO-178B/C, which provides guidelines (e.g., development process and objectives to satisfy in development activities) for meeting safety requirements. This paper presents a modeling methodology including a UML profile for specifying safety requirements on a component-based architecture model and a set of design guidelines on avionics software. These safety requirements were identified from both standards (mainly DO-178B/C) and current engineering practices in the domain of avionics systems. The methodology automatically enforces these safety requirements. We have applied the methodology on an industrial autopilot system, and several previously uncaught faults were revealed. Copyright © 2014 John Wiley & Sons, Ltd. Summary Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such standards is DO‐178B/C, which provides guidelines (e.g., development process and objectives to satisfy in development activities) for meeting safety requirements. This paper presents a modeling methodology including a UML profile for specifying safety requirements on a component‐based architecture model and a set of design guidelines on avionics software. These safety requirements were identified from both standards (mainly DO‐178B/C) and current engineering practices in the domain of avionics systems. The methodology automatically enforces these safety requirements. We have applied the methodology on an industrial autopilot system, and several previously uncaught faults were revealed. Copyright © 2014 John Wiley & Sons, Ltd. Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such standards is DO‐178B/C, which provides guidelines (e.g., development process and objectives to satisfy in development activities) for meeting safety requirements. This paper presents a modeling methodology including a UML profile for specifying safety requirements on a component‐based architecture model and a set of design guidelines on avionics software. These safety requirements were identified from both standards (mainly DO‐178B/C) and current engineering practices in the domain of avionics systems. The methodology automatically enforces these safety requirements. We have applied the methodology on an industrial autopilot system, and several previously uncaught faults were revealed. Copyright © 2014 John Wiley & Sons, Ltd. Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many safety requirements are imposed by various standards and industrial regulations that must be met by avionics software. One of such standards is DO-178B/C, which provides guidelines (e.g., development process and objectives to satisfy in development activities) for meeting safety requirements. This paper presents a modeling methodology including a UML profile for specifying safety requirements on a component-based architecture model and a set of design guidelines on avionics software. These safety requirements were identified from both standards (mainly DO-178B/C) and current engineering practices in the domain of avionics systems. The methodology automatically enforces these safety requirements. We have applied the methodology on an industrial autopilot system, and several previously uncaught faults were revealed. |
| Author | Yue, Tao Ali, Shaukat Wu, Ji Zhang, Huihui |
| Author_xml | – sequence: 1 givenname: Ji surname: Wu fullname: Wu, Ji email: Correspondence to: Ji Wu, School of Computer Science and Engineering, Beihang University, Beijing, China., wuji@buaa.edu.cn organization: State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China – sequence: 2 givenname: Tao surname: Yue fullname: Yue, Tao organization: Certus Software Verification and Validation Center, Simula Research Laboratory, Lysaker, Norway – sequence: 3 givenname: Shaukat surname: Ali fullname: Ali, Shaukat organization: Certus Software Verification and Validation Center, Simula Research Laboratory, Lysaker, Norway – sequence: 4 givenname: Huihui surname: Zhang fullname: Zhang, Huihui organization: State Key Laboratory of Software Development Environment, School of Computer Science and Engineering, Beihang University, Beijing, China |
| BookMark | eNp10E1PGzEQgGELUamBVupPsMSFy6b-2l3vESEKrRBUAlJulmPPJgbHTm1vaf59N0pFVQQnXx6PZt4DtB9iAIQ-UTKlhLDPeQ1TxiTdQxNKurYiTNzvowkhXFakEeI9Osj5gRBKa9ZM0PIEr6IF78ICr6Aso40-Lja4RNxr47wrugDOuoeyqWJyEApYrJNZugKmDAmwhewWAcceu2CHXJLTHutfLgZnMs6xL086wQf0rtc-w8e_7yG6-3J2e3pRXV6ffz09uayM4IJW3HambSirbS-YFmYuRWMkGM1ayoUQXcNqYNLOQc5bwnnHBFiuoaaaajI3_BAd7-auU_w5QC5q5bIB73WAOGRF27EKkx2nIz16QR_ikMK4naKNrImUgrWjmu6USTHnBL0y2yjjeSVp5xUlahtejeHVNvy_DZ4_rJNb6bR5jVY7-uQ8bN506ub72f_e5QK_n71Oj6ppeVurH1fnis6-3XMyI2rG_wCDoKQ5 |
| CitedBy_id | crossref_primary_10_1007_s10270_023_01117_1 crossref_primary_10_1109_ACCESS_2019_2895996 |
| Cites_doi | 10.1007/978-3-540-75209-7_39 10.1007/978-1-4615-4625-2 10.21236/ADA455842 10.1016/S0065-2458(03)58003-2 10.1007/3-540-61474-5_93 10.4304/jcp.4.12.1309-1321 10.1007/s10270-006-0043-7 10.1007/3-540-11494-7_22 10.1016/B978-0-08-096802-5.10002-9 10.1109/QSIC.2013.41 10.1007/978-3-642-21470-7_17 10.1109/ISSRE.2011.11 10.1007/s10270-009-0128-1 10.1145/5397.5399 10.1007/11591962_13 10.1007/978-3-642-16277-0_8 |
| ContentType | Journal Article |
| Copyright | Copyright © 2014 John Wiley & Sons, Ltd. Copyright © 2015 John Wiley & Sons, Ltd. |
| Copyright_xml | – notice: Copyright © 2014 John Wiley & Sons, Ltd. – notice: Copyright © 2015 John Wiley & Sons, Ltd. |
| DBID | BSCLL AAYXX CITATION 7SC 8FD F28 FR3 JQ2 L7M L~C L~D |
| DOI | 10.1002/spe.2281 |
| DatabaseName | Istex CrossRef Computer and Information Systems Abstracts Technology Research Database ANTE: Abstracts in New Technology & Engineering Engineering 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 Technology Research Database Computer and Information Systems Abstracts – Academic ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Advanced Technologies Database with Aerospace ANTE: Abstracts in New Technology & Engineering Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database CrossRef Technology Research Database |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISSN | 1097-024X |
| EndPage | 924 |
| ExternalDocumentID | 3702510681 10_1002_spe_2281 SPE2281 ark_67375_WNG_1VJX30V0_V |
| Genre | article |
| GroupedDBID | -~X .3N .4S .DC .GA .Y3 05W 0R~ 10A 123 1L6 1OB 1OC 31~ 33P 3EH 3R3 3SF 3WU 4.4 4ZD 50Y 50Z 51W 51X 52M 52N 52O 52P 52S 52T 52U 52W 52X 5VS 66C 702 7PT 8-0 8-1 8-3 8-4 8-5 85S 8UM 8WZ 930 9M8 A03 A6W AAESR AAEVG AAHQN AAMMB AAMNL AANHP AANLZ AAONW AASGY AAXRX AAYCA AAZKR ABCQN ABCUV ABDPE ABEFU ABEML ABIJN ABLJU ABUFD ACAHQ ACBWZ ACCZN ACFBH ACGFS ACIWK ACNCT ACPOU ACRPL ACSCC ACXBN ACXQS ACYXJ ADBBV ADEOM ADIZJ ADKYN ADMGS ADMLS ADMXK ADNMO ADOZA ADXAS ADZMN AEFGJ AEIGN AEIMD AENEX AEUYR AEYWJ AFBPY AFFPM AFGKR AFWVQ AFZJQ AGHNM AGQPQ AGXDD AGYGG AHBTC AIDQK AIDYY AIQQE AITYG AIURR AJXKR ALAGY ALMA_UNASSIGNED_HOLDINGS ALVPJ AMBMR AMYDB ARCSS ASPBG ATUGU AUFTA AVWKF AZBYB AZFZN AZVAB BAFTC BDRZF BFHJK BHBCM BMNLL BNHUX BROTX BRXPI BSCLL BY8 CS3 CWDTD D-E D-F D0L DCZOG DPXWK DR2 DRFUL DRSTM DU5 EBS EJD F00 F01 F04 FEDTE G-S G.N GNP GODZA H.T H.X HBH HF~ HGLYW HHY HVGLF HZ~ IX1 J0M JPC KQQ LATKE LAW LC2 LC3 LEEKS LH4 LITHE LOXES LP6 LP7 LUTES LW6 LYRES M61 MEWTI MK4 MRFUL MRSTM MSFUL MSSTM MXFUL MXSTM N04 N05 N9A NF~ NNB O66 O9- OIG P2P P2W P2X P4D PALCI PQQKQ PZZ Q.N Q11 QB0 QRW R.K RIWAO RJQFR ROL RX1 RXW RYL S10 SAMSI SUPJJ TAE TUS TWZ UB1 V2E W8V W99 WBKPD WH7 WIB WIH WIK WOHZO WQJ WXSBR WYISQ WZISG XG1 XPP XV2 YYP ZCA ZY4 ZZTAW ~02 ~IA ~WT AAYXX CITATION O8X 7SC 8FD ALUQN F28 FR3 JQ2 L7M L~C L~D |
| ID | FETCH-LOGICAL-c4341-3d9c76125df42a4cb846c8eca27134449625e28dbe8b7033924ed3ae51a1a0bc3 |
| IEDL.DBID | DRFUL |
| ISICitedReferencesCount | 7 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000355733900003&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0038-0644 |
| IngestDate | Thu Jul 10 19:33:13 EDT 2025 Fri Jul 25 12:21:14 EDT 2025 Sat Nov 29 07:57:44 EST 2025 Tue Nov 18 21:21:37 EST 2025 Tue Nov 11 03:13:42 EST 2025 Tue Nov 11 03:33:37 EST 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 7 |
| Language | English |
| License | http://onlinelibrary.wiley.com/termsAndConditions#vor |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c4341-3d9c76125df42a4cb846c8eca27134449625e28dbe8b7033924ed3ae51a1a0bc3 |
| Notes | This paper is the extended version of the conference paper published in the 13th International Conference on Quality Software (QSIC 2013) [27]. This paper is sponsored jointly by State Key Laboratory of Software Development Environment (SKLSDE-2013ZX-12), Aeronautics Science Foundation of China (20121951021), Research Council of Norway under the Certus SFI project, and the Ministry of Industry and Trade of Norway, Ministry of Education of China under the Triple-One Program (grant number:B12025). istex:915FDE0803461658FDCEEEE4E139FD0D9219A538 ArticleID:SPE2281 ark:/67375/WNG-1VJX30V0-V th This paper is the extended version of the conference paper published in the 13 International Conference on Quality Software (QSIC 2013) [27]. This paper is sponsored jointly by State Key Laboratory of Software Development Environment (SKLSDE‐2013ZX‐12), Aeronautics Science Foundation of China (20121951021), Research Council of Norway under the Certus SFI project, and the Ministry of Industry and Trade of Norway, Ministry of Education of China under the Triple‐One Program (grant number:B12025). ObjectType-Article-1 SourceType-Scholarly Journals-1 ObjectType-Feature-2 content type line 14 content type line 23 |
| PQID | 1685088427 |
| PQPubID | 1046349 |
| PageCount | 32 |
| ParticipantIDs | proquest_miscellaneous_1709728931 proquest_journals_1685088427 crossref_citationtrail_10_1002_spe_2281 crossref_primary_10_1002_spe_2281 wiley_primary_10_1002_spe_2281_SPE2281 istex_primary_ark_67375_WNG_1VJX30V0_V |
| PublicationCentury | 2000 |
| PublicationDate | July 2015 |
| PublicationDateYYYYMMDD | 2015-07-01 |
| PublicationDate_xml | – month: 07 year: 2015 text: July 2015 |
| PublicationDecade | 2010 |
| PublicationPlace | Bognor Regis |
| PublicationPlace_xml | – name: Bognor Regis |
| PublicationTitle | Software, practice & experience |
| PublicationTitleAlternate | Softw. Pract. Exper |
| PublicationYear | 2015 |
| Publisher | Blackwell Publishing Ltd Wiley Subscription Services, Inc |
| Publisher_xml | – name: Blackwell Publishing Ltd – name: Wiley Subscription Services, Inc |
| References | Wiklander J, Eliasson J, Kruglyak A, et al. Enabling component-based design for embedded real-time software, Journal of Computers 2009; 4(12):1-34. Spitzer CR. Avionics: Elements, Software and Functions (Avionics Handbook). CRC Press: Florida, 2006. F De Florio, Airworthiness: An Introduction to Aircraft Certification, 2nd edition, Butterworth-Heinemann, 2011. Grunske L, Kaiser B, Reussner RH. Specification and Evaluation of Safety Properties in a Component-based Software Engineering Process, Chapter in Component-based Software Development for Embedded Systems: An Overview of Current Research Trends. Springer, 2005; 249-274. Baier C, Katoen J-P. Principles of Model Checking. MIT Press: Massachusetts, 2008. Hooman J, Kugler H, Ober I, et al. Supporting UML based development of embedded systems by formal techniques. Software and System Modeling 2008; 7(2):131-155. Wohlin C, Wesslen A. Experimentation in Software Engineering: An Introduction. Kluwer Academic Publishers; 2000. Berkenkotter K, Hannemann U. Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile, SAFECOMP 2006. Springer: Heidelberg, 2006; 398-411. Bernardi S, Merseguer J, Petriu DC. A dependability profile within MARTE. Software System Model 2011; 10:313-336. Clarke E, McMillan K, Campos S, Hartonas-Garmhausen V. Symbolic model checking. Computer Aided Verification. Lecture Notes in Computer Science, 1996; 1102:419-422. Clarke EM, Emerson EA, Sistla AP. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems. 8(2):244-263. 1986. 2001 2011 2000 1986; 8 2010 2007; 4735 1996; 1102 2008 2003; 58 1996 2008; 7 2007 2006 2011; 10 September 1991; 79 2005 2004 1982/2012 1981 2002 2009; 4 1978 e_1_2_9_30_1 e_1_2_9_31_1 e_1_2_9_11_1 e_1_2_9_34_1 e_1_2_9_10_1 e_1_2_9_35_1 e_1_2_9_13_1 e_1_2_9_32_1 e_1_2_9_33_1 Clarke EM (e_1_2_9_43_1) 1981 Baier C (e_1_2_9_12_1) 2008 Iqbal MZ (e_1_2_9_27_1) Clarke E (e_1_2_9_47_1) 1996; 1102 Berkenkotter K (e_1_2_9_6_1) 2006 e_1_2_9_15_1 e_1_2_9_38_1 e_1_2_9_14_1 e_1_2_9_39_1 e_1_2_9_17_1 e_1_2_9_16_1 e_1_2_9_37_1 e_1_2_9_19_1 e_1_2_9_18_1 e_1_2_9_41_1 Spitzer CR (e_1_2_9_2_1) 2006 e_1_2_9_42_1 e_1_2_9_20_1 e_1_2_9_40_1 e_1_2_9_45_1 e_1_2_9_21_1 e_1_2_9_46_1 e_1_2_9_24_1 e_1_2_9_23_1 e_1_2_9_44_1 e_1_2_9_8_1 e_1_2_9_7_1 e_1_2_9_5_1 e_1_2_9_4_1 e_1_2_9_3_1 e_1_2_9_9_1 e_1_2_9_26_1 De Florio F (e_1_2_9_22_1) 2011 e_1_2_9_25_1 NICHOLAS HALBWACHS, PAUL CASPI, PASCAL RAYMOND and DANIEL PILAUD (e_1_2_9_36_1) 1991 e_1_2_9_28_1 e_1_2_9_29_1 |
| References_xml | – reference: Spitzer CR. Avionics: Elements, Software and Functions (Avionics Handbook). CRC Press: Florida, 2006. – reference: Grunske L, Kaiser B, Reussner RH. Specification and Evaluation of Safety Properties in a Component-based Software Engineering Process, Chapter in Component-based Software Development for Embedded Systems: An Overview of Current Research Trends. Springer, 2005; 249-274. – reference: Baier C, Katoen J-P. Principles of Model Checking. MIT Press: Massachusetts, 2008. – reference: Wiklander J, Eliasson J, Kruglyak A, et al. Enabling component-based design for embedded real-time software, Journal of Computers 2009; 4(12):1-34. – reference: Clarke EM, Emerson EA, Sistla AP. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems. 8(2):244-263. 1986. – reference: Wohlin C, Wesslen A. Experimentation in Software Engineering: An Introduction. Kluwer Academic Publishers; 2000. – reference: Berkenkotter K, Hannemann U. Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile, SAFECOMP 2006. Springer: Heidelberg, 2006; 398-411. – reference: Hooman J, Kugler H, Ober I, et al. Supporting UML based development of embedded systems by formal techniques. Software and System Modeling 2008; 7(2):131-155. – reference: Clarke E, McMillan K, Campos S, Hartonas-Garmhausen V. Symbolic model checking. Computer Aided Verification. Lecture Notes in Computer Science, 1996; 1102:419-422. – reference: Bernardi S, Merseguer J, Petriu DC. A dependability profile within MARTE. Software System Model 2011; 10:313-336. – reference: F De Florio, Airworthiness: An Introduction to Aircraft Certification, 2nd edition, Butterworth-Heinemann, 2011. – year: 2011 – start-page: 236 year: 2011 end-page: 252 – volume: 8 start-page: 244 issue: 2 year: 1986 end-page: 263 article-title: Automatic verification of finite‐state concurrent systems using temporal logic specifications publication-title: ACM Transactions on Programming Languages and Systems – start-page: 642 end-page: 658 – year: 1981 – year: 2005 – start-page: 249 year: 2005 end-page: 274 – volume: 79 issue: 9 year: September 1991 – year: 2001 – year: 2007 – year: 1996 – year: 2000 – start-page: 55 end-page: 64 – year: 1982/2012 – year: 2010 – start-page: 201 year: 2010 end-page: 237 – volume: 1102 start-page: 419 year: 1996 end-page: 422 article-title: Symbolic model checking publication-title: Computer Aided Verification. Lecture Notes in Computer Science – volume: 7 start-page: 131 issue: 2 year: 2008 end-page: 155 article-title: Supporting UML based development of embedded systems by formal techniques publication-title: Software and System Modeling – volume: 4 start-page: 1 issue: 12 year: 2009 end-page: 34 article-title: Enabling component‐based design for embedded real‐time software publication-title: Journal of Computers – start-page: 467 year: 2007 end-page: 475 – volume: 4735 start-page: 574 year: 2007 end-page: 588 – volume: 58 start-page: 117 year: 2003 end-page: 148 – year: 2008 – year: 2006 – start-page: 2011 30 end-page: 39 – year: 2004 – start-page: 163 year: 2002 end-page: 170 – start-page: 398 year: 2006 end-page: 411 – year: 1978 – volume: 10 start-page: 313 year: 2011 end-page: 336 article-title: A dependability profile within MARTE publication-title: Software System Model – ident: e_1_2_9_42_1 – ident: e_1_2_9_14_1 – ident: e_1_2_9_21_1 doi: 10.1007/978-3-540-75209-7_39 – ident: e_1_2_9_29_1 doi: 10.1007/978-1-4615-4625-2 – ident: e_1_2_9_31_1 – ident: e_1_2_9_3_1 – ident: e_1_2_9_25_1 – ident: e_1_2_9_30_1 doi: 10.21236/ADA455842 – ident: e_1_2_9_46_1 doi: 10.1016/S0065-2458(03)58003-2 – volume-title: Avionics: Elements, Software and Functions (Avionics Handbook) year: 2006 ident: e_1_2_9_2_1 – ident: e_1_2_9_17_1 – volume: 1102 start-page: 419 year: 1996 ident: e_1_2_9_47_1 article-title: Symbolic model checking publication-title: Computer Aided Verification. Lecture Notes in Computer Science doi: 10.1007/3-540-61474-5_93 – ident: e_1_2_9_39_1 – volume-title: Logic of Programs: Workshop, Yorktown Heights. New York. May 1981, volume 131 of Lecture Notes in Computer Science year: 1981 ident: e_1_2_9_43_1 – ident: e_1_2_9_16_1 – ident: e_1_2_9_20_1 doi: 10.4304/jcp.4.12.1309-1321 – ident: e_1_2_9_40_1 – ident: e_1_2_9_4_1 – ident: e_1_2_9_32_1 – ident: e_1_2_9_24_1 – ident: e_1_2_9_13_1 doi: 10.1007/s10270-006-0043-7 – start-page: 642 volume-title: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) ident: e_1_2_9_27_1 – ident: e_1_2_9_38_1 – ident: e_1_2_9_10_1 – ident: e_1_2_9_35_1 – ident: e_1_2_9_45_1 doi: 10.1007/3-540-11494-7_22 – ident: e_1_2_9_5_1 – volume-title: Airworthiness: An Introduction to Aircraft Certification year: 2011 ident: e_1_2_9_22_1 doi: 10.1016/B978-0-08-096802-5.10002-9 – ident: e_1_2_9_28_1 doi: 10.1109/QSIC.2013.41 – ident: e_1_2_9_34_1 doi: 10.1007/978-3-642-21470-7_17 – volume-title: Proceedings of the IEEE year: 1991 ident: e_1_2_9_36_1 – ident: e_1_2_9_8_1 – ident: e_1_2_9_19_1 doi: 10.1109/ISSRE.2011.11 – ident: e_1_2_9_41_1 – start-page: 398 volume-title: Modeling the Railway Control Domain Rigorously with a UML 2.0 Profile, SAFECOMP 2006 year: 2006 ident: e_1_2_9_6_1 – ident: e_1_2_9_33_1 – ident: e_1_2_9_7_1 doi: 10.1007/s10270-009-0128-1 – ident: e_1_2_9_44_1 doi: 10.1145/5397.5399 – ident: e_1_2_9_18_1 – ident: e_1_2_9_23_1 – ident: e_1_2_9_26_1 – volume-title: Principles of Model Checking year: 2008 ident: e_1_2_9_12_1 – ident: e_1_2_9_37_1 – ident: e_1_2_9_11_1 doi: 10.1007/11591962_13 – ident: e_1_2_9_9_1 – ident: e_1_2_9_15_1 doi: 10.1007/978-3-642-16277-0_8 |
| SSID | ssj0011526 |
| Score | 2.1186256 |
| Snippet | Summary
Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics... Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics system. Many... Summary Ensuring that avionics software meets safety requirements at each development stage is very important to warrant the safe operation of an avionics... |
| SourceID | proquest crossref wiley istex |
| SourceType | Aggregation Database Enrichment Source Index Database Publisher |
| StartPage | 893 |
| SubjectTerms | Architecture (computers) Avionics avionics software component-based architecture design Computer programs DO-178B/C Guidelines Methodology Safety Software UML profile |
| Title | A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software |
| URI | https://api.istex.fr/ark:/67375/WNG-1VJX30V0-V/fulltext.pdf https://onlinelibrary.wiley.com/doi/abs/10.1002%2Fspe.2281 https://www.proquest.com/docview/1685088427 https://www.proquest.com/docview/1709728931 |
| Volume | 45 |
| WOSCitedRecordID | wos000355733900003&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: PRVWIB databaseName: Wiley Online Library Full Collection 2020 customDbUrl: eissn: 1097-024X dateEnd: 99991231 omitProxy: false ssIdentifier: ssj0011526 issn: 0038-0644 databaseCode: DRFUL dateStart: 19960101 isFulltext: true titleUrlDefault: https://onlinelibrary.wiley.com providerName: Wiley-Blackwell |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV3NTtwwELaq3R64sIWC2HaLjITKKSWxncQ5rlq2CKEVamHZm-XYjrS0StBmgfbWR-gz9kk6k7-CRCUkTjl4LFsej-eLPfMNIftpGOH9WOJlQnNPOJd4mvPYy7hMObORcLrS9Gk8ncr5PDlroioxF6bmh-gu3NAyqvMaDVyn5eE_0tDy2n1gDLOu-wy2reiR_qcvk4vT7g0BPFNUkzJKDxyvaKlnfXbY9n3gjPq4rj8eIM37eLVyOJPBc6b6iqw3MJOO632xQV64fJMM2hIOtLHo1-RqTKtaOODAaF1Murpmp6uCZtrUDN6Oljpzq59_fv0ukBUZMCq9__5AbRUFQouMLrpCIBST__OFKWkJB_2dXrotcjE5Ov947DXlFzwjwLd53CYmRgBkM8G0MClAFSOd0QzzT4VI4NfJMWlTJ1NQAAAt4SzXLgx0oP3U8G3Sy4vc7RAahizUMvNNrK2AZmnDgFvpswzQV8yjITlo9aBMw02OJTK-q5pVmSlYQoVLOCR7neR1zcfxiMz7SpWdgF5-w_i1OFSX088qmJ3MuT_z1WxIRq2uVWO6pQoiiaBVsBjG6prB6PAlReeuuAGZGFmPAOrhWJXm_zsZ9fXsCL9vnir4lqwBKAvrkOAR6a2WN-4deWluV4tyudts8r_7kAIQ |
| linkProvider | Wiley-Blackwell |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1Lb9QwEB5Vu0hwoTzFQgEjITiFJraTOOJUQZcCy6qCdtmb5diOtICSarPlceMn8Bv5JczkRSuBhMQpB49ly-PxfBl7vgF4mMcJxceyoJBGBNL7LDBCpEEhVC64S6Q3jaZn6XyulsvscAue9rkwLT_EEHAjy2jOazJwCkjv_mYNrU_8E84p7XoscRfFIxg_fzs9ng2XCOiakpaVUQXoeWXPPRvy3b7vOW80poX9eg5qngWsjceZbv_XXK_A5Q5osr12Z1yFLV9eg-2-iAPrbPo6fNhjTTUcdGGsLSfdBNrZpmKFsS2Ht2e1Kfzm28_vPyriRUaUys7eQDDXvANhVcFWQykQRun_5crWrMaj_otZ-xtwPN0_enYQdAUYAivRuwXCZTYlCOQKyY20OYIVq7w1nDJQpczw58lz5XKvcjw5EGpJ74TxcWQiE-ZW3IRRWZX-FrA45rFRRWhT4yQ2KxdHwqmQF4i_UpFM4HGvCG07dnIqkvFJt7zKXOMSalrCCTwYJE9aRo4_yDxqdDkImPVHesGWxvr9_IWOFq-WIlyEejGBnV7ZujPeWkeJItgqeYpjDc1odnSXYkpfnaJMSrxHCPZorEb1f52Mfne4T9_b_yp4Hy4eHL2Z6dnL-es7cAkhWtw-EN6B0WZ96u_CBft5s6rX97od_wthvAYA |
| linkToPdf | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwpV1LixQxEA7LjogX1yeOrhpB9NRudx7daTwt7o6vYRjUHecW0kkFRqV7mJ71cfMn-Bv9JVb65S4oCJ76kAoJqVTq61TqK0IeFjIN92N55IXhkQDII8N5FnmuCs5cKsA0mp5ms5laLvP5Dnna58K0_BDDhVuwjOa8DgYOa-cPfrOG1mt4wlhIux4JmadolaOjN5OT6RBEQNeUtqyMKkLPK3ru2Zgd9H3PeaNRWNiv56DmWcDaeJzJ3n_N9Qq53AFNetjujKtkB8prZK8v4kA7m75OPhzSphoOujDalpNuLtrptqLe2JbDG2htPGy__fz-owq8yIhS6dkIBHXNOxBaeboaSoHQkP5frmxNazzqv5gN3CAnk-N3z15EXQGGyAr0bhF3uc0CBHJeMCNsgWDFKrCGhQxUIXL8eQKmXAGqwJMDoZYAxw3IxCQmLiy_SXbLqoRbhErJpFE-tplxApuVkwl3KmYe8VfG0zF53CtC246dPBTJ-KRbXmWmcQl1WMIxeTBIrltGjj_IPGp0OQiYzcfwgi2T-v3suU4Wr5Y8XsR6MSb7vbJ1Z7y1TlIVYKtgGY41NKPZhViKKaE6RZks8B4h2AtjNar_62T02_lx-N7-V8H75OL8aKKnL2ev75BLiNBk-z54n-xuN6dwl1ywn7erenOv2_C_AOVnBXs |
| 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=A+modeling+methodology+to+facilitate+safety-oriented+architecture+design+of+industrial+avionics+software&rft.jtitle=Software%2C+practice+%26+experience&rft.au=Wu%2C+Ji&rft.au=Yue%2C+Tao&rft.au=Ali%2C+Shaukat&rft.au=Zhang%2C+Huihui&rft.date=2015-07-01&rft.pub=Blackwell+Publishing+Ltd&rft.issn=0038-0644&rft.eissn=1097-024X&rft.volume=45&rft.issue=7&rft.spage=893&rft.epage=924&rft_id=info:doi/10.1002%2Fspe.2281&rft.externalDBID=n%2Fa&rft.externalDocID=ark_67375_WNG_1VJX30V0_V |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0038-0644&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0038-0644&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0038-0644&client=summon |