ARINC specification 653 based real-time software engineering

• Autorzy: Samolej S.
• Języki publikacji: EN

Abstrakty

EN

This paper reports successive steps of a real-time avionic pitch control application creation. The application structure follows a new real-time systems development profile published in ARINC specification 653. The paper mentions some main ARINC specification 653 features and shows the subsequent application creation levels: control system units distribution, timing requirements definition, application implementation and tests. It describes the author's experience gained during an avionic hard real-time system development and focuses on real-time software engineering details of the application creation.

Słowa kluczowe

EN

steps of a real-time; application creation; ARINC specification 653

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: e-Informatica Software Engineering Journal
• Rocznik: 2011
• Tom: Vol. 5, nr 1
• Strony: 39--49
• Opis fizyczny: Bibliogr. 34 poz.

Twórcy

autor

Samolej S.

• Faculty of Electrical and Computer Engineering, Rzeszow University of Technology,

Bibliografia

• [1] Wind River WWW Site. [Online]. Available:http://www.windriver.com/
• [2] SYSGO WWW Site. [Online]. Available:http://www.sysgo.com/ARINC Specification 653 Based Real-Time Software Engineering 49
• [3] Lynux Works WWW Site. [Online]. Available:http://www.lynuxworks.com/
• [4] WindowsCE WWW Site. [Online]. Available:http://www.microsoft.com/
• [5] Linux RTAI WWW Site. [Online]. Available:https://www.rtai.org/
• [6] J. Barnes, Programming in Ada 2005.Addison-Wesley, 2006.
• [7] High Integrity Software, The SPARK Approach to Safety and Security. Addison-Wesley, 2003.
• [8] G. C. Buttazzo, Hard Real-Time Computing Systems:Predictable Scheduling Algorithms and Applications.Kluwer Academic Publishers, 1997.
• [9] A. Burns and A. Wellings, Real-Time Systems and Programming Languages. Pearson Education Limited, 2001.
• [10] “IEEE Std 1003.1, 2004 Edition,” IEEE, Tech.Rep., 2004.
• [11] J.-P. Rosen, HOOD an Industial Approach for Software Design. Elsevier, 1997.
• [12] A. Burns and A. Wellings, HRT-HOOD: A structured design Method for hard Real-Time Ada Systems. Elsevier, 1995.
• [13] A. Burns, B. Dobbing, and T. Vardanega, “Guide for the use of the ada ravenscar profile in high integrity systems,” University of York, Technical Report YCS-2003-348, Jan 2003.
• [14] Matlab-SimulinkWWWSite. [Online]. Available:http://www.mathworks.com/
• [15] Scade Suite WWW Site. [Online].Available: http://www.esterel-technologies.com/products/scade-suite/
• [16] IBM Rational Rose RealTime WWW Site.[Online]. Available: http://www-01.ibm.com/software/awdtools/developer/technical/
• [17] Avionics Application Software Standard Interface Part 1-2, ARINC Specification 653P1-2, 2005.
• [18] SAE AS5506 Standard: Architecture Analysis and Design Language (AADL), 2006.
• [19] P. Bieber, E. Noulard, C. Pagetti, T. Planche, and F. Vialard, “Preliminary design of future reconfigurable ima platforms,” in ACM SIGBED Review - Special Issue on the 2nd International Workshop on Adaptive and Reconfigurable Embedded Systems. ACM, Oct 2009.
• [20] P. Parkinson and L. Kinnan, “Safety-critical software development for integrated modular avionics,” Wind River, Wind River White Paper,2007.
• [21] J. W. Ramsey, “Integrated Modular Avionics:Less is More Approaches to IMA will save weight, improve reliability of A380 and B787avionics,” Avionics Magazine, 2007. [Online].Available: http://www.aviationtoday.com/av/categories/commercial/8420.html
• [22] SCARLETT Project WWW Site. [Online].Available: http://www.scarlettproject.eu
• [23] “AFDX: The Next Generation Interconnect for Avionics Subsystems,” Avionics Magazine Tech.Report, Tech. Rep., 2008.
• [24] Aircraft Data Network Part 7 - Avionics Full Duplex Switched Ethernet (AFDX) Network, ARINC Specification 664 P7, 2005.
• [25] ARINC 429: Mark 33 Digital Information Transfer Systems (DITS), 1996.
• [26] S. Samolej, A. Tomczyk, J. Pieniazek, G. Kopecki, T.Rogalski, and T. Rolka, “VxWorks 653 based Pitch Control System Prototype,” in Development Methods and Applications of Real-Time Systems, L. Trybus and S. Samolej, Eds. WKL, 2010, ch. Chapter 36, pp. 411–420, (in Polish).
• [27] T. Rogalski, S. Samolej, and A. Tomczyk, “ARINC 653 Based Time-Critical Application for European SCARLETT Project,” Aug 2011, accepted for presentation at the AIAA Guidance, Navigation, and Control Conference, 8-11 Aug 2011 Portland, Oregon, USA.
• [28] S. Samolej, A. Tomczyk, and T. Rogalski, “Fault Detection in a ARINC 653 and ARINC 644 Pitch Control Prototype System,” Sep 2011, accepted for publication in: Development, Analysis and Implementation of Real-Time Systems, L. Trybus and S. Samolej eds., WKL, 2011, (in Polish).
• [29] VxWorks 653 Configuration and Build Guide 2.2,Wind River, 2007.
• [30] VxWorks 653 Configuration and Build Reference,2.2, Wind River, 2007.
• [31] VxWorks 653 Progmer’s Guide 2.2, Wind River,2007.
• [32] PikeOS Fundamentals, Sysgo AG, 2009.
• [33] PikeOS Tutorials, Sysgo AG, 2009.
• [34] PikeOS Personality Manual: APEX, Sysgo AG,2009.