References:

[1] “Bombardier Aerospace Granted Authority to Offer CSeries Aircraft to Customers
- Bombardier.” Bombardier Inc, [Online], Available : https://bit.ly/2ExwzRw,
[Accessed:07-Jan-2019].
[2] S. Trimble, “Transport Canada announces type certification for CSeries.” FlightGlobal,
[Online], Available : https://bit.ly/2EyZeFN, [Accessed:07-Jan-2019].
[3] P. Jackson and K. Munson, “IHS Jane’s all the world’s aircraft. Development & production,” 2019.
[4] S. Holt, P. Collopy, and D. DeTurris, “So It’s Complex, Why Do I Care?,” in Transdisciplinary Perspectives on Complex Systems, pp. 25–48, Cham: Springer International
Publishing, 2017.
[5] H. Salzwedel, “Mission level design of avionics,” in The 23rd Digital Avionics Systems
Conference (IEEE Cat. No.04CH37576), pp. 9.D.2–91–10, IEEE.
[6] H.-H. Altfeld, Commercial aircraft projects : managing the development of highly complex products. Ashgate Pub., 2010.
[7] B. Annighoefer, V. Posternak, and F. Thielecke, “Empirical investigations on avionics
scaling laws,” in 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC),
pp. 1–10, IEEE, September 2016.
[8] A. J. Kornecki, “Airborne Software: Communication and Certification,” SCPE, vol. 9,
no. 1, pp. 77–82, 2008.
[9] Federal Aviation Administration, “Handbook for Ethernet-Based Aviation Databuses:
Certification and Design Considerations,” tech. rep., 2005.
101
[10] R. E. McShea, Test and Evaluation of Aircraft Avionics and Weapon Systems. 2014.
[11] P. Eremenko, “Historical schedule trends with complexity by DARPA,” Adaptive Vehicle
Make (AVM). Proposers’ Day BriefingTactical Technology Office, DARPA, 2017.
[12] SAE International, “ARP4754 A Guidelines for Development of Civil Aircraft and Systems,” 2010.
[13] J. Gausemeier and S. Moehringer, “VDI 2206- A New Guideline for the Design of Mechatronic Systems,” IFAC Proceedings Volumes, vol. 35, pp. 785–790, December 2002.
[14] B. Lewis and P. H. Feiler, “Incremental Verification and Validation of System Architecture for Software Reliant Systems Using AADL(Architecture Analysis & Design Language).” Software Engineering Institute, Layered Assurance Workshop, Carnegie Mellon
University, Pittsburgh, 2010.
[15] P. H. Feiler, “Model-based validation of safety-critical embedded systems,” in 2010 IEEE
Aerospace Conference, pp. 1–10, IEEE, March 2010.
[16] B. W. Boehm, Software Engineering Economics (Prentice-Hall Advances in Computing
Science & Technology Series). 1981.
[17] Research Triangle Institute (RTI), “The Economic Impacts of Inadequate Infrastructure
for Software Testing Final Report 02-3,” tech. rep., National Institute of Standards &
Technology (NIST), U.S Department of Commerce, Technology Administration, Project
Number 7007.011, 2002.
[18] D. Galin, Software Quality Assurance: From Theory to Implementation.
Pearson/Addison-Wesley, 2003.
[19] Federal Aviation Administration, “Handbook for Real Time Operating Systems Integration and Component Integration Consideration in Integrated Modular Avionics Systems,” 2008.
[20] P. E. Gartz, “Systems Engineering.” Boeing, tutorial at 14th DASC, Boston/MA,
102
November 1995.
[21] C. R. Spitzer, “Digital Avionics - an International Perspective,” IEEE Aerospace and
Electronic Systems Magazine, vol. 7, no. 1, pp. 44–45, 1992.
[22] J.-B. Itier, “A380 Integrated Modular Avionics,” in Network of Excellence on Embedded
Systems Design, (Rome), pp. 6–19, 2007.
[23] M. Morgan, “Integrated modular avionics for next generation commercial airplanes,”
IEEE Aerospace and Electronic Systems Magazine, vol. 6, pp. 9–12, August 1991.
[24] A. Mairaj, “Preferred choice for resource efficiency: Integrated Modular Avionics versus
federated avionics,” in 2015 IEEE Aerospace Conference, pp. 1–6, IEEE, March 2015.
[25] Boeing Commercial Airplane Group, “777 Application Specific Integrated Circuits
(ASIC) Certification Guideline,”
[26] F. M. G. Dorenberg, “Modular avionics.” lecture at UCLA , 1997.
[27] Kafyeke,Fassi, “Quand l’environnement inspire l’innovation - rapport final de fin de
projet,” tech. rep., 2015. SAGE-2 Consortium.
[28] P. E. Gartz, “Avionics Development and Integration System Methods,” IEEE Aerospace
and Electronic Systems Magazine, vol. 2, pp. 2–8, June 1987.
[29] D. D. Walden, G. J. Roedler, K. Forsberg, R. D. Hamelin, T. M. Shortell, and International Council on Systems Engineering., Systems engineering handbook : a guide for
system life cycle processes and activities. 4th ed., 2015.
[30] National Aeronautics and Space Administration (NASA), NASA Systems Engineering
Handbook. revision 1 ed., 2007.
[31] J. S. Macias, J. M. G. Rey, C. A. Gonzalez, C. E. Roso, J. S. Velandia, J. P. Barreto,
N. Ochoa, C. F. Rodriguez, and A. Garcia-Rozo, “Design and implementation of a
Lunabot using NASA Systems Enginee
Circuits and Systems (CWCAS), pp. 1–6, IEEE, November 2012.
[32] B. W. Boehm, “A spiral model of software development and enhancement,” Computer,
vol. 21, pp. 61–72, May 1988.
[33] W. W. Royce, “Management of the Development of Large Software Systems: Concepts
and Techniques,” in Wescon Conference 1970, International Conference on Software
Engineering, 1987.
[34] A. J. Shenhar, V. Holzmann, B. Melamed, and Y. Zhao, “The Challenge of Innovation in
Highly Complex Projects: What Can We Learn from Boeing’s Dreamliner Experience?,”
Project Management Journal, vol. 47, no. 2, pp. 62–78, 2016.
[35] M. Schulte, “Model-Based Integration of Reusable Component-Based Avionics Systems -
A Case Study,” in Eighth IEEE International Symposium on Object-Oriented Real-Time
Distributed Computing (ISORC’05), pp. 62–71, IEEE.
[36] J. Yin, B. Lawler, and H. Jin, “Application of model based system engineering to IMA
development activities,” in 2017 IEEE/AIAA 36th Digital Avionics Systems Conference
(DASC), pp. 1–7, IEEE, September 2017.
[37] D. Dori, Object-Process Methodology. Berlin, Heidelberg: Springer Berlin Heidelberg,
2002.
[38] INCOSE, “Systems Engineering Vision 2020. version 2.03 edn.,” Technical Operations,
International Council on Systems Engineering, vol. INCOSE-TP-, 2007.
[39] “System Engineering Methodology for Implementation of Networked Aircraft Control Systems on Distributed Integrated Modular Architecture.” Concorida University, Bombardier Aerospace, Mitacs, [Online], Available : https://bit.ly/2EHJRL8,
[Accessed:02-Jan-2018].
[40] International Organization for Standardization, “Standard Atmosphere ISO 2533:1975,”
1975.
104
[41] Bombardier Aerospace, “Bombardier Global Express - Altitude and Temperature Operating Limit - Flight Crew Operating Manual,” tech. rep. November 2006.
[42] M. Sinnett, “787 No-Bleed Systems -Saving Fuel and Enhancing Operational Efficiencies,” AERO Magazine QTR 4.07, [Accessed:20-Jan-2019].
[43] R. Burkhart, “Modeling Standards Activity Team - MBSE Initiative,” in MBSE International Workshop - INCOSE, (Phoenix, AZ), 2011.
[44] “MBSE:standards .” MBSE Wiki, [Online], Available : https://bit.ly/2tvksy3,
[Accessed:28-Jun-2018].
[45] “SysML Open Source Project - What is SysML? Who created SysML?.” Eclipse Foundation, [Online], Available : https://sysml.org/, [Accessed:02-Feb-2019].
[46] “What is UML .” Unified Modeling Language, [Online], Available : http://www.uml.
org/what-is-uml.htm, [Accessed:05-Jan-2019].
[47] C. J. Paredis, Y. Bernard, R. M. Burkhart, H.-P. de Koning, S. Friedenthal, P. Fritzson,
N. F. Rouquette, and W. Schamai, “An Overview of the SysML-Modelica Transformation Specification,” 2010.
[48] “OMG UML Profile for DoDAF/MODAF.” Object Management Group, [Online], Available : https://www.omg.org/updm/, [Accessed:05-Jan-2019].
[49] “OMG MARTE Web site.” Object Management Group, [Online], Available : https:
//www.omg.org/omgmarte/, [Accessed:05-Jan-2019].
[50] S. G´erard, J. Medina, and D. Petriu, “MARTE: A New Standard for Modeling and Analysis of Real-Timhttps://www.overleaf.com/project/5c782592b91383699645afa0e and
Embedded Systems,” in Euromicro Conference on Real-Time Systems (ECRTS 07),
(Pisa, Italy), 2007.
[51] E. J. Barkmeyer, A. B. Feeney, P. Denno, D. W. Flater, D. E. Libes, M. P. Steves,
and E. K. Wallace, “Concepts for automating systems integration,” tech. rep., National
105
Institute of Standards and Technology, Gaithersburg, MD, 2003.
[52] CCSDS, “Reference Architecture for Space Data Systems.,” in Recommendation for
Space Data System Practices (Magenta Book), vol. Issue 1, (Washington, D.C), 2008.
[53] ISO/IEC JTC 1/SC 7 Software and systems engineering, “ISO/IEC 19793: Information
technology – Open Distributed Processing – Use of UML for ODP system specifications,”
2015.
[54] ISO/IEC JTC 1/SC 7 Software and systems engineering, “ISO/IEC/IEEE 42010:2011
- Systems and software engineering – Architecture description,” 2011.
[55] D. Huart and O. Olechowski, “Towards a Model-Based Systems Lifecycle: CPCS from
Design to Operations,” International Workshop on Aircraft System Technologies, 2017.
[56] J.-L. Voirin, Model-Based System and Architecture Engineering with the Arcadia Method.
Elsevier, first ed., 2017.
[57] J.-L. Voirin, S. Bonne, D. Exertier, and V. Normand, “Simplifying (and enriching)
SysML to perform functional analysis and model instances,” in Annual INCOSE International Symposium, 2016.
[58] J.-L. Voirin, “Method and tools to secure and support collaborative architecting of
constrained systems,” in 27th Congress of the International Council of the Aeronautical
Science (ICAS 2010), (Nice, France), 2010.
[59] B. Langlois and J. Barata, “Extensibility of Capella with Capella Studio.” Eclipse
Foundation, [Online], Available : https://bit.ly/2NjZPOb, [Accessed:25-Jan-2019].
[60] L. Batista and O. Hammami, “Capella Based System Engineering Modelling and MultiObjective Optimization of Avionics Systems,” in ISSE -Int. Symp. Syst. Eng., 2016.
[61] “pure::variants.” Pure Systems, [Online], Available : https://www.pure-systems.com/
products/pure-variants-9.html, [Accessed:03-Aug-2018].
106
[62] H. Jahanara, S. Liscou¨et-Hanke, and J.-L. Bauduin, “A Model-Based Systems Engineering Approach for the Development of Test Means for Flight Control Systems,” in
Aerospace Systems and Technology Conference (ASTC), 2018.
[63] A. Jeyaraj and S. Liscou¨et-Hanke, “A Model-Based Systems Engineering approach for
efficient flight control system architecture variants modelling in conceptual design,” in
Recent Advances in Aerospace Actuation Systems and Components, (Toulouse, France),
2018.
[64] S. Liscou¨et-Hanke, B. R. M. Mohan, P. J. Nelson, C. Lavoie, and S. Dufresne, “A ModelBased Systems Engineering Approach for the Conceptual Design of Advanced Aircraft
High-Lift System Architectures,” in CASI AERO conference, Toronto, 2017.
[65] M. Sadri, “Modeling of Landing Gear System,” Bombardier Aerospace, Concordia University. internship report, 2017.
[66] RTCA, “DO-297 Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations,” 2005.
[67] RTCA, “DO-178C, Software Considerations in Airborne Systems and Equipment Certification,” 2012.
[68] RTCA, “D0-331,Model-Based Development and Verification Supplement to DO-178C
and DO-278A,” 2011.
[69] Aeronautical Radio Inc., “ARINC 651 Design Guidance for Integrated Modular Avionics,” 1997.
[70] Aeronautical Radio Inc., “ARINC 653 Specification Avionics Application Standard Software Interface,” 2015.
[71] Aeronautical Radio Inc., “ARINC 661 Cockpit Display System Interfaces to User systems,” 2016.
[72] SAE International, “SAE AS6802: Time-Triggered Ethernet,” 2016.
107
[73] ASHRAE Standards Committee, “ASHRAE Standard 161-2013: Air Quality within
Commercial Aircraft,” 2013.
[74] “Capella Add-ons.” Pure Systems, [Online], Available : https://polarsys.org/
capella/addons.html, [Accessed:20-Nov-2018].
[75] “M2Doc - M2Doc.” [Online], Available : http://www.m2doc.org/, [Accessed:25-Jan2019].
[76] L. Wagner, “Formal Methods for Certification: Why and How?,” 2016.
[77] SAE International, “APPENDIX E - Contiguous Aircraft/System Development Process
Example,” 2010.
[78] “Capella Guide.” Help - Capella, Capella 1.3.0.
[79] S. Bonnet, J.-L. Voirin, D. Exertier, and V. Normand, “Modeling system modes, states,
configurations with Arcadia and Capella: method and tool perspectives; Modeling system modes, states, configurations with Arcadia and Capella: method and tool perspectives,” in 27th Annual INCOSE International Symposium, (Adelaide, Australia), 2017.
[80] “Time4Sys.” PolarSys, [Online], Available : https://www.polarsys.org/time4sys,
[Accessed:25-Jan-2019].
[81] “Team for Capella.” Obeo.[Online].Available : https://bit.ly/2SQK5IM. [Accessed:22-
Jan-2018].
[82] “Safety Architect.” ALL4TEC, [Online], Available : https://www.all4tec.com/
safety-architect, [Accessed:25-Jan-2019].
[83] F´abio Yukio Kurokawa, Cl´audia Regina de Andrade, and Edson Luiz Zaparoli, “Determination of the outflow valve opening area of the aircraft cabin pressurization system,”
in 18th International Congress of Mechanical Engineering, (Ouro Preto, MG), 2005.
[84] SAE Aerospace, Applied Thermodynamics Manual ; 6: Characteristics of equipment
108
components, equipment cooling system design, and temperature control system design.
Aerospace information report, Society of Automotive Engineers, 3. ed ed., 1994.
[85] “Embedded Coder - MATLAB & Simulink.” MathWorks, [Online], Available : https:
//www.mathworks.com/products/embedded-coder.html, [Accessed:05-Feb-2019].
[86] “VAPS XT - COTS Modeling & Simulation Software.” Presagis, [Online], Available :
https://www.presagis.com/en/product/vaps-xt, [Accessed:28-Jun-2018].
[87] Y. Lefebvre, “Mastering the arinc 661 standard,” in SAE Technical Paper, SAE International, October 2011.
[88] J. F. Asfia, K. R. Williams, W. A. Atkey, C. J. Fiterman, S. M. Loukusa, and C. Y. Ng,
“Electric air conditioning system for an aircraft Patent: US6526775B1,” September 2001.
Boeing Co, [Online], Available : https://patents.google.com/patent/US6526775B1/
en.