Abstract
Embedded systems in aerospace become more and more integrated in order to reduce weight, volume/size, and power of hardware for more fuel-effi ciency. Such integration tendencies change architectural approaches of system ar chi tec tures, which subsequently change non-functional requirements for plat forms. This paper provides some insight into state-of-the-practice of non-func tional requirements for developing ultra-critical embedded systems in the aero space industry, including recent changes and trends. In particular, formal requi re ment capture and formal analysis of non-functional requirements of avionic systems – including hard-real time, fault-tolerance, reliability, and per for mance – are exemplified by means of recent developments in SAL and HiLiTE.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
ARINC, Aircraft Data Network, Part 7, Avionics Full Duplex Switched Ethernet (AFDX) Network, ARINC 664 part 7 (June 2005)
ARINC, Electronic Distribution of Software, ARINC report 666 (May 17, 2002)
ARINC, Electronic Distribution of Software, ARINC Report 666A (May 24, 2005)
ARINC, Multi-Transmitter Data Bus ARINC 629 Part 1-2 (1999)
ARINC, Avionics Application Standard Software Interface. ARINC 653 (2003)
ARINC. Electronic Distribution of Software (EDS) Working Group (March 5, 2008)
Avižienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Dependable and Secure Comp. 1(1), 11–33 (2004)
Bate, I., Hawkins, R., McDermid, J.: A contract-based approach to designing safe systems. In: Proc. of the 8th Australian Workshop on Safety Critical Systems and Software, Canberra, Australia, vol. 33, pp. 25–36 (2003)
Baumann, R.: Soft Errors in Advanced Computer Systems. IEEE Design and Test of Computers, 258–266 (2005)
Bhatt, D., Hall, B., Dajani-Brown, S., Hickman, S., Paulitsch, M.: Model-based development and the implications to design assurance and certification. In: 24th Digital Avionics Systems Conference (October 2005)
Bhatt, D., Hickman, S., Schloegel, K., Oglesby, D.: An Approach and Tool for Test Generation from Model-Based Functional Requirements. In: Proc. of the Intl. Workshop on Aerospace Software Engineering (May 2007)
Binns, P., Englehart, M., Jackson, M., Vestal, S.: Domain-specific software architectures for guidance, navigation and control. Int. Journal of Software Engineering and Knowledge Engineering 6(2), 201–227 (1996)
Briere, D., Traverse, P.: Airbus A320/A330/A340 Electrical Flight Controls: A Family of Fault-Tolerant Systems. F TCS 23 (1993)
Butler, R.W., Finelli, G.B.: The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Trans. on Software Engineering 19(1), 3–12 (1993)
de Moura, L., Owre, S., Rueß, H., Rushby, J., Shankar, N., Sorea, M., Tiwari, A.: Tool presentation: SAL2. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 496–500. Springer, Heidelberg (2004)
Dutertre, B., Sorea, M.: Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata. FORMATS/FTRTFT, 199–214 (2004)
Glinz, M.: On Non-Functional Requirements. In: Proc. of IEEE Int. Requirements Engineering Conference, pp. 21–26 (2007)
Hall, B., Paulitsch, M., Benson, D., Behbahani, A.: Jet Engine Control Using Ethernet with a BRAIN. 44th AIAA/ASME/SAE/ASEE Joint Propulsion Conference & Exhibit. AIAA Paper No AIAA-2008-5291. Hartford, CT, USA (July 2008)
Hecht, H.: Why prognostics for avionics. In: Proc. of Aerospace Conf. IEEE, Los Alamitos (2006)
Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Trans. on SW Eng. and Method. 5(3), 231–261 (1996)
Jacob, J.M.: High assurance security and safety for digital avionics. In: Proc. of the 23rd Digital Avionics Systems Conference, Vol. 2, pp.8.E.4 - 8.1–9 (24-28 October 2004)
Johnson, D.P.: Assessing the Security of Airborne Networks. Aerospace Safety- Design, Maintenance/Operations, and Safety/Security. SAE Doc.No 2007-01-3784 (2007)
Knight, J.C., Leveson, N.G.: An Experimental Evaluation of the Assumption of Independence in Multi-version Programming. IEEE Trans. on Software Engineering SE-12(1), 96–109 (1986)
Malan, R., Bredemeyer, D.: Defining Non-Functional Requirements. white paper (accessed May 2008) (August 3, 2001), http://www.bredemeyer.com
McWha, J.: Development of the 777 flight control system. AIAA Guidance, Navigation, and Control Conference (August 2003)
Morris, J., Koopman, P.: Representing Design Tradeoffs in Safety Critical Systems. In: Proc. of 2005 Workshop on Architecting Dependable Systems, pp. 1–5 (2005)
Object Management Group (OMG). A UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded systems, Version Beta 2 (June 8, 2008)
Owens, B.D., Herring, M.S., Dulac, N., Leveson, N.G., Ingham, M.D., Weiss, K.A.: Application of a Safety-Driven Design Methodology to an Outer Planet Exploration Mission. In: IEEE Aerospace Conference. Big Sky, MT (March 2008)
Paech, B., Dutoit, A., Kerkow, D., von Knethen, A.: Functional requirements, non-functional requirements and architecture specification cannot be separated – A position paper. REFSQ (2002)
Paulitsch, M., Morris, J., Hall, B., Driscoll, K., Latronico, E., Koopman, P.: Coverage and the use of cyclic redundancy codes in ultra-dependable systems. In: Proc. of Int. Conf. on Dependable Systems and Networks (DSN), 28 June - 1 July 2005, pp. 346–355 (2005)
Pop, P., Eles, P., Peng, Z.: Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems. In: 6th Int. Conf. on Real-Time Computing Systems and Applications (RTCSA 1999), Hong Kong, December 13-15, 1999, pp. 287–294 (1999)
Powell, D.: Failure mode assumptions and assumption coverage. In: Proc. of FTCS 1992, pp. 386–395. IEEE Computer Society Press, Los Alamitos (1992)
Royalty, C.: Keep the User in Mind: Operational Considerations for Securing Airborne Networks, Aerospace Safety- Design, Maintenance/Operations, and Safety/Security. SAE Doc. No 2007-01-3785 (September 2007)
RTCA SC-164. Audio Systems Characteristics and Minimum Operational Performance Standards for Aircraft Audio Systems and Equipment Systems and Equipment, Wash. D.C., RTCA Inc. (1993)
RTCA SC-167/EUROCAE WG-12, DO-178B/ED12B Software Considerations in Airborne Systems and Equipment Certification, Wash. D.C., RTCA Inc. (1992)
SAE, Certification Considerations for Highly-Integrated Or Complex Aircraft Systems, SAE Doc. No ARP4754 (November 1996)
SAE, Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, SAE Doc. No ARP4761 (December 1996)
SAE, Guidelines for Time-Limited-Dispatch (TLD) Analysis for Electronic Engine Control Systems, SAE Doc. No ARP5107 Ref. B (November 2006)
SAE, SAE Architecture Analysis Design Language (AADL) Doc.AS5506/1 (June 2006)
Shawlee, W., Humphrey, D.: Aging avionics- what causes it and how to respond. IEEE Trans on Components and Packaging Technologies 24(4), 739–740 (2001)
Sifakis, J.: A Framework for Component-based Construction. In: 3rd IEEE Int. Conf. on Software Engineering and Formal Methods (SEFM 2005), pp. 293–300 (September 2005)
Sorea, M., Steiner, W.: Classification and analysis of failure modes for time-triggered systems. In: Proceedings of FeT (2007)
Srivastava, D., Narasimhan, P.: Architectural Support for Mode-Driven Fault Tolerance in Distributed Applications. In: Proc. of the 2005 workshop on Architecting Dependable Systems, St. Louis, Missouri, USA, pp. 1–7 (2005)
Steiner, W., Rushby, J., Sorea, M., Pfeifer, H.: Model checking a fault-tolerant startup algorithm: From design exploration to exhaustive fault simulation. In: DSN 2004 (2004)
Steiner, W.: Startup and Recovery of Fault-Tolerant Time-Triggered Communication. PhD Thesis, Technische Universität Wien (2004)
Tovar, E., Vasques, F.: From Task Scheduling in Single Processor Environments to Message Scheduling in a PROFIBUS. In: IPPS/SPDP Workshops, pp. 339–352 (1999)
Vestal, S.: Real-Time Sampled Signal Flows through Asynchronous Distributed Systems. In: IEEE Real-Time and Embedded Technology and Applications Symp. (2005)
Vestal, S., Stickler, L., Kune, D.F., Binns, P., Lamba, N.: Architecture Specification and Automated Timing and Safety Analysis for a Large Avionics System (June 16, 2004), http://la.sei.cmu.edu/aadl/documents/AADL-MetaH%20for%20LAS.pdf
Voss, S.: Scheduling in time-triggered networks. In: Meersman, R., Tari, Z., Herrero, P. (eds.) OTM-WS 2007, Part II. LNCS, vol. 4806, pp. 1081–1091. Springer, Heidelberg (2007)
Voss, S., Sorea, M., Echtle, K.: Symbolic Scheduling in Time-Triggered Systems (in preparation, 2008)
Wilkinson, C., Haselrick, B., Paulitsch, M., Hall, B.: Transitioning Aerospace Electronic Systems from Reactive to Proactive Obsolescence Management. IEEE Trans. on Components and Packaging Technologies (2008)
Wittenmark, B., Nilsson, J., Törngren.: Timing Problems in Real-Time Control Systems. In: Proc. of American Control Conf., June 21-23, vol. 3, pp. 2000–2004 (1995)
Xu, L., Ziv, H., Richardson, D., Alspaugh, T.A.: An architectural pattern for non-functional dependability requirements. SIGSOFT Softw. Eng. Notes 30(4), 1–6 (2005)
Zetter, K.: FAA: Boeing’s New 787 May Be Vulnerable to Hacker Attack. wired.com (April 1, 2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Honeywell International Inc
About this paper
Cite this paper
Paulitsch, M., Ruess, H., Sorea, M. (2008). Non-functional Avionics Requirements. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_26
Download citation
DOI: https://doi.org/10.1007/978-3-540-88479-8_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88478-1
Online ISBN: 978-3-540-88479-8
eBook Packages: Computer ScienceComputer Science (R0)